Trace number 3458002

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.15 1797.74

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_4_15.opb
MD5SUM8b67f7a6443cbb8d169a20134c04d298
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.027995
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)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		12995394264
0.00/0.09	c Max memory 		13063553024
0.00/0.09	c Total memory 		13063553024
0.00/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3458002-1307164421.opb
0.11/0.11	c reading problem ... 
0.46/0.37	c ... done. Wall clock time 0.26s.
0.46/0.37	c #vars     2924
0.46/0.37	c #constraints  5651
0.46/0.37	c constraints type 
0.46/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2524
0.46/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
0.46/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.46/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2524
3.24/2.34	c cleaning 2502 clauses out of 5004 with flag 5004/5004
6.39/5.40	c cleaning 4274 clauses out of 8548 with flag 11050/11050
10.60/9.60	c cleaning 5625 clauses out of 11249 with flag 18025/18025
15.51/14.55	c cleaning 6804 clauses out of 13607 with flag 26008/26008
19.47/18.44	c cleaning 7904 clauses out of 15807 with flag 35012/35012
23.67/22.64	c cleaning 8948 clauses out of 17900 with flag 45009/45009
28.90/27.81	c cleaning 9473 clauses out of 18948 with flag 55005/55005
35.02/33.95	c cleaning 9735 clauses out of 19470 with flag 65000/65000
39.85/38.70	c cleaning 9868 clauses out of 19739 with flag 75004/75004
44.55/43.42	c cleaning 9939 clauses out of 19882 with flag 85015/85015
48.06/46.99	c cleaning 9973 clauses out of 19949 with flag 95021/95021
52.47/51.37	c cleaning 9977 clauses out of 19958 with flag 105003/105003
55.97/54.87	c cleaning 9987 clauses out of 19978 with flag 115000/115000
60.48/59.34	c cleaning 10003 clauses out of 20009 with flag 125018/125018
64.78/63.66	c cleaning 10003 clauses out of 20010 with flag 135022/135022
69.29/68.21	c cleaning 9993 clauses out of 19989 with flag 145004/145004
72.98/71.87	c cleaning 9999 clauses out of 20001 with flag 155009/155009
76.98/75.85	c cleaning 10004 clauses out of 20011 with flag 165018/165018
81.49/80.40	c cleaning 9994 clauses out of 19992 with flag 175003/175003
86.01/84.85	c cleaning 9999 clauses out of 20002 with flag 185007/185007
90.79/89.61	c cleaning 10000 clauses out of 20003 with flag 195007/195007
94.99/93.80	c cleaning 9996 clauses out of 19996 with flag 205000/205000
98.99/97.87	c cleaning 10000 clauses out of 20004 with flag 215004/215004
103.20/102.03	c cleaning 10013 clauses out of 20029 with flag 225029/225029
107.50/106.34	c cleaning 10001 clauses out of 20005 with flag 235018/235018
111.20/110.10	c cleaning 9999 clauses out of 20001 with flag 245015/245015
115.72/114.54	c cleaning 9997 clauses out of 19998 with flag 255011/255011
120.40/119.27	c cleaning 9993 clauses out of 19990 with flag 265000/265000
124.21/123.09	c cleaning 10000 clauses out of 20003 with flag 275006/275006
127.61/126.43	c cleaning 10007 clauses out of 20018 with flag 285021/285021
130.72/129.57	c cleaning 9993 clauses out of 19990 with flag 295000/295000
134.45/133.28	c cleaning 10007 clauses out of 20017 with flag 305020/305020
138.23/137.10	c cleaning 9996 clauses out of 19995 with flag 315005/315005
141.73/140.56	c cleaning 10005 clauses out of 20013 with flag 325019/325019
145.13/143.93	c cleaning 9996 clauses out of 19995 with flag 335006/335006
149.04/147.84	c cleaning 9998 clauses out of 20000 with flag 345007/345007
153.74/152.54	c cleaning 10009 clauses out of 20022 with flag 355027/355027
157.04/155.88	c cleaning 9996 clauses out of 19996 with flag 365010/365010
161.25/160.04	c cleaning 10007 clauses out of 20017 with flag 375027/375027
165.75/164.51	c cleaning 9995 clauses out of 19994 with flag 385011/385011
170.85/169.67	c cleaning 9992 clauses out of 19988 with flag 395000/395000
174.26/173.07	c cleaning 10016 clauses out of 20036 with flag 405040/405040
177.47/176.22	c cleaning 10005 clauses out of 20014 with flag 415034/415034
180.97/179.74	c cleaning 9988 clauses out of 19979 with flag 425004/425004
183.67/182.42	c cleaning 9991 clauses out of 19988 with flag 435001/435001
186.37/185.14	c cleaning 9998 clauses out of 20000 with flag 445004/445004
189.27/188.09	c cleaning 9997 clauses out of 20003 with flag 455005/455005
192.08/190.82	c cleaning 10013 clauses out of 20029 with flag 465028/465028
194.89/193.67	c cleaning 10004 clauses out of 20012 with flag 475024/475024
197.58/196.39	c cleaning 9996 clauses out of 19995 with flag 485011/485011
200.39/199.13	c cleaning 9995 clauses out of 19994 with flag 495006/495006
203.49/202.20	c cleaning 10010 clauses out of 20023 with flag 505030/505030
206.59/205.30	c cleaning 9996 clauses out of 19993 with flag 515010/515010
210.19/208.94	c cleaning 10002 clauses out of 20008 with flag 525021/525021
213.19/211.91	c cleaning 10003 clauses out of 20009 with flag 535024/535024
216.29/215.09	c cleaning 9998 clauses out of 20000 with flag 545018/545018
219.60/218.32	c cleaning 10003 clauses out of 20009 with flag 555025/555025
223.20/221.98	c cleaning 10005 clauses out of 20013 with flag 565032/565032
227.20/225.90	c cleaning 10018 clauses out of 20039 with flag 575063/575063
230.60/229.30	c cleaning 9984 clauses out of 19971 with flag 585013/585013
234.80/233.52	c cleaning 9990 clauses out of 19984 with flag 595010/595010
237.71/236.51	c cleaning 9992 clauses out of 19987 with flag 605003/605003
240.61/239.32	c cleaning 9994 clauses out of 19992 with flag 615000/615000
243.44/242.15	c cleaning 10012 clauses out of 20026 with flag 625028/625028
246.12/244.84	c cleaning 9993 clauses out of 19989 with flag 635003/635003
248.83/247.57	c cleaning 9995 clauses out of 19993 with flag 645000/645000
251.52/250.28	c cleaning 10003 clauses out of 20010 with flag 655012/655012
254.34/253.08	c cleaning 9998 clauses out of 19999 with flag 665004/665004
257.33/256.02	c cleaning 10001 clauses out of 20006 with flag 675009/675009
260.05/258.70	c cleaning 9997 clauses out of 19997 with flag 685001/685001
262.86/261.57	c cleaning 10009 clauses out of 20022 with flag 695023/695023
265.87/264.53	c cleaning 9997 clauses out of 19998 with flag 705008/705008
268.97/267.62	c cleaning 9995 clauses out of 19994 with flag 715001/715001
272.37/271.03	c cleaning 10000 clauses out of 20004 with flag 725006/725006
275.08/273.73	c cleaning 9998 clauses out of 19999 with flag 735001/735001
278.08/276.77	c cleaning 10005 clauses out of 20013 with flag 745013/745013
281.38/280.05	c cleaning 9999 clauses out of 20002 with flag 755007/755007
285.38/284.06	c cleaning 10011 clauses out of 20026 with flag 765030/765030
290.18/288.87	c cleaning 10023 clauses out of 20050 with flag 775065/775065
294.39/293.09	c cleaning 9979 clauses out of 19962 with flag 785000/785000
297.20/295.82	c cleaning 9990 clauses out of 19983 with flag 795000/795000
299.90/298.57	c cleaning 9999 clauses out of 20001 with flag 805008/805008
302.81/301.50	c cleaning 10007 clauses out of 20017 with flag 815023/815023
306.30/304.96	c cleaning 10003 clauses out of 20009 with flag 825022/825022
310.63/309.24	c cleaning 9994 clauses out of 19991 with flag 835007/835007
314.62/313.20	c cleaning 9996 clauses out of 19995 with flag 845005/845005
318.72/317.36	c cleaning 10023 clauses out of 20049 with flag 855055/855055
322.74/321.38	c cleaning 9986 clauses out of 19976 with flag 865005/865005
327.03/325.65	c cleaning 9993 clauses out of 19989 with flag 875004/875004
331.22/329.88	c cleaning 10014 clauses out of 20031 with flag 885039/885039
334.33/332.92	c cleaning 9994 clauses out of 19992 with flag 895014/895014
337.05/335.68	c cleaning 9994 clauses out of 19991 with flag 905007/905007
340.74/339.36	c cleaning 9997 clauses out of 19998 with flag 915008/915008
343.95/342.58	c cleaning 9997 clauses out of 19997 with flag 925004/925004
346.65/345.24	c cleaning 10012 clauses out of 20028 with flag 935032/935032
349.76/348.30	c cleaning 9995 clauses out of 19993 with flag 945009/945009
352.86/351.46	c cleaning 9998 clauses out of 19999 with flag 955010/955010
356.36/354.98	c cleaning 9995 clauses out of 19993 with flag 965002/965002
359.66/358.22	c cleaning 10004 clauses out of 20010 with flag 975014/975014
362.56/361.10	c cleaning 10000 clauses out of 20003 with flag 985011/985011
365.37/363.98	c cleaning 10001 clauses out of 20005 with flag 995013/995013
368.47/367.03	c cleaning 10010 clauses out of 20023 with flag 1005032/1005032
371.58/370.16	c cleaning 10013 clauses out of 20029 with flag 1015048/1015048
374.38/372.95	c cleaning 9992 clauses out of 19988 with flag 1025020/1025020
377.88/376.48	c cleaning 9987 clauses out of 19977 with flag 1035001/1035001
381.58/380.20	c cleaning 10002 clauses out of 20007 with flag 1045018/1045018
385.28/383.81	c cleaning 9998 clauses out of 19999 with flag 1055012/1055012
389.09/387.62	c cleaning 9993 clauses out of 19989 with flag 1065000/1065000
393.00/391.56	c cleaning 9997 clauses out of 19997 with flag 1075001/1075001
397.00/395.55	c cleaning 10003 clauses out of 20010 with flag 1085011/1085011
400.10/398.62	c cleaning 10003 clauses out of 20009 with flag 1095013/1095013
403.20/401.73	c cleaning 10010 clauses out of 20024 with flag 1105031/1105031
406.31/404.86	c cleaning 10007 clauses out of 20017 with flag 1115034/1115034
409.50/408.11	c cleaning 9987 clauses out of 19977 with flag 1125001/1125001
412.91/411.49	c cleaning 9995 clauses out of 19993 with flag 1135004/1135004
416.41/414.93	c cleaning 10020 clauses out of 20044 with flag 1145050/1145050
419.91/418.50	c cleaning 10018 clauses out of 20039 with flag 1155065/1155065
423.51/422.03	c cleaning 9977 clauses out of 19957 with flag 1165001/1165001
427.11/425.71	c cleaning 10005 clauses out of 20013 with flag 1175034/1175034
430.52/429.02	c cleaning 10000 clauses out of 20003 with flag 1185029/1185029
433.52/432.03	c cleaning 9985 clauses out of 19974 with flag 1195000/1195000
436.72/435.26	c cleaning 9995 clauses out of 19994 with flag 1205005/1205005
440.55/439.09	c cleaning 10003 clauses out of 20009 with flag 1215015/1215015
444.03/442.52	c cleaning 10006 clauses out of 20016 with flag 1225025/1225025
449.35/447.84	c cleaning 9998 clauses out of 20000 with flag 1235015/1235015
453.54/452.10	c cleaning 9999 clauses out of 20001 with flag 1245014/1245014
457.16/455.66	c cleaning 10011 clauses out of 20026 with flag 1255038/1255038
462.37/460.90	c cleaning 9998 clauses out of 20000 with flag 1265023/1265023
467.29/465.73	c cleaning 10008 clauses out of 20019 with flag 1275040/1275040
472.89/471.37	c cleaning 9989 clauses out of 19982 with flag 1285011/1285011
477.80/476.25	c cleaning 10016 clauses out of 20035 with flag 1295053/1295053
482.70/481.16	c cleaning 9983 clauses out of 19970 with flag 1305004/1305004
487.81/486.24	c cleaning 9993 clauses out of 19989 with flag 1315006/1315006
492.10/490.56	c cleaning 10020 clauses out of 20044 with flag 1325054/1325054
496.21/494.66	c cleaning 9989 clauses out of 19982 with flag 1335012/1335012
499.12/497.53	c cleaning 9992 clauses out of 19987 with flag 1345006/1345006
501.82/500.27	c cleaning 9993 clauses out of 19990 with flag 1355001/1355001
504.92/503.37	c cleaning 9997 clauses out of 19998 with flag 1365002/1365002
507.63/506.11	c cleaning 10004 clauses out of 20012 with flag 1375013/1375013
510.53/508.96	c cleaning 9996 clauses out of 19995 with flag 1385000/1385000
513.33/511.71	c cleaning 9999 clauses out of 20001 with flag 1395002/1395002
516.44/514.85	c cleaning 10009 clauses out of 20022 with flag 1405022/1405022
519.53/517.92	c cleaning 10006 clauses out of 20015 with flag 1415024/1415024
522.34/520.74	c cleaning 9999 clauses out of 20001 with flag 1425016/1425016
525.25/523.65	c cleaning 10001 clauses out of 20005 with flag 1435019/1435019
528.24/526.63	c cleaning 10000 clauses out of 20004 with flag 1445019/1445019
531.45/529.80	c cleaning 10012 clauses out of 20025 with flag 1455040/1455040
534.35/532.72	c cleaning 9989 clauses out of 19981 with flag 1465008/1465008
537.25/535.61	c cleaning 9994 clauses out of 19992 with flag 1475008/1475008
540.25/538.68	c cleaning 10001 clauses out of 20005 with flag 1485015/1485015
543.36/541.79	c cleaning 10016 clauses out of 20035 with flag 1495046/1495046
546.46/544.90	c cleaning 10003 clauses out of 20010 with flag 1505037/1505037
549.86/548.20	c cleaning 10009 clauses out of 20022 with flag 1515052/1515052
553.16/551.56	c cleaning 9982 clauses out of 19967 with flag 1525006/1525006
555.96/554.39	c cleaning 9990 clauses out of 19983 with flag 1535004/1535004
558.97/557.39	c cleaning 10002 clauses out of 20007 with flag 1545018/1545018
562.07/560.48	c cleaning 10014 clauses out of 20031 with flag 1555044/1555044
565.27/563.62	c cleaning 9990 clauses out of 19983 with flag 1565010/1565010
568.68/567.01	c cleaning 10004 clauses out of 20011 with flag 1575028/1575028
572.18/570.59	c cleaning 9993 clauses out of 19989 with flag 1585010/1585010
575.88/574.23	c cleaning 10000 clauses out of 20004 with flag 1595018/1595018
579.49/577.83	c cleaning 10009 clauses out of 20021 with flag 1605035/1605035
583.09/581.44	c cleaning 10015 clauses out of 20034 with flag 1615057/1615057
586.79/585.21	c cleaning 9984 clauses out of 19971 with flag 1625009/1625009
590.32/588.65	c cleaning 9991 clauses out of 19986 with flag 1635008/1635008
594.40/592.70	c cleaning 10012 clauses out of 20028 with flag 1645041/1645041
597.91/596.23	c cleaning 9997 clauses out of 20000 with flag 1655025/1655025
602.31/600.65	c cleaning 9987 clauses out of 19978 with flag 1665000/1665000
606.61/604.96	c cleaning 9994 clauses out of 19991 with flag 1675000/1675000
611.61/609.93	c cleaning 10015 clauses out of 20033 with flag 1685036/1685036
616.01/614.34	c cleaning 9994 clauses out of 19991 with flag 1695009/1695009
621.13/619.44	c cleaning 9997 clauses out of 19998 with flag 1705010/1705010
626.21/624.52	c cleaning 9999 clauses out of 20001 with flag 1715010/1715010
632.02/630.40	c cleaning 10017 clauses out of 20038 with flag 1725046/1725046
636.73/635.08	c cleaning 10012 clauses out of 20028 with flag 1735053/1735053
642.23/640.53	c cleaning 9982 clauses out of 19968 with flag 1745005/1745005
647.83/646.11	c cleaning 9995 clauses out of 19994 with flag 1755013/1755013
652.83/651.18	c cleaning 9994 clauses out of 19992 with flag 1765006/1765006
658.23/656.51	c cleaning 10015 clauses out of 20032 with flag 1775040/1775040
661.54/659.86	c cleaning 10003 clauses out of 20008 with flag 1785031/1785031
664.94/663.31	c cleaning 9998 clauses out of 19997 with flag 1795023/1795023
668.74/667.02	c cleaning 10001 clauses out of 20005 with flag 1805029/1805029
672.24/670.57	c cleaning 9988 clauses out of 19980 with flag 1815005/1815005
675.84/674.18	c cleaning 10019 clauses out of 20042 with flag 1825055/1825055
679.54/677.83	c cleaning 9995 clauses out of 19994 with flag 1835026/1835026
683.24/681.57	c cleaning 10000 clauses out of 20004 with flag 1845031/1845031
686.95/685.31	c cleaning 9997 clauses out of 19997 with flag 1855024/1855024
691.06/689.33	c cleaning 9987 clauses out of 19977 with flag 1865001/1865001
694.77/693.05	c cleaning 9996 clauses out of 19996 with flag 1875007/1875007
698.76/697.05	c cleaning 10032 clauses out of 20068 with flag 1885075/1885075
702.96/701.25	c cleaning 9979 clauses out of 19962 with flag 1895001/1895001
707.37/705.69	c cleaning 9994 clauses out of 19992 with flag 1905010/1905010
711.77/710.08	c cleaning 10004 clauses out of 20011 with flag 1915023/1915023
716.07/714.39	c cleaning 10005 clauses out of 20013 with flag 1925029/1925029
722.28/720.56	c cleaning 9988 clauses out of 19979 with flag 1935000/1935000
727.98/726.21	c cleaning 10000 clauses out of 20004 with flag 1945013/1945013
732.98/731.22	c cleaning 10033 clauses out of 20069 with flag 1955078/1955078
738.48/736.79	c cleaning 10002 clauses out of 20007 with flag 1965049/1965049
743.58/741.86	c cleaning 9987 clauses out of 19977 with flag 1975021/1975021
748.49/746.73	c cleaning 9997 clauses out of 19997 with flag 1985028/1985028
752.89/751.12	c cleaning 9990 clauses out of 19986 with flag 1995014/1995014
756.00/754.21	c cleaning 10005 clauses out of 20013 with flag 2005031/2005031
758.72/756.99	c cleaning 9997 clauses out of 19997 with flag 2015020/2015020
762.21/760.46	c cleaning 9994 clauses out of 19991 with flag 2025011/2025011
765.11/763.31	c cleaning 10001 clauses out of 20006 with flag 2035020/2035020
768.31/766.54	c cleaning 10008 clauses out of 20020 with flag 2045035/2045035
771.71/769.95	c cleaning 10000 clauses out of 20003 with flag 2055026/2055026
774.42/772.65	c cleaning 9992 clauses out of 19988 with flag 2065011/2065011
778.62/776.88	c cleaning 10003 clauses out of 20009 with flag 2075024/2075024
782.62/780.81	c cleaning 9997 clauses out of 19997 with flag 2085015/2085015
785.32/783.59	c cleaning 9995 clauses out of 19993 with flag 2095008/2095008
788.34/786.52	c cleaning 10007 clauses out of 20018 with flag 2105028/2105028
791.33/789.56	c cleaning 10007 clauses out of 20018 with flag 2115035/2115035
794.54/792.73	c cleaning 10003 clauses out of 20008 with flag 2125032/2125032
797.84/796.00	c cleaning 9986 clauses out of 19975 with flag 2135002/2135002
801.05/799.27	c cleaning 9999 clauses out of 20001 with flag 2145014/2145014
804.55/802.73	c cleaning 9995 clauses out of 19993 with flag 2155005/2155005
808.75/806.91	c cleaning 10006 clauses out of 20016 with flag 2165023/2165023
812.85/811.08	c cleaning 10001 clauses out of 20005 with flag 2175018/2175018
817.85/816.07	c cleaning 9998 clauses out of 19999 with flag 2185013/2185013
822.75/820.90	c cleaning 10004 clauses out of 20012 with flag 2195024/2195024
826.25/824.43	c cleaning 9993 clauses out of 19990 with flag 2205006/2205006
829.96/828.19	c cleaning 9998 clauses out of 19999 with flag 2215008/2215008
833.58/831.72	c cleaning 10003 clauses out of 20009 with flag 2225016/2225016
837.07/835.20	c cleaning 10001 clauses out of 20006 with flag 2235016/2235016
840.97/839.11	c cleaning 10010 clauses out of 20023 with flag 2245034/2245034
845.17/843.31	c cleaning 9998 clauses out of 19999 with flag 2255020/2255020
849.88/848.03	c cleaning 10002 clauses out of 20008 with flag 2265027/2265027
854.39/852.54	c cleaning 10013 clauses out of 20029 with flag 2275050/2275050
858.48/856.63	c cleaning 9985 clauses out of 19974 with flag 2285008/2285008
863.39/861.57	c cleaning 10002 clauses out of 20007 with flag 2295026/2295026
866.99/865.16	c cleaning 9992 clauses out of 19985 with flag 2305006/2305006
871.01/869.12	c cleaning 10008 clauses out of 20020 with flag 2315033/2315033
874.69/872.88	c cleaning 9988 clauses out of 19979 with flag 2325000/2325000
878.39/876.56	c cleaning 9994 clauses out of 19991 with flag 2335000/2335000
882.60/880.78	c cleaning 10000 clauses out of 20004 with flag 2345007/2345007
887.10/885.22	c cleaning 10003 clauses out of 20008 with flag 2355011/2355011
891.20/889.35	c cleaning 10027 clauses out of 20057 with flag 2365063/2365063
895.00/893.15	c cleaning 9995 clauses out of 19994 with flag 2375027/2375027
899.01/897.12	c cleaning 9991 clauses out of 19986 with flag 2385014/2385014
903.71/901.84	c cleaning 9997 clauses out of 19997 with flag 2395016/2395016
908.12/906.27	c cleaning 10007 clauses out of 20018 with flag 2405034/2405034
912.52/910.65	c cleaning 9998 clauses out of 19999 with flag 2415022/2415022
917.02/915.12	c cleaning 9990 clauses out of 19983 with flag 2425004/2425004
921.42/919.61	c cleaning 10002 clauses out of 20008 with flag 2435019/2435019
925.82/923.90	c cleaning 10006 clauses out of 20015 with flag 2445028/2445028
929.72/927.80	c cleaning 9999 clauses out of 20001 with flag 2455020/2455020
933.63/931.81	c cleaning 10001 clauses out of 20005 with flag 2465023/2465023
937.93/936.09	c cleaning 10012 clauses out of 20027 with flag 2475046/2475046
942.33/940.48	c cleaning 9983 clauses out of 19969 with flag 2485000/2485000
948.43/946.58	c cleaning 9995 clauses out of 19991 with flag 2495005/2495005
953.13/951.21	c cleaning 9997 clauses out of 19998 with flag 2505007/2505007
959.05/957.13	c cleaning 10019 clauses out of 20041 with flag 2515047/2515047
963.73/961.82	c cleaning 10008 clauses out of 20019 with flag 2525044/2525044
969.64/967.79	c cleaning 10019 clauses out of 20041 with flag 2535074/2535074
975.24/973.30	c cleaning 9975 clauses out of 19954 with flag 2545006/2545006
981.14/979.20	c cleaning 10015 clauses out of 20033 with flag 2555060/2555060
985.75/983.84	c cleaning 9989 clauses out of 19981 with flag 2565023/2565023
992.35/990.47	c cleaning 9985 clauses out of 19973 with flag 2575004/2575004
997.57/995.65	c cleaning 10019 clauses out of 20042 with flag 2585058/2585058
1002.45/1000.55	c cleaning 10008 clauses out of 20019 with flag 2595054/2595054
1007.26/1005.33	c cleaning 9977 clauses out of 19957 with flag 2605000/2605000
1014.16/1012.22	c cleaning 10024 clauses out of 20052 with flag 2615072/2615072
1020.68/1018.74	c cleaning 9984 clauses out of 19971 with flag 2625015/2625015
1025.36/1023.48	c cleaning 10008 clauses out of 20020 with flag 2635048/2635048
1030.16/1028.24	c cleaning 10000 clauses out of 20003 with flag 2645039/2645039
1034.67/1032.79	c cleaning 9996 clauses out of 19996 with flag 2655032/2655032
1038.07/1036.17	c cleaning 10002 clauses out of 20007 with flag 2665039/2665039
1041.37/1039.49	c cleaning 9982 clauses out of 19967 with flag 2675001/2675001
1044.78/1042.87	c cleaning 10002 clauses out of 20007 with flag 2685023/2685023
1048.27/1046.33	c cleaning 9993 clauses out of 19990 with flag 2695008/2695008
1051.78/1049.90	c cleaning 10008 clauses out of 20020 with flag 2705031/2705031
1055.38/1053.48	c cleaning 10014 clauses out of 20031 with flag 2715050/2715050
1058.98/1057.10	c cleaning 9986 clauses out of 19976 with flag 2725009/2725009
1062.68/1060.72	c cleaning 9993 clauses out of 19989 with flag 2735008/2735008
1066.58/1064.67	c cleaning 9995 clauses out of 19994 with flag 2745006/2745006
1070.48/1068.52	c cleaning 10022 clauses out of 20048 with flag 2755055/2755055
1074.49/1072.53	c cleaning 10019 clauses out of 20041 with flag 2765070/2765070
1078.59/1076.63	c cleaning 9986 clauses out of 19975 with flag 2775023/2775023
1082.59/1080.69	c cleaning 10001 clauses out of 20006 with flag 2785040/2785040
1086.71/1084.73	c cleaning 10000 clauses out of 20003 with flag 2795038/2795038
1091.29/1089.39	c cleaning 10005 clauses out of 20013 with flag 2805048/2805048
1096.70/1094.72	c cleaning 9988 clauses out of 19979 with flag 2815019/2815019
1102.21/1100.28	c cleaning 10001 clauses out of 20006 with flag 2825034/2825034
1107.82/1105.88	c cleaning 10015 clauses out of 20033 with flag 2835062/2835062
1113.92/1111.90	c cleaning 9986 clauses out of 19976 with flag 2845020/2845020
1119.52/1117.51	c cleaning 9984 clauses out of 19971 with flag 2855001/2855001
1125.42/1123.42	c cleaning 9998 clauses out of 19999 with flag 2865013/2865013
1131.12/1129.16	c cleaning 10014 clauses out of 20032 with flag 2875044/2875044
1138.23/1136.30	c cleaning 10006 clauses out of 20015 with flag 2885041/2885041
1144.73/1142.78	c cleaning 9993 clauses out of 19989 with flag 2895021/2895021
1150.63/1148.60	c cleaning 9995 clauses out of 19994 with flag 2905019/2905019
1155.63/1153.61	c cleaning 10007 clauses out of 20018 with flag 2915038/2915038
1160.83/1158.81	c cleaning 10027 clauses out of 20058 with flag 2925085/2925085
1168.64/1166.64	c cleaning 9972 clauses out of 19947 with flag 2935001/2935001
1177.04/1175.03	c cleaning 9987 clauses out of 19978 with flag 2945004/2945004
1185.44/1183.41	c cleaning 9995 clauses out of 19993 with flag 2955006/2955006
1194.15/1192.15	c cleaning 10020 clauses out of 20043 with flag 2965051/2965051
1202.16/1200.20	c cleaning 9991 clauses out of 19985 with flag 2975013/2975013
1210.45/1208.49	c cleaning 9999 clauses out of 20001 with flag 2985020/2985020
1217.56/1215.58	c cleaning 9990 clauses out of 19984 with flag 2995002/2995002
1222.46/1220.42	c cleaning 10024 clauses out of 20051 with flag 3005059/3005059
1225.96/1223.94	c cleaning 9982 clauses out of 19968 with flag 3015000/3015000
1230.67/1228.70	c cleaning 10005 clauses out of 20013 with flag 3025027/3025027
1235.69/1233.63	c cleaning 9995 clauses out of 19993 with flag 3035012/3035012
1238.90/1236.89	c cleaning 9996 clauses out of 19995 with flag 3045009/3045009
1242.10/1240.08	c cleaning 10003 clauses out of 20010 with flag 3055020/3055020
1245.00/1242.96	c cleaning 10000 clauses out of 20004 with flag 3065017/3065017
1248.11/1246.01	c cleaning 10013 clauses out of 20028 with flag 3075041/3075041
1250.91/1248.88	c cleaning 9996 clauses out of 19994 with flag 3085020/3085020
1253.81/1251.81	c cleaning 9987 clauses out of 19978 with flag 3095000/3095000
1256.91/1254.86	c cleaning 9994 clauses out of 19992 with flag 3105001/3105001
1260.12/1258.02	c cleaning 10001 clauses out of 20005 with flag 3115008/3115008
1263.22/1261.17	c cleaning 10004 clauses out of 20011 with flag 3125015/3125015
1266.22/1264.10	c cleaning 9995 clauses out of 19993 with flag 3135001/3135001
1269.22/1267.16	c cleaning 10009 clauses out of 20021 with flag 3145024/3145024
1272.42/1270.35	c cleaning 10018 clauses out of 20040 with flag 3155052/3155052
1275.73/1273.62	c cleaning 10003 clauses out of 20010 with flag 3165040/3165040
1279.03/1276.98	c cleaning 9982 clauses out of 19968 with flag 3175001/3175001
1282.65/1280.56	c cleaning 9995 clauses out of 19994 with flag 3185009/3185009
1285.63/1283.56	c cleaning 10001 clauses out of 20005 with flag 3195015/3195015
1288.64/1286.55	c cleaning 9993 clauses out of 19989 with flag 3205000/3205000
1291.74/1289.67	c cleaning 10007 clauses out of 20018 with flag 3215022/3215022
1295.04/1292.90	c cleaning 9994 clauses out of 19992 with flag 3225003/3225003
1298.34/1296.28	c cleaning 10014 clauses out of 20032 with flag 3235037/3235037
1301.84/1299.75	c cleaning 9994 clauses out of 19991 with flag 3245010/3245010
1305.44/1303.31	c cleaning 10011 clauses out of 20026 with flag 3255039/3255039
1309.07/1306.98	c cleaning 10001 clauses out of 20006 with flag 3265030/3265030
1312.85/1310.71	c cleaning 9988 clauses out of 19980 with flag 3275005/3275005
1316.65/1314.52	c cleaning 10001 clauses out of 20005 with flag 3285018/3285018
1319.85/1317.79	c cleaning 9999 clauses out of 20001 with flag 3295015/3295015
1323.15/1321.05	c cleaning 9992 clauses out of 19987 with flag 3305000/3305000
1326.56/1324.47	c cleaning 10024 clauses out of 20051 with flag 3315056/3315056
1330.06/1327.90	c cleaning 10006 clauses out of 20016 with flag 3325045/3325045
1333.46/1331.39	c cleaning 9987 clauses out of 19978 with flag 3335013/3335013
1337.06/1334.90	c cleaning 10009 clauses out of 20021 with flag 3345043/3345043
1340.77/1338.61	c cleaning 9990 clauses out of 19983 with flag 3355014/3355014
1344.47/1342.34	c cleaning 10008 clauses out of 20020 with flag 3365041/3365041
1348.17/1346.09	c cleaning 9996 clauses out of 19996 with flag 3375025/3375025
1352.08/1349.90	c cleaning 10012 clauses out of 20027 with flag 3385052/3385052
1355.88/1353.79	c cleaning 9992 clauses out of 19988 with flag 3395025/3395025
1359.88/1357.79	c cleaning 10028 clauses out of 20059 with flag 3405088/3405088
1363.88/1361.76	c cleaning 9990 clauses out of 19983 with flag 3415040/3415040
1368.09/1365.96	c cleaning 10019 clauses out of 20041 with flag 3425088/3425088
1372.29/1370.19	c cleaning 9974 clauses out of 19952 with flag 3435018/3435018
1375.69/1373.55	c cleaning 9995 clauses out of 19994 with flag 3445034/3445034
1379.59/1377.42	c cleaning 9982 clauses out of 19968 with flag 3455003/3455003
1384.60/1382.46	c cleaning 10007 clauses out of 20018 with flag 3465035/3465035
1389.90/1387.73	c cleaning 9986 clauses out of 19976 with flag 3475000/3475000
1394.81/1392.67	c cleaning 9993 clauses out of 19990 with flag 3485000/3485000
1399.41/1397.29	c cleaning 10014 clauses out of 20031 with flag 3495034/3495034
1403.61/1401.44	c cleaning 10024 clauses out of 20051 with flag 3505068/3505068
1409.81/1407.62	c cleaning 9984 clauses out of 19971 with flag 3515012/3515012
1415.83/1413.63	c cleaning 9999 clauses out of 20002 with flag 3525027/3525027
1421.12/1418.94	c cleaning 10014 clauses out of 20032 with flag 3535056/3535056
1426.32/1424.16	c cleaning 9998 clauses out of 20000 with flag 3545038/3545038
1431.72/1429.55	c cleaning 9981 clauses out of 19965 with flag 3555001/3555001
1437.42/1435.27	c cleaning 10005 clauses out of 20013 with flag 3565030/3565030
1443.13/1440.96	c cleaning 10009 clauses out of 20021 with flag 3575043/3575043
1449.43/1447.28	c cleaning 9988 clauses out of 19980 with flag 3585011/3585011
1455.33/1453.14	c cleaning 10024 clauses out of 20051 with flag 3595070/3595070
1461.83/1459.60	c cleaning 9977 clauses out of 19957 with flag 3605000/3605000
1468.03/1465.84	c cleaning 9997 clauses out of 19997 with flag 3615017/3615017
1473.53/1471.38	c cleaning 10022 clauses out of 20048 with flag 3625065/3625065
1480.84/1478.63	c cleaning 10000 clauses out of 20004 with flag 3635043/3635043
1487.14/1484.92	c cleaning 10027 clauses out of 20057 with flag 3645096/3645096
1493.74/1491.57	c cleaning 9988 clauses out of 19979 with flag 3655045/3655045
1497.85/1495.64	c cleaning 9972 clauses out of 19947 with flag 3665001/3665001
1501.75/1499.53	c cleaning 9998 clauses out of 20000 with flag 3675026/3675026
1505.45/1503.28	c cleaning 9986 clauses out of 19976 with flag 3685000/3685000
1509.26/1507.03	c cleaning 10010 clauses out of 20024 with flag 3695034/3695034
1513.26/1511.03	c cleaning 9989 clauses out of 19981 with flag 3705001/3705001
1517.86/1515.68	c cleaning 10014 clauses out of 20031 with flag 3715040/3715040
1522.36/1520.15	c cleaning 9993 clauses out of 19989 with flag 3725012/3725012
1526.98/1524.75	c cleaning 9998 clauses out of 20000 with flag 3735016/3735016
1532.17/1529.98	c cleaning 9994 clauses out of 19992 with flag 3745006/3745006
1537.07/1534.83	c cleaning 9994 clauses out of 19992 with flag 3755000/3755000
1542.07/1539.84	c cleaning 10034 clauses out of 20071 with flag 3765073/3765073
1547.48/1545.29	c cleaning 9997 clauses out of 19997 with flag 3775033/3775033
1553.68/1551.44	c cleaning 9993 clauses out of 19989 with flag 3785022/3785022
1559.58/1557.34	c cleaning 9987 clauses out of 19978 with flag 3795004/3795004
1564.48/1562.24	c cleaning 9998 clauses out of 19999 with flag 3805012/3805012
1569.59/1567.31	c cleaning 10008 clauses out of 20020 with flag 3815031/3815031
1575.09/1572.82	c cleaning 10001 clauses out of 20006 with flag 3825025/3825025
1579.50/1577.23	c cleaning 9994 clauses out of 19992 with flag 3835012/3835012
1584.22/1581.96	c cleaning 9998 clauses out of 19999 with flag 3845013/3845013
1589.40/1587.12	c cleaning 9992 clauses out of 19988 with flag 3855000/3855000
1595.70/1593.43	c cleaning 9997 clauses out of 19998 with flag 3865002/3865002
1602.92/1600.65	c cleaning 10031 clauses out of 20066 with flag 3875067/3875067
1608.11/1605.88	c cleaning 9993 clauses out of 19989 with flag 3885021/3885021
1615.41/1613.17	c cleaning 9986 clauses out of 19975 with flag 3895000/3895000
1621.21/1618.91	c cleaning 9996 clauses out of 19995 with flag 3905006/3905006
1629.61/1627.38	c cleaning 9999 clauses out of 20002 with flag 3915009/3915009
1638.13/1635.88	c cleaning 10012 clauses out of 20027 with flag 3925033/3925033
1644.42/1642.15	c cleaning 9989 clauses out of 19982 with flag 3935000/3935000
1651.62/1649.31	c cleaning 10033 clauses out of 20070 with flag 3945077/3945077
1659.82/1657.53	c cleaning 9983 clauses out of 19969 with flag 3955009/3955009
1667.62/1665.39	c cleaning 10003 clauses out of 20009 with flag 3965032/3965032
1674.63/1672.35	c cleaning 10019 clauses out of 20042 with flag 3975068/3975068
1680.33/1678.05	c cleaning 10004 clauses out of 20011 with flag 3985056/3985056
1685.23/1682.94	c cleaning 9983 clauses out of 19970 with flag 3995019/3995019
1689.23/1686.93	c cleaning 9999 clauses out of 20002 with flag 4005034/4005034
1692.63/1690.31	c cleaning 9991 clauses out of 19985 with flag 4015016/4015016
1696.03/1693.79	c cleaning 10008 clauses out of 20020 with flag 4025042/4025042
1700.03/1697.74	c cleaning 10002 clauses out of 20008 with flag 4035038/4035038
1704.44/1702.19	c cleaning 9990 clauses out of 19984 with flag 4045016/4045016
1708.24/1705.96	c cleaning 9999 clauses out of 20002 with flag 4055024/4055024
1713.04/1710.70	c cleaning 9988 clauses out of 19979 with flag 4065000/4065000
1718.35/1716.11	c cleaning 9994 clauses out of 19992 with flag 4075001/4075001
1723.05/1720.73	c cleaning 10017 clauses out of 20037 with flag 4085040/4085040
1728.05/1725.75	c cleaning 10021 clauses out of 20043 with flag 4095063/4095063
1733.45/1731.15	c cleaning 9986 clauses out of 19976 with flag 4105017/4105017
1738.06/1735.72	c cleaning 9988 clauses out of 19980 with flag 4115007/4115007
1743.26/1740.97	c cleaning 9999 clauses out of 20002 with flag 4125017/4125017
1748.36/1746.02	c cleaning 9991 clauses out of 19986 with flag 4135000/4135000
1753.46/1751.11	c cleaning 10015 clauses out of 20034 with flag 4145039/4145039
1757.86/1755.54	c cleaning 10013 clauses out of 20029 with flag 4155049/4155049
1763.87/1761.53	c cleaning 9985 clauses out of 19974 with flag 4165007/4165007
1769.57/1767.22	c cleaning 9990 clauses out of 19983 with flag 4175001/4175001
1775.07/1772.79	c cleaning 10008 clauses out of 20019 with flag 4185027/4185027
1781.47/1779.14	c cleaning 10004 clauses out of 20012 with flag 4195028/4195028
1787.57/1785.23	c cleaning 10013 clauses out of 20029 with flag 4205049/4205049
1793.88/1791.52	c cleaning 9998 clauses out of 19999 with flag 4215032/4215032
1798.80/1796.45	c cleaning 9998 clauses out of 19999 with flag 4225030/4225030
1800.09/1797.72	c starts		: 253
1800.09/1797.72	c conflicts		: 4228355
1800.09/1797.72	c decisions		: 12914964
1800.09/1797.72	c propagations		: 125490431
1800.09/1797.72	c inspects		: 4246537743
1800.09/1797.72	c shortcuts		: 0
1800.09/1797.72	c learnt literals	: 0
1800.09/1797.72	c learnt binary clauses	: 0
1800.09/1797.72	c learnt ternary clauses	: 17
1800.09/1797.72	c learnt constraints	: 4228355
1800.09/1797.72	c ignored constraints	: 0
1800.09/1797.72	c root simplifications	: 0
1800.09/1797.72	c removed literals (reason simplification)	: 25390382
1800.09/1797.72	c reason swapping (by a shorter reason)	: 0
1800.09/1797.72	c Calls to reduceDB	: 424
1800.09/1797.72	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.72	c number of learned constraints concerned by reduction	: 0
1800.09/1797.72	c number of learning phase by resolution	: 0
1800.09/1797.72	c number of learning phase by cutting planes	: 0
1800.09/1797.72	c speed (assignments/second)	: 69819.73951636549
1800.09/1797.72	c non guided choices	2711
1800.09/1797.73	c learnt constraints type 
1800.09/1797.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13353
1800.09/1797.73	c constraints type 
1800.09/1797.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2524
1800.09/1797.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.09/1797.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.09/1797.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2524
1800.09/1797.73	s UNKNOWN
1800.09/1797.73	c Total wall clock time (in seconds): 1797.617

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 2.02 2.00 2/523 4544
/proc/meminfo: memFree=22958780/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/4544/stat : 4544 (java) R 4542 4544 4512 0 -1 4202496 1018 0 0 0 0 0 0 0 21 0 1 0 808857964 23580672 761 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 47431058768544 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4544/statm: 5757 780 577 9 0 124 0
[pid=4544/tid=4545] ppid=4542 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 6048 0 1 0 0 0 0 0 17 0 2 0 808857964 13850947584 6864 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.113685 s]
/proc/loadavg: 1.92 2.02 2.00 2/523 4544
/proc/meminfo: memFree=22958780/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=13622000 CPUtime=0.11 cores=1,3,5,7
/proc/4544/stat : 4544 (java) S 4542 4544 4512 0 -1 4202496 15640 0 1 0 9 2 0 0 21 0 18 0 808857964 13948928000 15306 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4544/statm: 3405500 15308 2105 9 0 3396234 0
[pid=4544/tid=4545] ppid=4542 vsize=13622000 CPUtime=0.09 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 13748 0 1 0 8 1 0 0 22 0 18 0 808857964 13948928000 15309 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 47431060424723 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622000

[startup+0.200672 s]
/proc/loadavg: 1.92 2.02 2.00 2/523 4544
/proc/meminfo: memFree=22958780/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=13622656 CPUtime=0.24 cores=1,3,5,7
/proc/4544/stat : 4544 (java) S 4542 4544 4512 0 -1 4202496 16470 0 1 0 22 2 0 0 21 0 18 0 808857964 13949599744 16135 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4544/statm: 3405664 16135 2168 9 0 3396398 0
[pid=4544/tid=4545] ppid=4542 vsize=13622656 CPUtime=0.17 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 14383 0 1 0 16 1 0 0 22 0 18 0 808857964 13949599744 16135 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13622656

[startup+0.306656 s]
/proc/loadavg: 1.92 2.02 2.00 2/523 4544
/proc/meminfo: memFree=22958780/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=13624568 CPUtime=0.46 cores=1,3,5,7
/proc/4544/stat : 4544 (java) S 4542 4544 4512 0 -1 4202496 19209 0 1 0 44 2 0 0 21 0 18 0 808857964 13951557632 18586 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4544/statm: 3406142 18591 2212 9 0 3396876 0
[pid=4544/tid=4545] ppid=4542 vsize=13624568 CPUtime=0.29 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 15770 0 1 0 27 2 0 0 22 0 18 0 808857964 13951557632 18591 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 46912505587934 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13624568

[startup+0.700606 s]
/proc/loadavg: 1.92 2.02 2.00 2/523 4544
/proc/meminfo: memFree=22958780/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=13636824 CPUtime=1.49 cores=1,3,5,7
/proc/4544/stat : 4544 (java) S 4542 4544 4512 0 -1 4202496 29622 0 1 0 145 4 0 0 21 0 19 0 808857964 13964107776 26120 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4544/statm: 3409206 26120 2234 9 0 3399940 0
[pid=4544/tid=4545] ppid=4542 vsize=13636824 CPUtime=0.67 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 18073 0 1 0 65 2 0 0 25 0 19 0 808857964 13964107776 26120 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 46912505761163 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13636824

[startup+1.50144 s]
/proc/loadavg: 1.92 2.02 2.00 3/563 4587
/proc/meminfo: memFree=22633724/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=13636824 CPUtime=2.41 cores=1,3,5,7
/proc/4544/stat : 4544 (java) S 4542 4544 4512 0 -1 4202496 30955 0 1 0 237 4 0 0 21 0 19 0 808857964 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4544/statm: 3409206 27452 2241 9 0 3399940 0
[pid=4544/tid=4545] ppid=4542 vsize=13636824 CPUtime=1.48 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 19379 0 1 0 145 3 0 0 18 0 19 0 808857964 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 46912505843776 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4544/tid=4553] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4553/stat : 4553 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808857967 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4554] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4554/stat : 4554 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 808857967 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4555] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4555/stat : 4555 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 808857967 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4556] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4556/stat : 4556 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 808857967 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4557] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4557/stat : 4557 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 808857967 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4558] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4558/stat : 4558 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 808857967 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4559] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4559/stat : 4559 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 808857967 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4560] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4560/stat : 4560 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808857967 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4562] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4562/stat : 4562 (java) S 4542 4544 4512 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 808857968 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 0 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4571] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4571/stat : 4571 (java) S 4542 4544 4512 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 808857968 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4572] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4572/stat : 4572 (java) S 4542 4544 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 808857968 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4576] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4576/stat : 4576 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808857970 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522121137 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4577] ppid=4542 vsize=13636824 CPUtime=0.41 cores=1,3,5,7
/proc/4544/task/4577/stat : 4577 (java) S 4542 4544 4512 0 -1 4202560 4727 0 0 0 41 0 0 0 15 0 19 0 808857970 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4578] ppid=4542 vsize=13636824 CPUtime=0.49 cores=1,3,5,7
/proc/4544/task/4578/stat : 4578 (java) S 4542 4544 4512 0 -1 4202560 5688 0 0 0 49 0 0 0 15 0 19 0 808857970 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4579] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4579/stat : 4579 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808857970 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4580] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4580/stat : 4580 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808857970 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4586] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4586/stat : 4586 (java) S 4542 4544 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 808858002 13964107776 27452 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 13636824

[startup+3.10116 s]
/proc/loadavg: 1.92 2.02 2.00 3/563 4587
/proc/meminfo: memFree=22624052/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=13636824 CPUtime=4.06 cores=1,3,5,7
/proc/4544/stat : 4544 (java) S 4542 4544 4512 0 -1 4202496 35725 0 1 0 401 5 0 0 21 0 19 0 808857964 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4544/statm: 3409206 32213 2267 9 0 3399940 0
[pid=4544/tid=4545] ppid=4542 vsize=13636824 CPUtime=3.05 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 20507 0 1 0 302 3 0 0 20 0 19 0 808857964 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 46912505915869 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4544/tid=4553] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4553/stat : 4553 (java) S 4542 4544 4512 0 -1 4202560 816 0 0 0 0 0 0 0 18 0 19 0 808857967 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4554] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4554/stat : 4554 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808857967 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4555] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4555/stat : 4555 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808857967 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4556] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4556/stat : 4556 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808857967 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4557] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4557/stat : 4557 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808857967 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4558] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4558/stat : 4558 (java) S 4542 4544 4512 0 -1 4202560 433 0 0 0 0 0 0 0 18 0 19 0 808857967 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4559] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4559/stat : 4559 (java) S 4542 4544 4512 0 -1 4202560 586 0 0 0 0 0 0 0 18 0 19 0 808857967 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4560] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4560/stat : 4560 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 808857967 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4562] ppid=4542 vsize=13636824 CPUtime=0.02 cores=1,3,5,7
/proc/4544/task/4562/stat : 4562 (java) S 4542 4544 4512 0 -1 4202560 1803 0 0 0 2 0 0 0 15 0 19 0 808857968 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 0 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4571] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4571/stat : 4571 (java) S 4542 4544 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808857968 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4572] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4572/stat : 4572 (java) S 4542 4544 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808857968 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4576] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4576/stat : 4576 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808857970 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522121137 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4577] ppid=4542 vsize=13636824 CPUtime=0.42 cores=1,3,5,7
/proc/4544/task/4577/stat : 4577 (java) S 4542 4544 4512 0 -1 4202560 4728 0 0 0 42 0 0 0 15 0 19 0 808857970 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4578] ppid=4542 vsize=13636824 CPUtime=0.52 cores=1,3,5,7
/proc/4544/task/4578/stat : 4578 (java) S 4542 4544 4512 0 -1 4202560 5696 0 0 0 52 0 0 0 15 0 19 0 808857970 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4579] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4579/stat : 4579 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808857970 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4580] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4580/stat : 4580 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808857970 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4586] ppid=4542 vsize=13636824 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4586/stat : 4586 (java) S 4542 4544 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 808858002 13964107776 32213 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13636824

[startup+6.30158 s]
/proc/loadavg: 1.93 2.02 2.00 3/563 4587
/proc/meminfo: memFree=22585348/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=13631552 CPUtime=7.3 cores=1,3,5,7
/proc/4544/stat : 4544 (java) S 4542 4544 4512 0 -1 4202496 39550 0 1 0 725 5 0 0 21 0 19 0 808857964 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4544/statm: 3407888 34507 2267 9 0 3398622 0
[pid=4544/tid=4545] ppid=4542 vsize=13631552 CPUtime=6.22 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 20511 0 1 0 619 3 0 0 25 0 19 0 808857964 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 46912505779476 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4544/tid=4553] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4553/stat : 4553 (java) S 4542 4544 4512 0 -1 4202560 1942 0 0 0 0 0 0 0 18 0 19 0 808857967 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4554] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4554/stat : 4554 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808857967 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4555] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4555/stat : 4555 (java) S 4542 4544 4512 0 -1 4202560 1099 0 0 0 0 0 0 0 16 0 19 0 808857967 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4556] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4556/stat : 4556 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808857967 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4557] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4557/stat : 4557 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808857967 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4558] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4558/stat : 4558 (java) S 4542 4544 4512 0 -1 4202560 433 0 0 0 0 0 0 0 18 0 19 0 808857967 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4559] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4559/stat : 4559 (java) S 4542 4544 4512 0 -1 4202560 586 0 0 0 0 0 0 0 18 0 19 0 808857967 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4560] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4560/stat : 4560 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 808857967 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4562] ppid=4542 vsize=13631552 CPUtime=0.04 cores=1,3,5,7
/proc/4544/task/4562/stat : 4562 (java) S 4542 4544 4512 0 -1 4202560 3388 0 0 0 4 0 0 0 15 0 19 0 808857968 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 0 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4571] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4571/stat : 4571 (java) S 4542 4544 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808857968 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4572] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4572/stat : 4572 (java) S 4542 4544 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808857968 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4576] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4576/stat : 4576 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808857970 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522121137 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4577] ppid=4542 vsize=13631552 CPUtime=0.44 cores=1,3,5,7
/proc/4544/task/4577/stat : 4577 (java) S 4542 4544 4512 0 -1 4202560 4738 0 0 0 44 0 0 0 15 0 19 0 808857970 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4578] ppid=4542 vsize=13631552 CPUtime=0.54 cores=1,3,5,7
/proc/4544/task/4578/stat : 4578 (java) S 4542 4544 4512 0 -1 4202560 5698 0 0 0 54 0 0 0 15 0 19 0 808857970 13958709248 34507 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0

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

[pid=4544/tid=4558] ppid=4542 vsize=13631552 CPUtime=0.22 cores=1,3,5,7
/proc/4544/task/4558/stat : 4558 (java) S 4542 4544 4512 0 -1 4202560 471 0 0 0 22 0 0 0 15 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4559] ppid=4542 vsize=13631552 CPUtime=0.2 cores=1,3,5,7
/proc/4544/task/4559/stat : 4559 (java) S 4542 4544 4512 0 -1 4202560 1256 0 0 0 20 0 0 0 16 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4560] ppid=4542 vsize=13631552 CPUtime=0.27 cores=1,3,5,7
/proc/4544/task/4560/stat : 4560 (java) S 4542 4544 4512 0 -1 4202560 51 0 0 0 27 0 0 0 16 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4562] ppid=4542 vsize=13631552 CPUtime=10.88 cores=1,3,5,7
/proc/4544/task/4562/stat : 4562 (java) S 4542 4544 4512 0 -1 4202560 6664 0 0 0 1083 5 0 0 15 0 19 0 808857968 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 0 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4571] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4571/stat : 4571 (java) S 4542 4544 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808857968 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4572] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4572/stat : 4572 (java) S 4542 4544 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808857968 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4576] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4576/stat : 4576 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808857970 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522121137 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4577] ppid=4542 vsize=13631552 CPUtime=0.45 cores=1,3,5,7
/proc/4544/task/4577/stat : 4577 (java) S 4542 4544 4512 0 -1 4202560 4739 0 0 0 45 0 0 0 15 0 19 0 808857970 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4578] ppid=4542 vsize=13631552 CPUtime=0.68 cores=1,3,5,7
/proc/4544/task/4578/stat : 4578 (java) S 4542 4544 4512 0 -1 4202560 5718 0 0 0 68 0 0 0 15 0 19 0 808857970 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4579] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4579/stat : 4579 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808857970 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4580] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4580/stat : 4580 (java) S 4542 4544 4512 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 808857970 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4586] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4586/stat : 4586 (java) S 4542 4544 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 808858002 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.62
Current children cumulated vsize (KiB) 13631552

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/563 4636
/proc/meminfo: memFree=22132472/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=13631552 CPUtime=1724.65 cores=1,3,5,7
/proc/4544/stat : 4544 (java) S 4542 4544 4512 0 -1 4202496 47024 0 1 0 172450 15 0 0 21 0 19 0 808857964 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4544/statm: 3407888 41363 2268 9 0 3398622 0
[pid=4544/tid=4545] ppid=4542 vsize=13631552 CPUtime=1710.14 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 20917 0 1 0 171010 4 0 0 25 0 19 0 808857964 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 46912505898627 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4544/tid=4553] ppid=4542 vsize=13631552 CPUtime=0.28 cores=1,3,5,7
/proc/4544/task/4553/stat : 4553 (java) S 4542 4544 4512 0 -1 4202560 2370 0 0 0 28 0 0 0 15 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4554] ppid=4542 vsize=13631552 CPUtime=0.25 cores=1,3,5,7
/proc/4544/task/4554/stat : 4554 (java) S 4542 4544 4512 0 -1 4202560 151 0 0 0 25 0 0 0 15 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4555] ppid=4542 vsize=13631552 CPUtime=0.27 cores=1,3,5,7
/proc/4544/task/4555/stat : 4555 (java) S 4542 4544 4512 0 -1 4202560 1862 0 0 0 27 0 0 0 15 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4556] ppid=4542 vsize=13631552 CPUtime=0.26 cores=1,3,5,7
/proc/4544/task/4556/stat : 4556 (java) S 4542 4544 4512 0 -1 4202560 290 0 0 0 26 0 0 0 15 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4557] ppid=4542 vsize=13631552 CPUtime=0.25 cores=1,3,5,7
/proc/4544/task/4557/stat : 4557 (java) S 4542 4544 4512 0 -1 4202560 1282 0 0 0 25 0 0 0 15 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4558] ppid=4542 vsize=13631552 CPUtime=0.23 cores=1,3,5,7
/proc/4544/task/4558/stat : 4558 (java) S 4542 4544 4512 0 -1 4202560 471 0 0 0 23 0 0 0 15 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4559] ppid=4542 vsize=13631552 CPUtime=0.21 cores=1,3,5,7
/proc/4544/task/4559/stat : 4559 (java) S 4542 4544 4512 0 -1 4202560 1256 0 0 0 21 0 0 0 16 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4560] ppid=4542 vsize=13631552 CPUtime=0.28 cores=1,3,5,7
/proc/4544/task/4560/stat : 4560 (java) S 4542 4544 4512 0 -1 4202560 51 0 0 0 28 0 0 0 16 0 19 0 808857967 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4562] ppid=4542 vsize=13631552 CPUtime=11.25 cores=1,3,5,7
/proc/4544/task/4562/stat : 4562 (java) S 4542 4544 4512 0 -1 4202560 6668 0 0 0 1119 6 0 0 15 0 19 0 808857968 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 0 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4571] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4571/stat : 4571 (java) S 4542 4544 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808857968 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4572] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4572/stat : 4572 (java) S 4542 4544 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808857968 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4576] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4576/stat : 4576 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808857970 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522121137 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4577] ppid=4542 vsize=13631552 CPUtime=0.45 cores=1,3,5,7
/proc/4544/task/4577/stat : 4577 (java) S 4542 4544 4512 0 -1 4202560 4739 0 0 0 45 0 0 0 15 0 19 0 808857970 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4578] ppid=4542 vsize=13631552 CPUtime=0.68 cores=1,3,5,7
/proc/4544/task/4578/stat : 4578 (java) S 4542 4544 4512 0 -1 4202560 5718 0 0 0 68 0 0 0 15 0 19 0 808857970 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4579] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4579/stat : 4579 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808857970 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4580] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4580/stat : 4580 (java) S 4542 4544 4512 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 808857970 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4586] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4586/stat : 4586 (java) S 4542 4544 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 808858002 13958709248 41363 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.65
Current children cumulated vsize (KiB) 13631552

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/563 4637
/proc/meminfo: memFree=22131076/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=13631552 CPUtime=1784.67 cores=1,3,5,7
/proc/4544/stat : 4544 (java) S 4542 4544 4512 0 -1 4202496 47041 0 1 0 178452 15 0 0 21 0 19 0 808857964 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4544/statm: 3407888 41365 2268 9 0 3398622 0
[pid=4544/tid=4545] ppid=4542 vsize=13631552 CPUtime=1769.81 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 20928 0 1 0 176977 4 0 0 25 0 19 0 808857964 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 46912505898622 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4544/tid=4553] ppid=4542 vsize=13631552 CPUtime=0.29 cores=1,3,5,7
/proc/4544/task/4553/stat : 4553 (java) S 4542 4544 4512 0 -1 4202560 2370 0 0 0 29 0 0 0 16 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4554] ppid=4542 vsize=13631552 CPUtime=0.25 cores=1,3,5,7
/proc/4544/task/4554/stat : 4554 (java) S 4542 4544 4512 0 -1 4202560 151 0 0 0 25 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4555] ppid=4542 vsize=13631552 CPUtime=0.27 cores=1,3,5,7
/proc/4544/task/4555/stat : 4555 (java) S 4542 4544 4512 0 -1 4202560 1862 0 0 0 27 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4556] ppid=4542 vsize=13631552 CPUtime=0.27 cores=1,3,5,7
/proc/4544/task/4556/stat : 4556 (java) S 4542 4544 4512 0 -1 4202560 291 0 0 0 27 0 0 0 16 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4557] ppid=4542 vsize=13631552 CPUtime=0.25 cores=1,3,5,7
/proc/4544/task/4557/stat : 4557 (java) S 4542 4544 4512 0 -1 4202560 1282 0 0 0 25 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4558] ppid=4542 vsize=13631552 CPUtime=0.23 cores=1,3,5,7
/proc/4544/task/4558/stat : 4558 (java) S 4542 4544 4512 0 -1 4202560 471 0 0 0 23 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4559] ppid=4542 vsize=13631552 CPUtime=0.22 cores=1,3,5,7
/proc/4544/task/4559/stat : 4559 (java) S 4542 4544 4512 0 -1 4202560 1257 0 0 0 22 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4560] ppid=4542 vsize=13631552 CPUtime=0.29 cores=1,3,5,7
/proc/4544/task/4560/stat : 4560 (java) S 4542 4544 4512 0 -1 4202560 51 0 0 0 29 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4562] ppid=4542 vsize=13631552 CPUtime=11.55 cores=1,3,5,7
/proc/4544/task/4562/stat : 4562 (java) S 4542 4544 4512 0 -1 4202560 6670 0 0 0 1149 6 0 0 15 0 19 0 808857968 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 0 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4571] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4571/stat : 4571 (java) S 4542 4544 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808857968 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4572] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4572/stat : 4572 (java) S 4542 4544 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808857968 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4576] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4576/stat : 4576 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808857970 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522121137 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4577] ppid=4542 vsize=13631552 CPUtime=0.45 cores=1,3,5,7
/proc/4544/task/4577/stat : 4577 (java) S 4542 4544 4512 0 -1 4202560 4739 0 0 0 45 0 0 0 15 0 19 0 808857970 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4578] ppid=4542 vsize=13631552 CPUtime=0.68 cores=1,3,5,7
/proc/4544/task/4578/stat : 4578 (java) S 4542 4544 4512 0 -1 4202560 5718 0 0 0 68 0 0 0 15 0 19 0 808857970 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4579] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4579/stat : 4579 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808857970 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4580] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4580/stat : 4580 (java) S 4542 4544 4512 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 808857970 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4586] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4586/stat : 4586 (java) S 4542 4544 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 808858002 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.67
Current children cumulated vsize (KiB) 13631552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.7 s]
/proc/loadavg: 2.00 2.02 2.00 2/543 4641
/proc/meminfo: memFree=22793636/32951124 swapFree=64303760/67111528
[pid=4544] ppid=4542 vsize=13631552 CPUtime=1800.09 cores=1,3,5,7
/proc/4544/stat : 4544 (java) S 4542 4544 4512 0 -1 4202496 47048 0 1 0 179994 15 0 0 21 0 19 0 808857964 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4544/statm: 3407888 41365 2268 9 0 3398622 0
[pid=4544/tid=4545] ppid=4542 vsize=13631552 CPUtime=1785.15 cores=1,3,5,7
/proc/4544/task/4545/stat : 4545 (java) R 4542 4544 4512 0 -1 4202560 20931 0 1 0 178511 4 0 0 25 0 19 0 808857964 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 46912505843472 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4544/tid=4553] ppid=4542 vsize=13631552 CPUtime=0.29 cores=1,3,5,7
/proc/4544/task/4553/stat : 4553 (java) S 4542 4544 4512 0 -1 4202560 2370 0 0 0 29 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4554] ppid=4542 vsize=13631552 CPUtime=0.25 cores=1,3,5,7
/proc/4544/task/4554/stat : 4554 (java) S 4542 4544 4512 0 -1 4202560 151 0 0 0 25 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4555] ppid=4542 vsize=13631552 CPUtime=0.27 cores=1,3,5,7
/proc/4544/task/4555/stat : 4555 (java) S 4542 4544 4512 0 -1 4202560 1862 0 0 0 27 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4556] ppid=4542 vsize=13631552 CPUtime=0.27 cores=1,3,5,7
/proc/4544/task/4556/stat : 4556 (java) S 4542 4544 4512 0 -1 4202560 291 0 0 0 27 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4557] ppid=4542 vsize=13631552 CPUtime=0.26 cores=1,3,5,7
/proc/4544/task/4557/stat : 4557 (java) S 4542 4544 4512 0 -1 4202560 1282 0 0 0 26 0 0 0 16 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4558] ppid=4542 vsize=13631552 CPUtime=0.24 cores=1,3,5,7
/proc/4544/task/4558/stat : 4558 (java) S 4542 4544 4512 0 -1 4202560 471 0 0 0 24 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4559] ppid=4542 vsize=13631552 CPUtime=0.22 cores=1,3,5,7
/proc/4544/task/4559/stat : 4559 (java) S 4542 4544 4512 0 -1 4202560 1257 0 0 0 22 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4560] ppid=4542 vsize=13631552 CPUtime=0.29 cores=1,3,5,7
/proc/4544/task/4560/stat : 4560 (java) S 4542 4544 4512 0 -1 4202560 51 0 0 0 29 0 0 0 15 0 19 0 808857967 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4562] ppid=4542 vsize=13631552 CPUtime=11.64 cores=1,3,5,7
/proc/4544/task/4562/stat : 4562 (java) S 4542 4544 4512 0 -1 4202560 6672 0 0 0 1158 6 0 0 15 0 19 0 808857968 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 0 0 16800975 18446604461673388224 0 0 -1 3 0 0 0
[pid=4544/tid=4571] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4571/stat : 4571 (java) S 4542 4544 4512 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 808857968 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4572] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4572/stat : 4572 (java) S 4542 4544 4512 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 808857968 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4576] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4576/stat : 4576 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 808857970 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522121137 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4577] ppid=4542 vsize=13631552 CPUtime=0.45 cores=1,3,5,7
/proc/4544/task/4577/stat : 4577 (java) S 4542 4544 4512 0 -1 4202560 4739 0 0 0 45 0 0 0 15 0 19 0 808857970 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 5 0 0 0
[pid=4544/tid=4578] ppid=4542 vsize=13631552 CPUtime=0.68 cores=1,3,5,7
/proc/4544/task/4578/stat : 4578 (java) S 4542 4544 4512 0 -1 4202560 5718 0 0 0 68 0 0 0 15 0 19 0 808857970 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4579] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4579/stat : 4579 (java) S 4542 4544 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 808857970 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522113433 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
[pid=4544/tid=4580] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4580/stat : 4580 (java) S 4542 4544 4512 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 808857970 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 1 0 0 0
[pid=4544/tid=4586] ppid=4542 vsize=13631552 CPUtime=0 cores=1,3,5,7
/proc/4544/task/4586/stat : 4586 (java) S 4542 4544 4512 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 808858002 13958709248 41365 33554432000 1073741824 1073778376 140733914466352 18446744073709551615 233522114048 0 4 0 16800975 18446604461673388224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13631552

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

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

Child status: 143
Real time (s): 1797.74
CPU time (s): 1800.15
CPU user time (s): 1799.98
CPU system time (s): 0.169974
CPU usage (%): 100.134
Max. virtual memory (cumulated for all children) (KiB): 13638812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47085
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= 49464
involuntary context switches= 15070

runsolver used 9.61254 second user time and 22.4356 second system time

The end

Launcher Data 

Begin job on node145 at 2011-06-04 07:13:41
IDJOB=3458002
IDBENCH=48327
IDSOLVER=1952
FILE ID=node145/3458002-1307164421
RUNJOBID= node145-1307164421-4531
PBS_JOBID= 13508838
Free space on /tmp= 73992 MiB

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

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

MD5SUM BENCH= 8b67f7a6443cbb8d169a20134c04d298
RANDOM SEED=316770816

node145.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.786
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.57
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.786
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.76
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.786
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.74
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.786
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.83
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.786
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.786
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.74
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22959308 kB
Buffers:        261444 kB
Cached:         473352 kB
SwapCached:        944 kB
Active:        9349236 kB
Inactive:       370808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22959308 kB
SwapTotal:    67111528 kB
SwapFree:     64303760 kB
Dirty:             436 kB
Writeback:           0 kB
AnonPages:     8984296 kB
Mapped:          33752 kB
Slab:           134692 kB
PageTables:      66192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 153204384 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= 73988 MiB
End job on node145 at 2011-06-04 07:43:41