Trace number 3458047

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.1 1797.75

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_5_15.opb
MD5SUMfc2cc3328b52c15b44db6557e5f99e21
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.032994
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5056
Sum of products size (including duplicates)10112
Number of different products2528
Sum of products size5056

Solver Data 

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.1.v20110525
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.18-164.el5
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		12995394264
0.08/0.10	c Max memory 		13063553024
0.08/0.10	c Total memory 		13063553024
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3458047-1307165767.opb
0.08/0.12	c reading problem ... 
0.43/0.39	c ... done. Wall clock time 0.261s.
0.43/0.39	c #vars     2928
0.43/0.39	c #constraints  5659
0.43/0.39	c constraints type 
0.43/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2528
0.43/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
0.43/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.43/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2528
3.04/2.20	c cleaning 2508 clauses out of 5015 with flag 5015/5015
6.51/5.53	c cleaning 4256 clauses out of 8511 with flag 11019/11019
10.80/9.90	c cleaning 5619 clauses out of 11237 with flag 18001/18001
16.32/15.38	c cleaning 6812 clauses out of 13623 with flag 26006/26006
20.37/19.38	c cleaning 7901 clauses out of 15805 with flag 35000/35000
24.67/23.64	c cleaning 8952 clauses out of 17907 with flag 45003/45003
29.13/28.03	c cleaning 9480 clauses out of 18964 with flag 55012/55012
32.63/31.59	c cleaning 9734 clauses out of 19472 with flag 65000/65000
36.14/35.02	c cleaning 9868 clauses out of 19739 with flag 75001/75001
40.04/38.90	c cleaning 9934 clauses out of 19871 with flag 85001/85001
43.66/42.58	c cleaning 9979 clauses out of 19961 with flag 95025/95025
46.77/45.66	c cleaning 9977 clauses out of 19957 with flag 105000/105000
50.27/49.14	c cleaning 9989 clauses out of 19982 with flag 115002/115002
53.38/52.27	c cleaning 10001 clauses out of 20005 with flag 125014/125014
56.48/55.33	c cleaning 10003 clauses out of 20010 with flag 135020/135020
59.40/58.27	c cleaning 9992 clauses out of 19987 with flag 145000/145000
62.40/61.24	c cleaning 9996 clauses out of 19995 with flag 155000/155000
65.30/64.18	c cleaning 10003 clauses out of 20009 with flag 165010/165010
68.90/67.70	c cleaning 9999 clauses out of 20001 with flag 175005/175005
71.91/70.73	c cleaning 9997 clauses out of 19997 with flag 185000/185000
74.71/73.57	c cleaning 10003 clauses out of 20009 with flag 195009/195009
78.01/76.81	c cleaning 9998 clauses out of 19999 with flag 205002/205002
80.62/79.46	c cleaning 10003 clauses out of 20010 with flag 215011/215011
83.43/82.21	c cleaning 10009 clauses out of 20022 with flag 225026/225026
86.53/85.38	c cleaning 10003 clauses out of 20010 with flag 235023/235023
89.34/88.14	c cleaning 9997 clauses out of 19997 with flag 245013/245013
92.34/91.16	c cleaning 9992 clauses out of 19987 with flag 255000/255000
95.94/94.75	c cleaning 9996 clauses out of 19995 with flag 265000/265000
98.55/97.31	c cleaning 10003 clauses out of 20009 with flag 275010/275010
100.95/99.79	c cleaning 9997 clauses out of 20001 with flag 285005/285005
103.57/102.33	c cleaning 10010 clauses out of 20024 with flag 295025/295025
106.35/105.19	c cleaning 9993 clauses out of 19989 with flag 305000/305000
109.08/107.89	c cleaning 10011 clauses out of 20025 with flag 315029/315029
111.75/110.53	c cleaning 9994 clauses out of 19991 with flag 325006/325006
114.47/113.31	c cleaning 10011 clauses out of 20026 with flag 335035/335035
117.36/116.15	c cleaning 9989 clauses out of 19981 with flag 345001/345001
120.26/119.01	c cleaning 10010 clauses out of 20024 with flag 355033/355033
124.06/122.81	c cleaning 9999 clauses out of 20001 with flag 365020/365020
127.16/125.98	c cleaning 9993 clauses out of 19989 with flag 375007/375007
130.36/129.14	c cleaning 10000 clauses out of 20004 with flag 385015/385015
134.06/132.80	c cleaning 10009 clauses out of 20022 with flag 395033/395033
137.07/135.83	c cleaning 9992 clauses out of 19987 with flag 405007/405007
139.90/138.63	c cleaning 10001 clauses out of 20006 with flag 415018/415018
142.48/141.23	c cleaning 9993 clauses out of 19990 with flag 425003/425003
145.08/143.83	c cleaning 10004 clauses out of 20012 with flag 435018/435018
147.78/146.57	c cleaning 9996 clauses out of 19996 with flag 445006/445006
151.18/149.93	c cleaning 10006 clauses out of 20015 with flag 455021/455021
153.78/152.54	c cleaning 10005 clauses out of 20014 with flag 465026/465026
156.59/155.38	c cleaning 9991 clauses out of 19990 with flag 475007/475007
159.39/158.19	c cleaning 10000 clauses out of 20003 with flag 485011/485011
162.29/161.03	c cleaning 10000 clauses out of 20004 with flag 495012/495012
165.22/163.97	c cleaning 9994 clauses out of 19992 with flag 505000/505000
168.41/167.17	c cleaning 10002 clauses out of 20007 with flag 515009/515009
171.90/170.65	c cleaning 10001 clauses out of 20005 with flag 525009/525009
174.61/173.36	c cleaning 9996 clauses out of 19995 with flag 535000/535000
177.33/176.08	c cleaning 9998 clauses out of 20000 with flag 545001/545001
180.21/178.98	c cleaning 10004 clauses out of 20012 with flag 555011/555011
183.21/181.97	c cleaning 10003 clauses out of 20010 with flag 565013/565013
186.42/185.10	c cleaning 10009 clauses out of 20022 with flag 575028/575028
189.62/188.32	c cleaning 10003 clauses out of 20010 with flag 585025/585025
193.32/192.00	c cleaning 9992 clauses out of 19988 with flag 595006/595006
195.94/194.67	c cleaning 10010 clauses out of 20024 with flag 605034/605034
198.53/197.25	c cleaning 9988 clauses out of 19980 with flag 615000/615000
201.24/199.99	c cleaning 10000 clauses out of 20004 with flag 625012/625012
203.95/202.63	c cleaning 10000 clauses out of 20004 with flag 635012/635012
206.96/205.63	c cleaning 10008 clauses out of 20019 with flag 645027/645027
210.15/208.90	c cleaning 9991 clauses out of 19986 with flag 655002/655002
213.36/212.08	c cleaning 9995 clauses out of 19994 with flag 665001/665001
216.46/215.12	c cleaning 9999 clauses out of 20001 with flag 675003/675003
219.09/217.80	c cleaning 10011 clauses out of 20025 with flag 685026/685026
222.39/221.03	c cleaning 9992 clauses out of 19988 with flag 695000/695000
225.88/224.53	c cleaning 10003 clauses out of 20010 with flag 705014/705014
229.28/227.93	c cleaning 10003 clauses out of 20012 with flag 715019/715019
232.48/231.17	c cleaning 9994 clauses out of 19991 with flag 725001/725001
235.39/234.01	c cleaning 10002 clauses out of 20005 with flag 735009/735009
238.79/237.40	c cleaning 10013 clauses out of 20030 with flag 745036/745036
242.09/240.74	c cleaning 9992 clauses out of 19988 with flag 755007/755007
245.89/244.51	c cleaning 10007 clauses out of 20016 with flag 765027/765027
249.71/248.30	c cleaning 9990 clauses out of 19984 with flag 775002/775002
253.51/252.14	c cleaning 9998 clauses out of 19999 with flag 785007/785007
257.62/256.25	c cleaning 10007 clauses out of 20017 with flag 795023/795023
260.41/259.04	c cleaning 10001 clauses out of 20006 with flag 805019/805019
263.42/262.03	c cleaning 9997 clauses out of 19998 with flag 815012/815012
266.43/265.07	c cleaning 10001 clauses out of 20006 with flag 825017/825017
269.62/268.28	c cleaning 10021 clauses out of 20045 with flag 835057/835057
272.92/271.53	c cleaning 10003 clauses out of 20009 with flag 845042/845042
276.22/274.89	c cleaning 10002 clauses out of 20008 with flag 855044/855044
279.63/278.31	c cleaning 10001 clauses out of 20005 with flag 865043/865043
283.23/281.84	c cleaning 9996 clauses out of 19996 with flag 875035/875035
286.83/285.42	c cleaning 9981 clauses out of 19965 with flag 885000/885000
289.74/288.33	c cleaning 9991 clauses out of 19985 with flag 895001/895001
293.24/291.89	c cleaning 9997 clauses out of 20000 with flag 905007/905007
296.05/294.64	c cleaning 10000 clauses out of 20003 with flag 915007/915007
299.65/298.29	c cleaning 9998 clauses out of 20000 with flag 925004/925004
302.46/301.01	c cleaning 10001 clauses out of 20006 with flag 935008/935008
305.16/303.75	c cleaning 9997 clauses out of 19998 with flag 945001/945001
308.86/307.46	c cleaning 10007 clauses out of 20017 with flag 955017/955017
312.46/311.09	c cleaning 10003 clauses out of 20009 with flag 965016/965016
315.86/314.44	c cleaning 10000 clauses out of 20003 with flag 975013/975013
318.67/317.24	c cleaning 9999 clauses out of 20001 with flag 985011/985011
321.67/320.20	c cleaning 9998 clauses out of 19999 with flag 995008/995008
324.67/323.25	c cleaning 10019 clauses out of 20042 with flag 1005049/1005049
327.78/326.37	c cleaning 10006 clauses out of 20015 with flag 1015041/1015041
330.48/329.10	c cleaning 9995 clauses out of 19994 with flag 1025026/1025026
333.89/332.47	c cleaning 9995 clauses out of 19993 with flag 1035020/1035020
337.59/336.17	c cleaning 9989 clauses out of 19981 with flag 1045003/1045003
341.79/340.37	c cleaning 10003 clauses out of 20009 with flag 1055020/1055020
346.10/344.62	c cleaning 10004 clauses out of 20011 with flag 1065025/1065025
349.80/348.37	c cleaning 9998 clauses out of 19999 with flag 1075017/1075017
354.80/353.30	c cleaning 9998 clauses out of 19999 with flag 1085015/1085015
358.00/356.51	c cleaning 9996 clauses out of 19996 with flag 1095010/1095010
361.50/360.01	c cleaning 9995 clauses out of 19994 with flag 1105004/1105004
365.00/363.54	c cleaning 9998 clauses out of 20000 with flag 1115005/1115005
368.60/367.19	c cleaning 10006 clauses out of 20016 with flag 1125019/1125019
372.31/370.81	c cleaning 10011 clauses out of 20026 with flag 1135035/1135035
376.01/374.57	c cleaning 10003 clauses out of 20010 with flag 1145030/1145030
379.82/378.39	c cleaning 10000 clauses out of 20004 with flag 1155027/1155027
383.62/382.12	c cleaning 9997 clauses out of 19997 with flag 1165020/1165020
387.53/386.11	c cleaning 9994 clauses out of 19991 with flag 1175011/1175011
391.42/389.90	c cleaning 9994 clauses out of 19991 with flag 1185005/1185005
394.32/392.81	c cleaning 9994 clauses out of 19992 with flag 1195000/1195000
397.32/395.81	c cleaning 9997 clauses out of 19998 with flag 1205000/1205000
400.42/398.94	c cleaning 9999 clauses out of 20001 with flag 1215000/1215000
403.62/402.12	c cleaning 10003 clauses out of 20009 with flag 1225007/1225007
406.92/405.47	c cleaning 9999 clauses out of 20002 with flag 1235003/1235003
410.43/408.95	c cleaning 10011 clauses out of 20026 with flag 1245026/1245026
414.05/412.58	c cleaning 9998 clauses out of 20000 with flag 1255011/1255011
417.73/416.24	c cleaning 10003 clauses out of 20010 with flag 1265019/1265019
421.44/420.00	c cleaning 10026 clauses out of 20056 with flag 1275068/1275068
425.14/423.69	c cleaning 9986 clauses out of 19976 with flag 1285014/1285014
429.14/427.60	c cleaning 10025 clauses out of 20052 with flag 1295076/1295076
432.94/431.45	c cleaning 9997 clauses out of 19998 with flag 1305047/1305047
436.75/435.24	c cleaning 10013 clauses out of 20029 with flag 1315075/1315075
440.85/439.32	c cleaning 9972 clauses out of 19947 with flag 1325006/1325006
444.76/443.31	c cleaning 9992 clauses out of 19988 with flag 1335019/1335019
447.55/446.05	c cleaning 10001 clauses out of 20005 with flag 1345028/1345028
450.15/448.68	c cleaning 9987 clauses out of 19978 with flag 1355002/1355002
453.35/451.87	c cleaning 9999 clauses out of 20001 with flag 1365012/1365012
456.16/454.65	c cleaning 9993 clauses out of 19990 with flag 1375000/1375000
458.96/457.45	c cleaning 10006 clauses out of 20015 with flag 1385018/1385018
461.76/460.27	c cleaning 9998 clauses out of 20000 with flag 1395009/1395009
464.57/463.09	c cleaning 10005 clauses out of 20013 with flag 1405020/1405020
467.98/466.44	c cleaning 9994 clauses out of 19991 with flag 1415003/1415003
470.76/469.23	c cleaning 9998 clauses out of 20000 with flag 1425006/1425006
473.67/472.10	c cleaning 9997 clauses out of 19997 with flag 1435001/1435001
477.17/475.68	c cleaning 10013 clauses out of 20030 with flag 1445031/1445031
481.08/479.60	c cleaning 9999 clauses out of 20002 with flag 1455016/1455016
484.77/483.29	c cleaning 10003 clauses out of 20010 with flag 1465023/1465023
488.18/486.62	c cleaning 9990 clauses out of 19984 with flag 1475000/1475000
491.68/490.12	c cleaning 10004 clauses out of 20011 with flag 1485017/1485017
495.18/493.62	c cleaning 10009 clauses out of 20022 with flag 1495032/1495032
498.80/497.29	c cleaning 9998 clauses out of 20000 with flag 1505019/1505019
502.38/500.84	c cleaning 10000 clauses out of 20002 with flag 1515019/1515019
506.88/505.37	c cleaning 9993 clauses out of 19990 with flag 1525007/1525007
509.81/508.29	c cleaning 10010 clauses out of 20023 with flag 1535033/1535033
512.69/511.19	c cleaning 9992 clauses out of 19987 with flag 1545007/1545007
515.69/514.18	c cleaning 10001 clauses out of 20005 with flag 1555017/1555017
519.29/517.75	c cleaning 9999 clauses out of 20002 with flag 1565015/1565015
523.60/522.01	c cleaning 10006 clauses out of 20016 with flag 1575028/1575028
527.80/526.25	c cleaning 9996 clauses out of 19995 with flag 1585013/1585013
532.30/530.76	c cleaning 10000 clauses out of 20003 with flag 1595017/1595017
536.80/535.24	c cleaning 10016 clauses out of 20035 with flag 1605049/1605049
541.61/540.09	c cleaning 9987 clauses out of 19977 with flag 1615007/1615007
546.12/544.52	c cleaning 9994 clauses out of 19992 with flag 1625009/1625009
549.43/547.86	c cleaning 9993 clauses out of 19989 with flag 1635000/1635000
552.81/551.27	c cleaning 10006 clauses out of 20015 with flag 1645019/1645019
556.41/554.86	c cleaning 10002 clauses out of 20008 with flag 1655018/1655018
560.32/558.78	c cleaning 9992 clauses out of 19988 with flag 1665000/1665000
564.21/562.60	c cleaning 9996 clauses out of 19996 with flag 1675000/1675000
567.91/566.37	c cleaning 10024 clauses out of 20051 with flag 1685051/1685051
571.72/570.12	c cleaning 10014 clauses out of 20031 with flag 1695055/1695055
575.22/573.68	c cleaning 9998 clauses out of 20000 with flag 1705038/1705038
579.03/577.49	c cleaning 9989 clauses out of 19982 with flag 1715018/1715018
584.22/582.60	c cleaning 9993 clauses out of 19989 with flag 1725014/1725014
589.53/587.94	c cleaning 9998 clauses out of 19999 with flag 1735017/1735017
594.84/593.21	c cleaning 10018 clauses out of 20039 with flag 1745055/1745055
600.54/598.94	c cleaning 10005 clauses out of 20013 with flag 1755047/1755047
606.05/604.40	c cleaning 10007 clauses out of 20018 with flag 1765057/1765057
611.35/609.71	c cleaning 9976 clauses out of 19955 with flag 1775001/1775001
614.95/613.37	c cleaning 10005 clauses out of 20014 with flag 1785036/1785036
618.86/617.21	c cleaning 9989 clauses out of 19982 with flag 1795009/1795009
622.86/621.21	c cleaning 9995 clauses out of 19994 with flag 1805010/1805010
626.86/625.28	c cleaning 10007 clauses out of 20017 with flag 1815028/1815028
631.26/629.62	c cleaning 9998 clauses out of 20000 with flag 1825018/1825018
635.37/633.70	c cleaning 9990 clauses out of 19984 with flag 1835000/1835000
639.58/638.01	c cleaning 10009 clauses out of 20021 with flag 1845027/1845027
644.57/642.99	c cleaning 9991 clauses out of 19986 with flag 1855001/1855001
649.37/647.70	c cleaning 10038 clauses out of 20080 with flag 1865086/1865086
654.18/652.53	c cleaning 10012 clauses out of 20027 with flag 1875071/1875071
659.58/657.96	c cleaning 9989 clauses out of 19981 with flag 1885037/1885037
665.08/663.41	c cleaning 9994 clauses out of 19992 with flag 1895037/1895037
670.68/669.09	c cleaning 9992 clauses out of 19988 with flag 1905027/1905027
676.68/675.09	c cleaning 9999 clauses out of 20002 with flag 1915033/1915033
682.19/680.59	c cleaning 10013 clauses out of 20030 with flag 1925060/1925060
687.89/686.22	c cleaning 10010 clauses out of 20024 with flag 1935067/1935067
692.40/690.78	c cleaning 9985 clauses out of 19973 with flag 1945026/1945026
697.29/695.62	c cleaning 10024 clauses out of 20052 with flag 1955090/1955090
703.89/702.23	c cleaning 9968 clauses out of 19939 with flag 1965001/1965001
710.30/708.68	c cleaning 10026 clauses out of 20055 with flag 1975085/1975085
717.90/716.25	c cleaning 9985 clauses out of 19974 with flag 1985030/1985030
724.31/722.70	c cleaning 9979 clauses out of 19962 with flag 1995003/1995003
727.51/725.91	c cleaning 9996 clauses out of 19996 with flag 2005016/2005016
730.80/729.20	c cleaning 9991 clauses out of 19996 with flag 2015012/2015012
733.92/732.27	c cleaning 9998 clauses out of 20000 with flag 2025007/2025007
736.54/734.88	c cleaning 10000 clauses out of 20003 with flag 2035008/2035008
739.22/737.50	c cleaning 9999 clauses out of 20002 with flag 2045007/2045007
741.94/740.27	c cleaning 10000 clauses out of 20004 with flag 2055008/2055008
745.13/743.41	c cleaning 10000 clauses out of 20006 with flag 2065010/2065010
748.65/746.94	c cleaning 9996 clauses out of 19996 with flag 2075000/2075000
751.63/749.95	c cleaning 9999 clauses out of 20001 with flag 2085001/2085001
754.84/753.17	c cleaning 10008 clauses out of 20019 with flag 2095018/2095018
758.24/756.58	c cleaning 10007 clauses out of 20017 with flag 2105024/2105024
761.86/760.17	c cleaning 10006 clauses out of 20015 with flag 2115029/2115029
765.44/763.77	c cleaning 9998 clauses out of 19999 with flag 2125019/2125019
768.84/767.11	c cleaning 9991 clauses out of 19986 with flag 2135004/2135004
772.35/770.66	c cleaning 9998 clauses out of 19999 with flag 2145008/2145008
775.75/774.03	c cleaning 10020 clauses out of 20044 with flag 2155051/2155051
779.47/777.75	c cleaning 10004 clauses out of 20012 with flag 2165039/2165039
783.45/781.70	c cleaning 10007 clauses out of 20017 with flag 2175048/2175048
787.25/785.51	c cleaning 9980 clauses out of 19963 with flag 2185001/2185001
790.66/788.93	c cleaning 9993 clauses out of 19989 with flag 2195007/2195007
793.78/792.03	c cleaning 9997 clauses out of 19998 with flag 2205009/2205009
796.97/795.29	c cleaning 9994 clauses out of 19992 with flag 2215000/2215000
800.46/798.73	c cleaning 10020 clauses out of 20043 with flag 2225045/2225045
803.86/802.19	c cleaning 9989 clauses out of 19981 with flag 2235003/2235003
807.98/806.24	c cleaning 9995 clauses out of 19993 with flag 2245004/2245004
811.87/810.12	c cleaning 10003 clauses out of 20010 with flag 2255016/2255016
815.68/813.96	c cleaning 9998 clauses out of 20000 with flag 2265009/2265009
819.37/817.69	c cleaning 9995 clauses out of 19994 with flag 2275001/2275001
823.27/821.59	c cleaning 10009 clauses out of 20022 with flag 2285024/2285024
826.48/824.77	c cleaning 9995 clauses out of 19993 with flag 2295004/2295004
829.58/827.85	c cleaning 9995 clauses out of 19994 with flag 2305000/2305000
832.79/831.00	c cleaning 9998 clauses out of 19999 with flag 2315000/2315000
836.79/835.05	c cleaning 10009 clauses out of 20021 with flag 2325020/2325020
840.49/838.74	c cleaning 10023 clauses out of 20049 with flag 2335057/2335057
844.49/842.74	c cleaning 10005 clauses out of 20013 with flag 2345044/2345044
848.40/846.65	c cleaning 9997 clauses out of 19998 with flag 2355034/2355034
852.60/850.90	c cleaning 10009 clauses out of 20022 with flag 2365055/2365055
857.00/855.24	c cleaning 9980 clauses out of 19963 with flag 2375005/2375005
861.01/859.25	c cleaning 9992 clauses out of 19987 with flag 2385009/2385009
865.41/863.66	c cleaning 9991 clauses out of 19986 with flag 2395000/2395000
869.62/867.85	c cleaning 10022 clauses out of 20048 with flag 2405053/2405053
874.71/872.91	c cleaning 10006 clauses out of 20015 with flag 2415042/2415042
878.91/877.14	c cleaning 9992 clauses out of 19988 with flag 2425021/2425021
883.82/882.03	c cleaning 10020 clauses out of 20043 with flag 2435068/2435068
886.82/885.04	c cleaning 9980 clauses out of 19964 with flag 2445009/2445009
889.72/887.91	c cleaning 9994 clauses out of 19991 with flag 2455016/2455016
893.72/891.97	c cleaning 9993 clauses out of 19990 with flag 2465009/2465009
897.42/895.64	c cleaning 10012 clauses out of 20025 with flag 2475037/2475037
901.03/899.28	c cleaning 10002 clauses out of 20007 with flag 2485031/2485031
904.63/902.86	c cleaning 9994 clauses out of 19992 with flag 2495018/2495018
908.43/906.65	c cleaning 9990 clauses out of 19984 with flag 2505004/2505004
912.43/910.64	c cleaning 9998 clauses out of 20000 with flag 2515010/2515010
916.13/914.39	c cleaning 10005 clauses out of 20013 with flag 2525021/2525021
920.25/918.44	c cleaning 10005 clauses out of 20014 with flag 2535027/2535027
924.44/922.61	c cleaning 10000 clauses out of 20004 with flag 2545022/2545022
929.05/927.29	c cleaning 9998 clauses out of 19999 with flag 2555017/2555017
933.84/932.04	c cleaning 9990 clauses out of 19984 with flag 2565000/2565000
938.34/936.56	c cleaning 10022 clauses out of 20047 with flag 2575053/2575053
943.95/942.10	c cleaning 9999 clauses out of 19999 with flag 2585027/2585027
948.75/946.99	c cleaning 9990 clauses out of 19983 with flag 2595010/2595010
953.95/952.18	c cleaning 10011 clauses out of 20024 with flag 2605041/2605041
958.25/956.41	c cleaning 9989 clauses out of 19982 with flag 2615010/2615010
963.06/961.23	c cleaning 10027 clauses out of 20058 with flag 2625075/2625075
969.06/967.22	c cleaning 9976 clauses out of 19956 with flag 2635000/2635000
975.06/973.27	c cleaning 9992 clauses out of 19988 with flag 2645008/2645008
981.88/980.05	c cleaning 9997 clauses out of 19997 with flag 2655009/2655009
985.29/983.49	c cleaning 9998 clauses out of 20000 with flag 2665009/2665009
988.67/986.82	c cleaning 9995 clauses out of 19994 with flag 2675001/2675001
992.47/990.65	c cleaning 9997 clauses out of 19998 with flag 2685000/2685000
997.08/995.22	c cleaning 9999 clauses out of 20001 with flag 2695000/2695000
1001.69/999.86	c cleaning 10009 clauses out of 20021 with flag 2705019/2705019
1006.48/1004.68	c cleaning 9999 clauses out of 20001 with flag 2715008/2715008
1010.88/1009.09	c cleaning 10024 clauses out of 20051 with flag 2725057/2725057
1015.68/1013.81	c cleaning 10011 clauses out of 20025 with flag 2735055/2735055
1020.18/1018.35	c cleaning 9988 clauses out of 19980 with flag 2745021/2745021
1025.79/1023.95	c cleaning 9996 clauses out of 19995 with flag 2755024/2755024
1030.99/1029.14	c cleaning 9989 clauses out of 19982 with flag 2765007/2765007
1035.69/1033.91	c cleaning 10005 clauses out of 20013 with flag 2775027/2775027
1040.20/1038.41	c cleaning 10006 clauses out of 20016 with flag 2785035/2785035
1045.90/1044.01	c cleaning 10017 clauses out of 20038 with flag 2795063/2795063
1051.32/1049.45	c cleaning 9978 clauses out of 19960 with flag 2805002/2805002
1058.20/1056.31	c cleaning 10006 clauses out of 20016 with flag 2815036/2815036
1064.00/1062.17	c cleaning 10035 clauses out of 20072 with flag 2825098/2825098
1070.50/1068.66	c cleaning 10002 clauses out of 20008 with flag 2835069/2835069
1076.30/1074.49	c cleaning 9975 clauses out of 19954 with flag 2845017/2845017
1082.02/1080.14	c cleaning 10022 clauses out of 20048 with flag 2855086/2855086
1086.81/1084.96	c cleaning 10003 clauses out of 20009 with flag 2865069/2865069
1093.41/1091.57	c cleaning 10015 clauses out of 20034 with flag 2875097/2875097
1099.11/1097.22	c cleaning 9982 clauses out of 19968 with flag 2885046/2885046
1105.24/1103.37	c cleaning 9972 clauses out of 19948 with flag 2895008/2895008
1111.42/1109.56	c cleaning 9997 clauses out of 19997 with flag 2905029/2905029
1117.23/1115.37	c cleaning 10006 clauses out of 20016 with flag 2915045/2915045
1123.84/1121.95	c cleaning 10009 clauses out of 20021 with flag 2925056/2925056
1129.23/1127.35	c cleaning 9999 clauses out of 20002 with flag 2935046/2935046
1134.13/1132.21	c cleaning 10005 clauses out of 20014 with flag 2945057/2945057
1139.14/1137.30	c cleaning 9987 clauses out of 19977 with flag 2955025/2955025
1145.36/1143.45	c cleaning 9983 clauses out of 19970 with flag 2965005/2965005
1150.87/1148.95	c cleaning 9997 clauses out of 19997 with flag 2975015/2975015
1156.37/1154.49	c cleaning 9994 clauses out of 19992 with flag 2985007/2985007
1161.97/1160.01	c cleaning 10008 clauses out of 20019 with flag 2995028/2995028
1166.18/1164.24	c cleaning 9997 clauses out of 19995 with flag 3005012/3005012
1168.99/1167.05	c cleaning 9995 clauses out of 19993 with flag 3015007/3015007
1171.58/1169.61	c cleaning 9999 clauses out of 20001 with flag 3025010/3025010
1175.18/1173.27	c cleaning 9998 clauses out of 20000 with flag 3035008/3035008
1178.09/1176.14	c cleaning 10001 clauses out of 20006 with flag 3045012/3045012
1181.89/1179.93	c cleaning 9995 clauses out of 19994 with flag 3055001/3055001
1184.69/1182.76	c cleaning 10000 clauses out of 20003 with flag 3065005/3065005
1187.70/1185.72	c cleaning 9998 clauses out of 20000 with flag 3075002/3075002
1191.39/1189.49	c cleaning 10000 clauses out of 20003 with flag 3085003/3085003
1195.52/1193.58	c cleaning 9998 clauses out of 20000 with flag 3095000/3095000
1198.90/1196.98	c cleaning 10017 clauses out of 20037 with flag 3105035/3105035
1202.50/1200.59	c cleaning 10007 clauses out of 20018 with flag 3115033/3115033
1206.30/1204.38	c cleaning 9989 clauses out of 19981 with flag 3125003/3125003
1209.61/1207.61	c cleaning 10010 clauses out of 20023 with flag 3135034/3135034
1212.81/1210.86	c cleaning 9988 clauses out of 19979 with flag 3145000/3145000
1216.21/1214.31	c cleaning 9998 clauses out of 20000 with flag 3155009/3155009
1219.81/1217.89	c cleaning 10009 clauses out of 20021 with flag 3165028/3165028
1224.02/1222.07	c cleaning 9998 clauses out of 19999 with flag 3175015/3175015
1228.22/1226.23	c cleaning 10003 clauses out of 20009 with flag 3185023/3185023
1232.22/1230.25	c cleaning 10004 clauses out of 20012 with flag 3195029/3195029
1235.42/1233.40	c cleaning 9998 clauses out of 19999 with flag 3205020/3205020
1238.73/1236.76	c cleaning 9992 clauses out of 19988 with flag 3215007/3215007
1242.33/1240.31	c cleaning 9993 clauses out of 19990 with flag 3225001/3225001
1245.83/1243.84	c cleaning 10024 clauses out of 20051 with flag 3235055/3235055
1249.74/1247.73	c cleaning 9999 clauses out of 20002 with flag 3245030/3245030
1254.04/1252.07	c cleaning 9998 clauses out of 20000 with flag 3255027/3255027
1257.94/1255.96	c cleaning 9986 clauses out of 19976 with flag 3265001/3265001
1262.35/1260.40	c cleaning 9999 clauses out of 20001 with flag 3275012/3275012
1267.55/1265.51	c cleaning 10013 clauses out of 20029 with flag 3285039/3285039
1272.15/1270.17	c cleaning 9995 clauses out of 19994 with flag 3295017/3295017
1275.46/1273.50	c cleaning 9990 clauses out of 19983 with flag 3305001/3305001
1279.07/1277.03	c cleaning 10019 clauses out of 20041 with flag 3315049/3315049
1283.26/1281.21	c cleaning 9996 clauses out of 19996 with flag 3325023/3325023
1287.66/1285.70	c cleaning 9992 clauses out of 19987 with flag 3335010/3335010
1291.96/1289.95	c cleaning 10022 clauses out of 20048 with flag 3345063/3345063
1295.97/1293.92	c cleaning 10002 clauses out of 20008 with flag 3355045/3355045
1300.09/1298.10	c cleaning 9979 clauses out of 19961 with flag 3365000/3365000
1304.17/1302.15	c cleaning 10017 clauses out of 20037 with flag 3375055/3375055
1308.38/1306.33	c cleaning 10006 clauses out of 20015 with flag 3385050/3385050
1312.88/1310.84	c cleaning 9988 clauses out of 19979 with flag 3395020/3395020
1317.59/1315.54	c cleaning 9984 clauses out of 19971 with flag 3405000/3405000
1322.11/1320.07	c cleaning 9996 clauses out of 19995 with flag 3415008/3415008
1327.19/1325.18	c cleaning 10011 clauses out of 20026 with flag 3425035/3425035
1332.39/1330.38	c cleaning 9988 clauses out of 19980 with flag 3435000/3435000
1336.41/1334.38	c cleaning 10004 clauses out of 20012 with flag 3445020/3445020
1340.60/1338.59	c cleaning 10007 clauses out of 20017 with flag 3455029/3455029
1344.30/1342.26	c cleaning 10007 clauses out of 20018 with flag 3465037/3465037
1348.80/1346.71	c cleaning 9996 clauses out of 19996 with flag 3475022/3475022
1353.60/1351.52	c cleaning 10004 clauses out of 20012 with flag 3485034/3485034
1359.53/1357.46	c cleaning 9994 clauses out of 19991 with flag 3495017/3495017
1365.31/1363.29	c cleaning 9988 clauses out of 19980 with flag 3505000/3505000
1370.62/1368.58	c cleaning 10014 clauses out of 20032 with flag 3515040/3515040
1376.32/1374.21	c cleaning 10003 clauses out of 20010 with flag 3525032/3525032
1381.32/1379.21	c cleaning 9992 clauses out of 19987 with flag 3535012/3535012
1386.12/1384.07	c cleaning 10012 clauses out of 20028 with flag 3545045/3545045
1392.03/1389.91	c cleaning 9990 clauses out of 19984 with flag 3555013/3555013
1398.53/1396.45	c cleaning 9989 clauses out of 19981 with flag 3565000/3565000
1404.34/1402.26	c cleaning 10007 clauses out of 20017 with flag 3575025/3575025
1409.34/1407.21	c cleaning 10001 clauses out of 20006 with flag 3585021/3585021
1414.74/1412.60	c cleaning 10008 clauses out of 20019 with flag 3595035/3595035
1420.06/1417.97	c cleaning 10008 clauses out of 20019 with flag 3605043/3605043
1427.85/1425.78	c cleaning 9996 clauses out of 19996 with flag 3615028/3615028
1435.85/1433.74	c cleaning 9989 clauses out of 19982 with flag 3625010/3625010
1442.45/1440.36	c cleaning 9990 clauses out of 19983 with flag 3635000/3635000
1449.06/1446.92	c cleaning 10006 clauses out of 20016 with flag 3645023/3645023
1455.66/1453.51	c cleaning 10011 clauses out of 20025 with flag 3655038/3655038
1460.37/1458.20	c cleaning 9990 clauses out of 19984 with flag 3665008/3665008
1464.97/1462.82	c cleaning 9995 clauses out of 19993 with flag 3675007/3675007
1469.77/1467.64	c cleaning 9994 clauses out of 19992 with flag 3685001/3685001
1474.88/1472.75	c cleaning 9997 clauses out of 19997 with flag 3695000/3695000
1479.58/1477.45	c cleaning 10010 clauses out of 20024 with flag 3705024/3705024
1485.00/1482.84	c cleaning 10008 clauses out of 20020 with flag 3715030/3715030
1490.09/1487.91	c cleaning 10010 clauses out of 20023 with flag 3725041/3725041
1494.99/1492.89	c cleaning 9984 clauses out of 19972 with flag 3735000/3735000
1500.30/1498.15	c cleaning 10034 clauses out of 20072 with flag 3745084/3745084
1504.99/1502.82	c cleaning 9997 clauses out of 19998 with flag 3755044/3755044
1510.10/1507.94	c cleaning 10023 clauses out of 20050 with flag 3765093/3765093
1515.10/1512.95	c cleaning 9979 clauses out of 19961 with flag 3775027/3775027
1520.30/1518.16	c cleaning 10017 clauses out of 20038 with flag 3785083/3785083
1525.40/1523.24	c cleaning 9976 clauses out of 19956 with flag 3795018/3795018
1531.50/1529.33	c cleaning 10014 clauses out of 20031 with flag 3805069/3805069
1537.61/1535.44	c cleaning 10008 clauses out of 20020 with flag 3815072/3815072
1543.81/1541.64	c cleaning 9970 clauses out of 19944 with flag 3825004/3825004
1549.61/1547.46	c cleaning 10017 clauses out of 20037 with flag 3835067/3835067
1555.12/1552.90	c cleaning 10029 clauses out of 20061 with flag 3845108/3845108
1561.52/1559.37	c cleaning 9969 clauses out of 19941 with flag 3855017/3855017
1567.72/1565.54	c cleaning 10001 clauses out of 20005 with flag 3865050/3865050
1573.43/1571.24	c cleaning 9998 clauses out of 19999 with flag 3875045/3875045
1579.43/1577.20	c cleaning 10025 clauses out of 20054 with flag 3885098/3885098
1585.93/1583.71	c cleaning 9980 clauses out of 19963 with flag 3895032/3895032
1593.73/1591.55	c cleaning 10033 clauses out of 20070 with flag 3905119/3905119
1601.73/1599.53	c cleaning 9967 clauses out of 19937 with flag 3915019/3915019
1608.44/1606.24	c cleaning 9974 clauses out of 19951 with flag 3925000/3925000
1614.64/1612.47	c cleaning 9989 clauses out of 19981 with flag 3935004/3935004
1621.14/1618.93	c cleaning 10028 clauses out of 20059 with flag 3945071/3945071
1629.06/1626.87	c cleaning 10016 clauses out of 20036 with flag 3955076/3955076
1635.85/1633.60	c cleaning 9979 clauses out of 19961 with flag 3965017/3965017
1642.95/1640.71	c cleaning 9989 clauses out of 19981 with flag 3975016/3975016
1649.35/1647.17	c cleaning 9996 clauses out of 19995 with flag 3985019/3985019
1655.66/1653.47	c cleaning 9990 clauses out of 19983 with flag 3995003/3995003
1660.76/1658.56	c cleaning 10013 clauses out of 20030 with flag 4005040/4005040
1666.16/1663.90	c cleaning 9990 clauses out of 19984 with flag 4015007/4015007
1671.16/1668.94	c cleaning 9999 clauses out of 20002 with flag 4025015/4025015
1676.07/1673.89	c cleaning 10031 clauses out of 20064 with flag 4035076/4035076
1681.67/1679.48	c cleaning 10004 clauses out of 20012 with flag 4045055/4045055
1686.08/1683.80	c cleaning 10005 clauses out of 20014 with flag 4055061/4055061
1691.79/1689.59	c cleaning 10001 clauses out of 20006 with flag 4065058/4065058
1697.68/1695.47	c cleaning 9977 clauses out of 19957 with flag 4075010/4075010
1702.68/1700.46	c cleaning 10012 clauses out of 20028 with flag 4085058/4085058
1707.79/1705.57	c cleaning 9983 clauses out of 19969 with flag 4095011/4095011
1713.00/1710.72	c cleaning 10000 clauses out of 20003 with flag 4105028/4105028
1719.90/1717.69	c cleaning 10000 clauses out of 20004 with flag 4115029/4115029
1726.10/1723.84	c cleaning 9989 clauses out of 19982 with flag 4125007/4125007
1732.01/1729.75	c cleaning 10019 clauses out of 20041 with flag 4135055/4135055
1739.01/1736.70	c cleaning 10034 clauses out of 20072 with flag 4145105/4145105
1744.51/1742.26	c cleaning 9987 clauses out of 19977 with flag 4155044/4155044
1750.71/1748.44	c cleaning 10014 clauses out of 20032 with flag 4165086/4165086
1756.52/1754.23	c cleaning 9968 clauses out of 19939 with flag 4175007/4175007
1762.34/1760.04	c cleaning 9985 clauses out of 19973 with flag 4185009/4185009
1768.94/1766.65	c cleaning 10001 clauses out of 20005 with flag 4195026/4195026
1774.02/1771.78	c cleaning 10015 clauses out of 20034 with flag 4205056/4205056
1779.83/1777.52	c cleaning 10018 clauses out of 20040 with flag 4215077/4215077
1785.02/1782.73	c cleaning 10007 clauses out of 20017 with flag 4225072/4225072
1791.03/1788.79	c cleaning 9998 clauses out of 20000 with flag 4235062/4235062
1798.23/1795.98	c cleaning 9968 clauses out of 19940 with flag 4245000/4245000
1800.04/1797.72	c starts		: 253
1800.04/1797.72	c conflicts		: 4249244
1800.04/1797.72	c decisions		: 16391939
1800.04/1797.72	c propagations		: 125004567
1800.04/1797.72	c inspects		: 4390252164
1800.04/1797.72	c shortcuts		: 0
1800.04/1797.72	c learnt literals	: 0
1800.04/1797.72	c learnt binary clauses	: 0
1800.04/1797.72	c learnt ternary clauses	: 36
1800.04/1797.72	c learnt constraints	: 4249243
1800.04/1797.72	c ignored constraints	: 0
1800.04/1797.72	c root simplifications	: 0
1800.04/1797.72	c removed literals (reason simplification)	: 28564323
1800.04/1797.72	c reason swapping (by a shorter reason)	: 0
1800.04/1797.72	c Calls to reduceDB	: 426
1800.04/1797.72	c number of reductions to clauses (during analyze)	: 0
1800.04/1797.72	c number of learned constraints concerned by reduction	: 0
1800.04/1797.72	c number of learning phase by resolution	: 0
1800.04/1797.72	c number of learning phase by cutting planes	: 0
1800.04/1797.72	c speed (assignments/second)	: 69549.63768761016
1800.04/1797.72	c non guided choices	2712
1800.04/1797.73	c learnt constraints type 
1800.04/1797.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14230
1800.04/1797.73	c constraints type 
1800.04/1797.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2528
1800.04/1797.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.04/1797.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.04/1797.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2528
1800.04/1797.73	s UNKNOWN
1800.04/1797.73	c Total wall clock time (in seconds): 1797.614

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-3458047-1307165767/watcher-3458047-1307165767 -o /tmp/evaluation-result-3458047-1307165767/solver-3458047-1307165767 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458047-1307165767.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.27 2.06 2.02 3/572 10322
/proc/meminfo: memFree=24820468/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 1316 0 0 0 0 0 0 0 18 0 2 0 828173809 36646912 1018 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 8947 1018 782 9 0 386 0
[pid=10322/tid=10323] ppid=10320 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 5338 0 1 0 0 0 0 0 17 0 2 0 828173809 13850947584 6154 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.0874869 s]
/proc/loadavg: 2.27 2.06 2.02 3/572 10322
/proc/meminfo: memFree=24820468/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 14479 0 1 0 5 1 0 0 18 0 18 0 828173809 13880410112 14176 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 3388772 14176 1755 9 0 3379506 0
[pid=10322/tid=10323] ppid=10320 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 13305 0 1 0 5 1 0 0 22 0 18 0 828173809 13880410112 14176 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 46912505228083 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088

[startup+0.100518 s]
/proc/loadavg: 2.27 2.06 2.02 3/572 10322
/proc/meminfo: memFree=24820468/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=13622160 CPUtime=0.08 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 15373 0 1 0 7 1 0 0 18 0 18 0 828173809 13949091840 15070 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 3405540 15070 2082 9 0 3396274 0
[pid=10322/tid=10323] ppid=10320 vsize=13622160 CPUtime=0.07 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 13483 0 1 0 6 1 0 0 22 0 18 0 828173809 13949091840 15071 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239476694784 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13622160

[startup+0.301913 s]
/proc/loadavg: 2.27 2.06 2.02 3/572 10322
/proc/meminfo: memFree=24820468/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=13624528 CPUtime=0.43 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 18988 0 1 0 41 2 0 0 18 0 18 0 828173809 13951516672 18330 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 3406132 18330 2211 9 0 3396866 0
[pid=10322/tid=10323] ppid=10320 vsize=13624528 CPUtime=0.27 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 15538 0 1 0 25 2 0 0 22 0 18 0 828173809 13951516672 18330 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13624528

[startup+0.700434 s]
/proc/loadavg: 2.27 2.06 2.02 3/572 10322
/proc/meminfo: memFree=24820468/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=13635708 CPUtime=1.5 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 30039 0 1 0 146 4 0 0 18 0 19 0 828173809 13962964992 25684 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 3408927 25684 2234 9 0 3399661 0
[pid=10322/tid=10323] ppid=10320 vsize=13635708 CPUtime=0.66 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 18044 0 1 0 64 2 0 0 25 0 19 0 828173809 13962964992 25684 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 46912505690352 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13635708

[startup+1.50128 s]
/proc/loadavg: 2.27 2.06 2.02 3/591 10341
/proc/meminfo: memFree=24722172/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=13635708 CPUtime=2.43 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 31520 0 1 0 239 4 0 0 18 0 19 0 828173809 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 3408927 27164 2241 9 0 3399661 0
[pid=10322/tid=10323] ppid=10320 vsize=13635708 CPUtime=1.47 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 19494 0 1 0 144 3 0 0 25 0 19 0 828173809 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 46912505898174 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10325/stat : 10325 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828173812 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10326] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10326/stat : 10326 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173812 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10327] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10327/stat : 10327 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173812 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10328] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10328/stat : 10328 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173812 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10329] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10329/stat : 10329 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173812 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10330] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10330/stat : 10330 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173812 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10331] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10331/stat : 10331 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173812 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10332] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10332/stat : 10332 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173812 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10333] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10333/stat : 10333 (java) S 10320 10322 10194 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10334] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10334/stat : 10334 (java) S 10320 10322 10194 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 828173813 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10335] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10335/stat : 10335 (java) S 10320 10322 10194 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 828173813 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10336] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10336/stat : 10336 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173815 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10337] ppid=10320 vsize=13635708 CPUtime=0.43 cores=1,3,5,7
/proc/10322/task/10337/stat : 10337 (java) S 10320 10322 10194 0 -1 4202560 6653 0 0 0 43 0 0 0 15 0 19 0 828173815 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10338] ppid=10320 vsize=13635708 CPUtime=0.5 cores=1,3,5,7
/proc/10322/task/10338/stat : 10338 (java) S 10320 10322 10194 0 -1 4202560 4213 0 0 0 50 0 0 0 15 0 19 0 828173815 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10339] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10339/stat : 10339 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828173815 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10340] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10340/stat : 10340 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828173815 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10341] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10341/stat : 10341 (java) S 10320 10322 10194 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828173848 13962964992 27164 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13635708

[startup+3.10097 s]
/proc/loadavg: 2.25 2.06 2.02 3/591 10341
/proc/meminfo: memFree=24714112/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=13635708 CPUtime=4.07 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 36017 0 1 0 402 5 0 0 18 0 19 0 828173809 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 3408927 31651 2267 9 0 3399661 0
[pid=10322/tid=10323] ppid=10320 vsize=13635708 CPUtime=3.04 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 20402 0 1 0 301 3 0 0 19 0 19 0 828173809 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 46912505788591 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10325/stat : 10325 (java) S 10320 10322 10194 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 19 0 828173812 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10326] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10326/stat : 10326 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828173812 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10327] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10327/stat : 10327 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828173812 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10328] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10328/stat : 10328 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828173812 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10329] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10329/stat : 10329 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 828173812 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10330] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10330/stat : 10330 (java) S 10320 10322 10194 0 -1 4202560 381 0 0 0 0 0 0 0 18 0 19 0 828173812 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10331] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10331/stat : 10331 (java) S 10320 10322 10194 0 -1 4202560 710 0 0 0 0 0 0 0 18 0 19 0 828173812 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10332] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10332/stat : 10332 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828173812 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10333] ppid=10320 vsize=13635708 CPUtime=0.01 cores=1,3,5,7
/proc/10322/task/10333/stat : 10333 (java) S 10320 10322 10194 0 -1 4202560 1768 0 0 0 1 0 0 0 16 0 19 0 828173813 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10334] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10334/stat : 10334 (java) S 10320 10322 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10335] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10335/stat : 10335 (java) S 10320 10322 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10336] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10336/stat : 10336 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173815 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10337] ppid=10320 vsize=13635708 CPUtime=0.44 cores=1,3,5,7
/proc/10322/task/10337/stat : 10337 (java) S 10320 10322 10194 0 -1 4202560 6654 0 0 0 44 0 0 0 15 0 19 0 828173815 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10338] ppid=10320 vsize=13635708 CPUtime=0.52 cores=1,3,5,7
/proc/10322/task/10338/stat : 10338 (java) S 10320 10322 10194 0 -1 4202560 4220 0 0 0 52 0 0 0 15 0 19 0 828173815 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10339] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10339/stat : 10339 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828173815 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10340] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10340/stat : 10340 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828173815 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10341] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10341/stat : 10341 (java) S 10320 10322 10194 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828173848 13962964992 31651 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 13635708

[startup+6.30137 s]
/proc/loadavg: 2.25 2.06 2.02 3/591 10341
/proc/meminfo: memFree=24700396/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=13635708 CPUtime=7.29 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 39996 0 1 0 724 5 0 0 18 0 19 0 828173809 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 3408927 35418 2267 9 0 3399661 0
[pid=10322/tid=10323] ppid=10320 vsize=13635708 CPUtime=6.21 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 20406 0 1 0 618 3 0 0 25 0 19 0 828173809 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 46912505779416 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10325/stat : 10325 (java) S 10320 10322 10194 0 -1 4202560 727 0 0 0 0 0 0 0 15 0 19 0 828173812 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10326] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10326/stat : 10326 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828173812 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10327] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10327/stat : 10327 (java) S 10320 10322 10194 0 -1 4202560 1109 0 0 0 0 0 0 0 16 0 19 0 828173812 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10328] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10328/stat : 10328 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828173812 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10329] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10329/stat : 10329 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828173812 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10330] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10330/stat : 10330 (java) S 10320 10322 10194 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 19 0 828173812 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10331] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10331/stat : 10331 (java) S 10320 10322 10194 0 -1 4202560 710 0 0 0 0 0 0 0 15 0 19 0 828173812 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10332] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10332/stat : 10332 (java) S 10320 10322 10194 0 -1 4202560 1249 0 0 0 0 0 0 0 16 0 19 0 828173812 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10333] ppid=10320 vsize=13635708 CPUtime=0.04 cores=1,3,5,7
/proc/10322/task/10333/stat : 10333 (java) S 10320 10322 10194 0 -1 4202560 3384 0 0 0 4 0 0 0 15 0 19 0 828173813 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10334] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10334/stat : 10334 (java) S 10320 10322 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10335] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10335/stat : 10335 (java) S 10320 10322 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10336] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10336/stat : 10336 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173815 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10337] ppid=10320 vsize=13635708 CPUtime=0.45 cores=1,3,5,7
/proc/10322/task/10337/stat : 10337 (java) S 10320 10322 10194 0 -1 4202560 6656 0 0 0 45 0 0 0 15 0 19 0 828173815 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10338] ppid=10320 vsize=13635708 CPUtime=0.54 cores=1,3,5,7
/proc/10322/task/10338/stat : 10338 (java) S 10320 10322 10194 0 -1 4202560 4221 0 0 0 54 0 0 0 16 0 19 0 828173815 13962964992 35418 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0

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

[pid=10322/tid=10330] ppid=10320 vsize=13635708 CPUtime=0.24 cores=1,3,5,7
/proc/10322/task/10330/stat : 10330 (java) S 10320 10322 10194 0 -1 4202560 605 0 0 0 24 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10331] ppid=10320 vsize=13635708 CPUtime=0.24 cores=1,3,5,7
/proc/10322/task/10331/stat : 10331 (java) S 10320 10322 10194 0 -1 4202560 1240 0 0 0 24 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10332] ppid=10320 vsize=13635708 CPUtime=0.28 cores=1,3,5,7
/proc/10322/task/10332/stat : 10332 (java) S 10320 10322 10194 0 -1 4202560 1747 0 0 0 28 0 0 0 16 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10333] ppid=10320 vsize=13635708 CPUtime=10.92 cores=1,3,5,7
/proc/10322/task/10333/stat : 10333 (java) S 10320 10322 10194 0 -1 4202560 6257 0 0 0 1087 5 0 0 15 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10334] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10334/stat : 10334 (java) S 10320 10322 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10335] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10335/stat : 10335 (java) S 10320 10322 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10336] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10336/stat : 10336 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10337] ppid=10320 vsize=13635708 CPUtime=0.46 cores=1,3,5,7
/proc/10322/task/10337/stat : 10337 (java) S 10320 10322 10194 0 -1 4202560 6657 0 0 0 46 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10338] ppid=10320 vsize=13635708 CPUtime=0.68 cores=1,3,5,7
/proc/10322/task/10338/stat : 10338 (java) S 10320 10322 10194 0 -1 4202560 4246 0 0 0 68 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10339] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10339/stat : 10339 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10340] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10340/stat : 10340 (java) S 10320 10322 10194 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10341] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10341/stat : 10341 (java) S 10320 10322 10194 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828173848 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1724.6
Current children cumulated vsize (KiB) 13635708

[startup+1782.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/591 10448
/proc/meminfo: memFree=23843388/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=13635708 CPUtime=1784.62 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 46769 0 1 0 178446 16 0 0 18 0 19 0 828173809 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 3408927 40963 2268 9 0 3399661 0
[pid=10322/tid=10323] ppid=10320 vsize=13635708 CPUtime=1770.1 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 20825 0 1 0 177006 4 0 0 25 0 19 0 828173809 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 46912505690352 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=13635708 CPUtime=0.28 cores=1,3,5,7
/proc/10322/task/10325/stat : 10325 (java) S 10320 10322 10194 0 -1 4202560 759 0 0 0 28 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10326] ppid=10320 vsize=13635708 CPUtime=0.27 cores=1,3,5,7
/proc/10322/task/10326/stat : 10326 (java) S 10320 10322 10194 0 -1 4202560 1069 0 0 0 27 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10327] ppid=10320 vsize=13635708 CPUtime=0.25 cores=1,3,5,7
/proc/10322/task/10327/stat : 10327 (java) S 10320 10322 10194 0 -1 4202560 1243 0 0 0 25 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10328] ppid=10320 vsize=13635708 CPUtime=0.24 cores=1,3,5,7
/proc/10322/task/10328/stat : 10328 (java) S 10320 10322 10194 0 -1 4202560 301 0 0 0 24 0 0 0 16 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10329] ppid=10320 vsize=13635708 CPUtime=0.26 cores=1,3,5,7
/proc/10322/task/10329/stat : 10329 (java) S 10320 10322 10194 0 -1 4202560 564 0 0 0 25 1 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10330] ppid=10320 vsize=13635708 CPUtime=0.24 cores=1,3,5,7
/proc/10322/task/10330/stat : 10330 (java) S 10320 10322 10194 0 -1 4202560 605 0 0 0 24 0 0 0 16 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10331] ppid=10320 vsize=13635708 CPUtime=0.24 cores=1,3,5,7
/proc/10322/task/10331/stat : 10331 (java) S 10320 10322 10194 0 -1 4202560 1240 0 0 0 24 0 0 0 16 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10332] ppid=10320 vsize=13635708 CPUtime=0.29 cores=1,3,5,7
/proc/10322/task/10332/stat : 10332 (java) S 10320 10322 10194 0 -1 4202560 1747 0 0 0 29 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10333] ppid=10320 vsize=13635708 CPUtime=11.18 cores=1,3,5,7
/proc/10322/task/10333/stat : 10333 (java) S 10320 10322 10194 0 -1 4202560 6261 0 0 0 1113 5 0 0 15 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10334] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10334/stat : 10334 (java) S 10320 10322 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10335] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10335/stat : 10335 (java) S 10320 10322 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10336] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10336/stat : 10336 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10337] ppid=10320 vsize=13635708 CPUtime=0.46 cores=1,3,5,7
/proc/10322/task/10337/stat : 10337 (java) S 10320 10322 10194 0 -1 4202560 6657 0 0 0 46 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10338] ppid=10320 vsize=13635708 CPUtime=0.68 cores=1,3,5,7
/proc/10322/task/10338/stat : 10338 (java) S 10320 10322 10194 0 -1 4202560 4246 0 0 0 68 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10339] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10339/stat : 10339 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10340] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10340/stat : 10340 (java) S 10320 10322 10194 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10341] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10341/stat : 10341 (java) S 10320 10322 10194 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828173848 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (KiB) 13635708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.7 s]
/proc/loadavg: 2.17 2.07 2.02 3/591 10449
/proc/meminfo: memFree=23843496/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=13635708 CPUtime=1800.04 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 46772 0 1 0 179988 16 0 0 18 0 19 0 828173809 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 3408927 40963 2268 9 0 3399661 0
[pid=10322/tid=10323] ppid=10320 vsize=13635708 CPUtime=1785.44 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 20828 0 1 0 178540 4 0 0 25 0 19 0 828173809 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 46912505690352 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=13635708 CPUtime=0.28 cores=1,3,5,7
/proc/10322/task/10325/stat : 10325 (java) S 10320 10322 10194 0 -1 4202560 759 0 0 0 28 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10326] ppid=10320 vsize=13635708 CPUtime=0.27 cores=1,3,5,7
/proc/10322/task/10326/stat : 10326 (java) S 10320 10322 10194 0 -1 4202560 1069 0 0 0 27 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10327] ppid=10320 vsize=13635708 CPUtime=0.26 cores=1,3,5,7
/proc/10322/task/10327/stat : 10327 (java) S 10320 10322 10194 0 -1 4202560 1243 0 0 0 26 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10328] ppid=10320 vsize=13635708 CPUtime=0.24 cores=1,3,5,7
/proc/10322/task/10328/stat : 10328 (java) S 10320 10322 10194 0 -1 4202560 301 0 0 0 24 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10329] ppid=10320 vsize=13635708 CPUtime=0.26 cores=1,3,5,7
/proc/10322/task/10329/stat : 10329 (java) S 10320 10322 10194 0 -1 4202560 564 0 0 0 25 1 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10330] ppid=10320 vsize=13635708 CPUtime=0.24 cores=1,3,5,7
/proc/10322/task/10330/stat : 10330 (java) S 10320 10322 10194 0 -1 4202560 605 0 0 0 24 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10331] ppid=10320 vsize=13635708 CPUtime=0.25 cores=1,3,5,7
/proc/10322/task/10331/stat : 10331 (java) S 10320 10322 10194 0 -1 4202560 1240 0 0 0 25 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10332] ppid=10320 vsize=13635708 CPUtime=0.29 cores=1,3,5,7
/proc/10322/task/10332/stat : 10332 (java) S 10320 10322 10194 0 -1 4202560 1747 0 0 0 29 0 0 0 16 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10333] ppid=10320 vsize=13635708 CPUtime=11.26 cores=1,3,5,7
/proc/10322/task/10333/stat : 10333 (java) S 10320 10322 10194 0 -1 4202560 6261 0 0 0 1121 5 0 0 15 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10334] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10334/stat : 10334 (java) S 10320 10322 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10335] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10335/stat : 10335 (java) S 10320 10322 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10336] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10336/stat : 10336 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10337] ppid=10320 vsize=13635708 CPUtime=0.46 cores=1,3,5,7
/proc/10322/task/10337/stat : 10337 (java) S 10320 10322 10194 0 -1 4202560 6657 0 0 0 46 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10338] ppid=10320 vsize=13635708 CPUtime=0.68 cores=1,3,5,7
/proc/10322/task/10338/stat : 10338 (java) S 10320 10322 10194 0 -1 4202560 4246 0 0 0 68 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10339] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10339/stat : 10339 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10340] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10340/stat : 10340 (java) S 10320 10322 10194 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10341] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10341/stat : 10341 (java) S 10320 10322 10194 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828173848 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13635708

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

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

[startup+1797.7 s]
/proc/loadavg: 2.17 2.07 2.02 3/591 10449
/proc/meminfo: memFree=23843496/32950928 swapFree=67056580/67111528
[pid=10322] ppid=10320 vsize=13635708 CPUtime=1800.04 cores=1,3,5,7
/proc/10322/stat : 10322 (java) S 10320 10322 10194 0 -1 4202496 46772 0 1 0 179988 16 0 0 18 0 19 0 828173809 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10322/statm: 3408927 40963 2268 9 0 3399661 0
[pid=10322/tid=10323] ppid=10320 vsize=13635708 CPUtime=1785.44 cores=1,3,5,7
/proc/10322/task/10323/stat : 10323 (java) R 10320 10322 10194 0 -1 4202560 20828 0 1 0 178540 4 0 0 25 0 19 0 828173809 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 46912505690352 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=13635708 CPUtime=0.28 cores=1,3,5,7
/proc/10322/task/10325/stat : 10325 (java) S 10320 10322 10194 0 -1 4202560 759 0 0 0 28 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10326] ppid=10320 vsize=13635708 CPUtime=0.27 cores=1,3,5,7
/proc/10322/task/10326/stat : 10326 (java) S 10320 10322 10194 0 -1 4202560 1069 0 0 0 27 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10327] ppid=10320 vsize=13635708 CPUtime=0.26 cores=1,3,5,7
/proc/10322/task/10327/stat : 10327 (java) S 10320 10322 10194 0 -1 4202560 1243 0 0 0 26 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10328] ppid=10320 vsize=13635708 CPUtime=0.24 cores=1,3,5,7
/proc/10322/task/10328/stat : 10328 (java) S 10320 10322 10194 0 -1 4202560 301 0 0 0 24 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10329] ppid=10320 vsize=13635708 CPUtime=0.26 cores=1,3,5,7
/proc/10322/task/10329/stat : 10329 (java) S 10320 10322 10194 0 -1 4202560 564 0 0 0 25 1 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10330] ppid=10320 vsize=13635708 CPUtime=0.24 cores=1,3,5,7
/proc/10322/task/10330/stat : 10330 (java) S 10320 10322 10194 0 -1 4202560 605 0 0 0 24 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10331] ppid=10320 vsize=13635708 CPUtime=0.25 cores=1,3,5,7
/proc/10322/task/10331/stat : 10331 (java) S 10320 10322 10194 0 -1 4202560 1240 0 0 0 25 0 0 0 15 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10332] ppid=10320 vsize=13635708 CPUtime=0.29 cores=1,3,5,7
/proc/10322/task/10332/stat : 10332 (java) S 10320 10322 10194 0 -1 4202560 1747 0 0 0 29 0 0 0 16 0 19 0 828173812 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10333] ppid=10320 vsize=13635708 CPUtime=11.26 cores=1,3,5,7
/proc/10322/task/10333/stat : 10333 (java) S 10320 10322 10194 0 -1 4202560 6261 0 0 0 1121 5 0 0 15 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10334] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10334/stat : 10334 (java) S 10320 10322 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10335] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10335/stat : 10335 (java) S 10320 10322 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828173813 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10336] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10336/stat : 10336 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10337] ppid=10320 vsize=13635708 CPUtime=0.46 cores=1,3,5,7
/proc/10322/task/10337/stat : 10337 (java) S 10320 10322 10194 0 -1 4202560 6657 0 0 0 46 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=10322/tid=10338] ppid=10320 vsize=13635708 CPUtime=0.68 cores=1,3,5,7
/proc/10322/task/10338/stat : 10338 (java) S 10320 10322 10194 0 -1 4202560 4246 0 0 0 68 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=10322/tid=10339] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10339/stat : 10339 (java) S 10320 10322 10194 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=10322/tid=10340] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10340/stat : 10340 (java) S 10320 10322 10194 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828173815 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=10322/tid=10341] ppid=10320 vsize=13635708 CPUtime=0 cores=1,3,5,7
/proc/10322/task/10341/stat : 10341 (java) S 10320 10322 10194 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 828173848 13962964992 40963 33554432000 1073741824 1073778376 140734410557632 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13635708

Child status: 143
Real time (s): 1797.75
CPU time (s): 1800.1
CPU user time (s): 1799.93
CPU system time (s): 0.174973
CPU usage (%): 100.131
Max. virtual memory (cumulated for all children) (KiB): 13637692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46808
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= 49480
involuntary context switches= 13321

runsolver used 9.70752 second user time and 23.6954 second system time

The end

Launcher Data 

Begin job on node148 at 2011-06-04 07:36:07
IDJOB=3458047
IDBENCH=48372
IDSOLVER=1952
FILE ID=node148/3458047-1307165767
RUNJOBID= node148-1307165225-10216
PBS_JOBID= 13508860
Free space on /tmp= 73896 MiB

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

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

MD5SUM BENCH= fc2cc3328b52c15b44db6557e5f99e21
RANDOM SEED=836428702

node148.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.854
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.70
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.854
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.75
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.854
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.854
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.75
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.854
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.854
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.854
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.854
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24820616 kB
Buffers:        256068 kB
Cached:         613460 kB
SwapCached:       7908 kB
Active:        7320020 kB
Inactive:       502364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24820616 kB
SwapTotal:    67111528 kB
SwapFree:     67056580 kB
Dirty:             540 kB
Writeback:           0 kB
AnonPages:     6951072 kB
Mapped:          52076 kB
Slab:           179296 kB
PageTables:      57960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 183827700 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= 73892 MiB
End job on node148 at 2011-06-04 08:06:07