Trace number 3458016

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2.3.0? (TO) 1800.07 1797.64

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_2_15.opb
MD5SUM6247d91366961bc8ff12c33e03e6ccbd
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.029994
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)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

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.13/0.11	c Pseudo Boolean Optimization
0.13/0.11	c --- Begin Solver configuration ---
0.13/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.13/0.11	c Learn all clauses as in MiniSAT
0.13/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.11	c Expensive reason simplification
0.13/0.11	c Armin Biere (Picosat) restarts strategy
0.13/0.11	c Glucose learned constraints deletion strategy
0.13/0.11	c timeout=2147483s
0.13/0.11	c DB Simplification allowed=false
0.13/0.11	c --- End Solver configuration ---
0.13/0.11	c solving HOME/instance-3458016-1307164897.opb
0.13/0.11	c reading problem ... 
0.46/0.39	c ... done. Wall clock time 0.272s.
0.46/0.39	c #vars     2892
0.46/0.39	c #constraints  5587
0.46/0.39	c constraints type 
0.46/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2492
0.46/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
0.46/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.46/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2492
3.29/2.48	c cleaning 2522 clauses out of 5043 with flag 5043/5043
6.58/5.68	c cleaning 4258 clauses out of 8515 with flag 11037/11037
12.27/11.39	c cleaning 5667 clauses out of 11333 with flag 18113/18113
20.49/19.59	c cleaning 6782 clauses out of 13563 with flag 26010/26010
24.46/23.49	c cleaning 7888 clauses out of 15779 with flag 35008/35008
29.97/28.95	c cleaning 8943 clauses out of 17888 with flag 45005/45005
36.71/35.68	c cleaning 9475 clauses out of 18950 with flag 55010/55010
43.64/42.50	c cleaning 9739 clauses out of 19477 with flag 65012/65012
51.95/50.83	c cleaning 9865 clauses out of 19732 with flag 75006/75006
60.36/59.24	c cleaning 9939 clauses out of 19880 with flag 85019/85019
68.57/67.45	c cleaning 9966 clauses out of 19936 with flag 95014/95014
77.09/75.95	c cleaning 9976 clauses out of 19956 with flag 105000/105000
83.99/82.87	c cleaning 9988 clauses out of 19981 with flag 115001/115001
90.20/89.03	c cleaning 10004 clauses out of 20012 with flag 125020/125020
95.51/94.39	c cleaning 10002 clauses out of 20007 with flag 135019/135019
101.11/99.90	c cleaning 9994 clauses out of 19991 with flag 145005/145005
107.93/106.75	c cleaning 10002 clauses out of 20008 with flag 155016/155016
112.63/111.43	c cleaning 9998 clauses out of 20000 with flag 165010/165010
118.33/117.19	c cleaning 10001 clauses out of 20006 with flag 175014/175014
122.74/121.57	c cleaning 9997 clauses out of 19997 with flag 185006/185006
127.15/125.98	c cleaning 9996 clauses out of 19995 with flag 195001/195001
131.46/130.20	c cleaning 10007 clauses out of 20017 with flag 205019/205019
136.36/135.17	c cleaning 9994 clauses out of 19991 with flag 215000/215000
142.46/141.27	c cleaning 9997 clauses out of 20000 with flag 225003/225003
147.87/146.64	c cleaning 9999 clauses out of 20002 with flag 235002/235002
152.67/151.44	c cleaning 10002 clauses out of 20007 with flag 245006/245006
157.59/156.38	c cleaning 10000 clauses out of 20003 with flag 255004/255004
162.08/160.89	c cleaning 9998 clauses out of 20000 with flag 265001/265001
165.20/164.00	c cleaning 10010 clauses out of 20021 with flag 275020/275020
168.00/166.75	c cleaning 9996 clauses out of 19995 with flag 285004/285004
170.90/169.68	c cleaning 10003 clauses out of 20009 with flag 295014/295014
174.61/173.35	c cleaning 9994 clauses out of 19992 with flag 305000/305000
178.11/176.88	c cleaning 10001 clauses out of 20006 with flag 315008/315008
181.72/180.48	c cleaning 10002 clauses out of 20008 with flag 325011/325011
184.61/183.36	c cleaning 10000 clauses out of 20004 with flag 335009/335009
187.81/186.58	c cleaning 9996 clauses out of 19996 with flag 345001/345001
190.82/189.53	c cleaning 10003 clauses out of 20010 with flag 355011/355011
193.84/192.54	c cleaning 10000 clauses out of 20003 with flag 365007/365007
196.83/195.52	c cleaning 10014 clauses out of 20032 with flag 375036/375036
200.03/198.74	c cleaning 10005 clauses out of 20013 with flag 385031/385031
203.75/202.51	c cleaning 9991 clauses out of 19985 with flag 395008/395008
207.16/205.83	c cleaning 9999 clauses out of 20004 with flag 405018/405018
210.85/209.56	c cleaning 9996 clauses out of 19995 with flag 415008/415008
213.95/212.60	c cleaning 10009 clauses out of 20022 with flag 425031/425031
216.56/215.22	c cleaning 9996 clauses out of 19995 with flag 435013/435013
219.36/218.00	c cleaning 9997 clauses out of 19998 with flag 445012/445012
222.26/220.99	c cleaning 9995 clauses out of 19994 with flag 455005/455005
225.17/223.87	c cleaning 9996 clauses out of 19995 with flag 465001/465001
228.17/226.87	c cleaning 10004 clauses out of 20011 with flag 475013/475013
231.08/229.72	c cleaning 9997 clauses out of 19998 with flag 485004/485004
233.88/232.52	c cleaning 10008 clauses out of 20019 with flag 495022/495022
236.79/235.47	c cleaning 10005 clauses out of 20014 with flag 505025/505025
240.49/239.17	c cleaning 9997 clauses out of 19998 with flag 515014/515014
245.99/244.64	c cleaning 10009 clauses out of 20022 with flag 525035/525035
248.80/247.42	c cleaning 9992 clauses out of 19987 with flag 535009/535009
251.90/250.50	c cleaning 10002 clauses out of 20008 with flag 545022/545022
255.00/253.67	c cleaning 9997 clauses out of 19997 with flag 555013/555013
258.40/257.04	c cleaning 10002 clauses out of 20008 with flag 565021/565021
261.81/260.41	c cleaning 9991 clauses out of 19986 with flag 575001/575001
265.31/263.91	c cleaning 9997 clauses out of 19998 with flag 585004/585004
270.31/268.96	c cleaning 9997 clauses out of 19997 with flag 595000/595000
273.72/272.35	c cleaning 9998 clauses out of 20004 with flag 605004/605004
276.32/275.01	c cleaning 10009 clauses out of 20021 with flag 615019/615019
279.23/277.84	c cleaning 9995 clauses out of 19994 with flag 625001/625001
281.94/280.51	c cleaning 10000 clauses out of 20004 with flag 635006/635006
284.83/283.42	c cleaning 9998 clauses out of 19999 with flag 645001/645001
287.44/286.07	c cleaning 9998 clauses out of 20000 with flag 655000/655000
290.33/288.95	c cleaning 10013 clauses out of 20029 with flag 665027/665027
293.44/292.07	c cleaning 10007 clauses out of 20018 with flag 675029/675029
296.56/295.15	c cleaning 9996 clauses out of 19995 with flag 685013/685013
299.46/298.06	c cleaning 9998 clauses out of 20000 with flag 695014/695014
303.46/302.01	c cleaning 10003 clauses out of 20010 with flag 705022/705022
307.46/306.03	c cleaning 10003 clauses out of 20009 with flag 715024/715024
311.47/310.09	c cleaning 9998 clauses out of 19999 with flag 725017/725017
315.27/313.86	c cleaning 9993 clauses out of 19990 with flag 735006/735006
318.97/317.57	c cleaning 9995 clauses out of 19994 with flag 745003/745003
323.37/321.92	c cleaning 9998 clauses out of 19999 with flag 755003/755003
327.47/326.06	c cleaning 10001 clauses out of 20006 with flag 765008/765008
331.49/330.10	c cleaning 9998 clauses out of 20000 with flag 775003/775003
335.38/333.95	c cleaning 9999 clauses out of 20001 with flag 785002/785002
339.30/337.89	c cleaning 10001 clauses out of 20006 with flag 795006/795006
343.39/341.94	c cleaning 10004 clauses out of 20011 with flag 805012/805012
347.09/345.67	c cleaning 10017 clauses out of 20037 with flag 815042/815042
350.59/349.17	c cleaning 10012 clauses out of 20026 with flag 825048/825048
354.29/352.82	c cleaning 10006 clauses out of 20016 with flag 835050/835050
358.09/356.69	c cleaning 9981 clauses out of 19966 with flag 845006/845006
361.80/360.38	c cleaning 9992 clauses out of 19988 with flag 855009/855009
365.72/364.25	c cleaning 10007 clauses out of 20017 with flag 865030/865030
370.01/368.56	c cleaning 10014 clauses out of 20032 with flag 875052/875052
373.90/372.46	c cleaning 9983 clauses out of 19970 with flag 885004/885004
378.10/376.60	c cleaning 9995 clauses out of 19994 with flag 895011/895011
380.91/379.41	c cleaning 10005 clauses out of 20014 with flag 905026/905026
384.21/382.76	c cleaning 9996 clauses out of 19998 with flag 915015/915015
387.52/386.02	c cleaning 9997 clauses out of 19998 with flag 925011/925011
391.52/390.02	c cleaning 10002 clauses out of 20008 with flag 935018/935018
394.34/392.86	c cleaning 10003 clauses out of 20009 with flag 945021/945021
397.22/395.70	c cleaning 9991 clauses out of 19985 with flag 955000/955000
400.33/398.86	c cleaning 10003 clauses out of 20009 with flag 965015/965015
403.93/402.40	c cleaning 9998 clauses out of 19999 with flag 975008/975008
407.13/405.66	c cleaning 10014 clauses out of 20032 with flag 985039/985039
410.63/409.14	c cleaning 9994 clauses out of 19992 with flag 995013/995013
414.04/412.58	c cleaning 10006 clauses out of 20013 with flag 1005028/1005028
418.45/416.94	c cleaning 10001 clauses out of 20006 with flag 1015027/1015027
421.64/420.17	c cleaning 9996 clauses out of 19995 with flag 1025017/1025017
424.55/423.09	c cleaning 9998 clauses out of 20000 with flag 1035018/1035018
427.95/426.48	c cleaning 9990 clauses out of 19984 with flag 1045000/1045000
432.05/430.59	c cleaning 10008 clauses out of 20019 with flag 1055025/1055025
436.17/434.66	c cleaning 10013 clauses out of 20030 with flag 1065044/1065044
440.06/438.57	c cleaning 9993 clauses out of 19989 with flag 1075016/1075016
444.56/443.06	c cleaning 9988 clauses out of 19980 with flag 1085000/1085000
447.96/446.45	c cleaning 9994 clauses out of 19992 with flag 1095000/1095000
452.97/451.45	c cleaning 10012 clauses out of 20028 with flag 1105030/1105030
456.37/454.87	c cleaning 10004 clauses out of 20011 with flag 1115025/1115025
461.18/459.68	c cleaning 10021 clauses out of 20045 with flag 1125063/1125063
465.18/463.67	c cleaning 9992 clauses out of 19988 with flag 1135027/1135027
469.20/467.68	c cleaning 9996 clauses out of 19995 with flag 1145026/1145026
473.99/472.42	c cleaning 9998 clauses out of 19999 with flag 1155026/1155026
477.79/476.30	c cleaning 10015 clauses out of 20033 with flag 1165058/1165058
482.41/480.82	c cleaning 9996 clauses out of 19996 with flag 1175036/1175036
488.11/486.57	c cleaning 9985 clauses out of 19974 with flag 1185010/1185010
491.81/490.27	c cleaning 10013 clauses out of 20030 with flag 1195051/1195051
496.41/494.81	c cleaning 9985 clauses out of 19973 with flag 1205007/1205007
500.22/498.63	c cleaning 10019 clauses out of 20042 with flag 1215061/1215061
504.22/502.69	c cleaning 9997 clauses out of 19998 with flag 1225036/1225036
508.62/507.06	c cleaning 9981 clauses out of 19965 with flag 1235000/1235000
512.62/511.05	c cleaning 9993 clauses out of 19989 with flag 1245005/1245005
517.32/515.73	c cleaning 10001 clauses out of 20003 with flag 1255012/1255012
521.83/520.27	c cleaning 10014 clauses out of 20032 with flag 1265042/1265042
526.83/525.22	c cleaning 10025 clauses out of 20051 with flag 1275075/1275075
531.13/529.50	c cleaning 9982 clauses out of 19968 with flag 1285017/1285017
535.43/533.83	c cleaning 9997 clauses out of 19998 with flag 1295029/1295029
539.73/538.11	c cleaning 9986 clauses out of 19975 with flag 1305003/1305003
544.44/542.89	c cleaning 10006 clauses out of 20015 with flag 1315029/1315029
549.34/547.74	c cleaning 9997 clauses out of 19997 with flag 1325017/1325017
553.45/551.82	c cleaning 9998 clauses out of 19997 with flag 1335014/1335014
556.25/554.61	c cleaning 9998 clauses out of 20000 with flag 1345015/1345015
558.96/557.34	c cleaning 9997 clauses out of 19997 with flag 1355010/1355010
561.96/560.35	c cleaning 9997 clauses out of 19997 with flag 1365007/1365007
564.66/563.07	c cleaning 9999 clauses out of 20006 with flag 1375013/1375013
567.57/565.99	c cleaning 10000 clauses out of 20004 with flag 1385010/1385010
570.38/568.72	c cleaning 10004 clauses out of 20011 with flag 1395017/1395017
573.37/571.78	c cleaning 10000 clauses out of 20004 with flag 1405014/1405014
577.47/575.89	c cleaning 10014 clauses out of 20029 with flag 1415039/1415039
580.47/578.81	c cleaning 9986 clauses out of 19976 with flag 1425000/1425000
583.38/581.79	c cleaning 9995 clauses out of 19994 with flag 1435004/1435004
586.68/585.08	c cleaning 10017 clauses out of 20038 with flag 1445043/1445043
589.98/588.33	c cleaning 10005 clauses out of 20013 with flag 1455035/1455035
593.18/591.57	c cleaning 9990 clauses out of 19984 with flag 1465011/1465011
596.29/594.63	c cleaning 10004 clauses out of 20011 with flag 1475028/1475028
599.79/598.14	c cleaning 9999 clauses out of 20002 with flag 1485023/1485023
603.59/601.94	c cleaning 9988 clauses out of 19980 with flag 1495000/1495000
608.09/606.46	c cleaning 9996 clauses out of 19993 with flag 1505001/1505001
612.31/610.66	c cleaning 10012 clauses out of 20027 with flag 1515031/1515031
616.61/614.95	c cleaning 10024 clauses out of 20052 with flag 1525068/1525068
620.01/618.38	c cleaning 9987 clauses out of 19977 with flag 1535017/1535017
623.32/621.63	c cleaning 9998 clauses out of 19999 with flag 1545026/1545026
626.80/625.12	c cleaning 9986 clauses out of 19976 with flag 1555001/1555001
630.30/628.66	c cleaning 9993 clauses out of 19990 with flag 1565001/1565001
633.90/632.27	c cleaning 10005 clauses out of 20013 with flag 1575017/1575017
637.51/635.85	c cleaning 10014 clauses out of 20031 with flag 1585040/1585040
641.61/639.90	c cleaning 10012 clauses out of 20027 with flag 1595050/1595050
646.71/645.07	c cleaning 10010 clauses out of 20024 with flag 1605059/1605059
651.51/649.89	c cleaning 9978 clauses out of 19960 with flag 1615005/1615005
656.71/655.03	c cleaning 9995 clauses out of 19993 with flag 1625016/1625016
660.52/658.89	c cleaning 10015 clauses out of 20034 with flag 1635052/1635052
664.82/663.10	c cleaning 9988 clauses out of 19980 with flag 1645013/1645013
668.62/666.96	c cleaning 10011 clauses out of 20025 with flag 1655046/1655046
673.73/672.10	c cleaning 9990 clauses out of 19984 with flag 1665016/1665016
678.93/677.22	c cleaning 9999 clauses out of 20002 with flag 1675024/1675024
683.94/682.22	c cleaning 10007 clauses out of 20018 with flag 1685039/1685039
688.34/686.62	c cleaning 9993 clauses out of 19989 with flag 1695017/1695017
693.76/692.07	c cleaning 10009 clauses out of 20022 with flag 1705043/1705043
698.84/697.19	c cleaning 9989 clauses out of 19982 with flag 1715012/1715012
704.45/702.79	c cleaning 9989 clauses out of 19982 with flag 1725001/1725001
709.95/708.27	c cleaning 10026 clauses out of 20055 with flag 1735063/1735063
715.15/713.48	c cleaning 9985 clauses out of 19973 with flag 1745007/1745007
720.76/719.08	c cleaning 9989 clauses out of 19982 with flag 1755001/1755001
725.86/724.17	c cleaning 10000 clauses out of 20003 with flag 1765011/1765011
730.36/728.64	c cleaning 9997 clauses out of 19997 with flag 1775005/1775005
734.26/732.50	c cleaning 9996 clauses out of 19996 with flag 1785001/1785001
738.07/736.33	c cleaning 10026 clauses out of 20055 with flag 1795056/1795056
741.78/740.09	c cleaning 10019 clauses out of 20040 with flag 1805067/1805067
746.49/744.76	c cleaning 10007 clauses out of 20015 with flag 1815061/1815061
751.88/750.19	c cleaning 9975 clauses out of 19953 with flag 1825006/1825006
756.29/754.58	c cleaning 10004 clauses out of 20011 with flag 1835039/1835039
760.39/758.63	c cleaning 9989 clauses out of 19982 with flag 1845014/1845014
766.99/765.21	c cleaning 9997 clauses out of 19997 with flag 1855018/1855018
773.59/771.86	c cleaning 10008 clauses out of 20020 with flag 1865038/1865038
779.89/778.13	c cleaning 10010 clauses out of 20024 with flag 1875050/1875050
785.11/783.36	c cleaning 9998 clauses out of 19999 with flag 1885035/1885035
791.40/789.69	c cleaning 10004 clauses out of 20012 with flag 1895046/1895046
796.11/794.32	c cleaning 9981 clauses out of 19965 with flag 1905003/1905003
800.30/798.61	c cleaning 10013 clauses out of 20029 with flag 1915048/1915048
805.00/803.28	c cleaning 10009 clauses out of 20021 with flag 1925053/1925053
813.00/811.25	c cleaning 9981 clauses out of 19965 with flag 1935006/1935006
821.11/819.35	c cleaning 9989 clauses out of 19981 with flag 1945003/1945003
826.01/824.29	c cleaning 10021 clauses out of 20046 with flag 1955057/1955057
832.92/831.14	c cleaning 10014 clauses out of 20032 with flag 1965064/1965064
838.62/836.84	c cleaning 9993 clauses out of 19990 with flag 1975036/1975036
843.52/841.80	c cleaning 10030 clauses out of 20063 with flag 1985102/1985102
849.62/847.88	c cleaning 9976 clauses out of 19952 with flag 1995021/1995021
853.03/851.22	c cleaning 9978 clauses out of 19959 with flag 2005004/2005004
855.73/853.95	c cleaning 9994 clauses out of 19992 with flag 2015015/2015015
858.54/856.75	c cleaning 9992 clauses out of 19987 with flag 2025004/2025004
861.34/859.59	c cleaning 9994 clauses out of 19991 with flag 2035000/2035000
864.25/862.44	c cleaning 10009 clauses out of 20021 with flag 2045024/2045024
866.95/865.20	c cleaning 10003 clauses out of 20010 with flag 2055022/2055022
869.95/868.10	c cleaning 9994 clauses out of 19991 with flag 2065006/2065006
874.05/872.26	c cleaning 10000 clauses out of 20006 with flag 2075015/2075015
878.25/876.40	c cleaning 10003 clauses out of 20009 with flag 2085018/2085018
881.06/879.25	c cleaning 10004 clauses out of 20011 with flag 2095023/2095023
884.17/882.34	c cleaning 10011 clauses out of 20026 with flag 2105042/2105042
887.26/885.42	c cleaning 10004 clauses out of 20011 with flag 2115038/2115038
890.56/888.76	c cleaning 9992 clauses out of 19987 with flag 2125018/2125018
893.36/891.51	c cleaning 9988 clauses out of 19979 with flag 2135002/2135002
897.67/895.85	c cleaning 10006 clauses out of 20015 with flag 2145026/2145026
902.07/900.30	c cleaning 10007 clauses out of 20018 with flag 2155035/2155035
905.57/903.75	c cleaning 9993 clauses out of 19990 with flag 2165014/2165014
909.87/908.08	c cleaning 9993 clauses out of 19990 with flag 2175007/2175007
915.27/913.41	c cleaning 10006 clauses out of 20016 with flag 2185026/2185026
919.78/918.00	c cleaning 9998 clauses out of 20000 with flag 2195016/2195016
923.08/921.28	c cleaning 10013 clauses out of 20029 with flag 2205043/2205043
926.28/924.49	c cleaning 9999 clauses out of 20002 with flag 2215029/2215029
929.79/927.99	c cleaning 9999 clauses out of 20002 with flag 2225028/2225028
933.39/931.51	c cleaning 9988 clauses out of 19980 with flag 2235005/2235005
937.29/935.48	c cleaning 9994 clauses out of 19991 with flag 2245004/2245004
940.99/939.17	c cleaning 9999 clauses out of 20001 with flag 2255008/2255008
944.71/942.86	c cleaning 10011 clauses out of 20025 with flag 2265031/2265031
948.60/946.75	c cleaning 9997 clauses out of 19997 with flag 2275014/2275014
952.50/950.61	c cleaning 10015 clauses out of 20034 with flag 2285048/2285048
955.71/953.88	c cleaning 9989 clauses out of 19981 with flag 2295010/2295010
958.70/956.83	c cleaning 9989 clauses out of 19982 with flag 2305000/2305000
963.42/961.53	c cleaning 9995 clauses out of 19993 with flag 2315000/2315000
967.60/965.78	c cleaning 10023 clauses out of 20049 with flag 2325051/2325051
972.61/970.77	c cleaning 9996 clauses out of 19996 with flag 2335021/2335021
976.71/974.81	c cleaning 9995 clauses out of 19993 with flag 2345014/2345014
982.61/980.71	c cleaning 10000 clauses out of 20003 with flag 2355019/2355019
987.22/985.35	c cleaning 9992 clauses out of 19987 with flag 2365003/2365003
992.42/990.53	c cleaning 9994 clauses out of 19992 with flag 2375000/2375000
997.43/995.59	c cleaning 10003 clauses out of 20009 with flag 2385011/2385011
1002.72/1000.82	c cleaning 10017 clauses out of 20037 with flag 2395042/2395042
1006.62/1004.79	c cleaning 9992 clauses out of 19988 with flag 2405010/2405010
1013.83/1011.99	c cleaning 10016 clauses out of 20035 with flag 2415049/2415049
1019.73/1017.88	c cleaning 10004 clauses out of 20012 with flag 2425042/2425042
1024.84/1023.00	c cleaning 9998 clauses out of 20000 with flag 2435034/2435034
1029.87/1027.97	c cleaning 9995 clauses out of 19994 with flag 2445026/2445026
1034.47/1032.56	c cleaning 10007 clauses out of 20018 with flag 2455045/2455045
1038.98/1037.00	c cleaning 10000 clauses out of 20003 with flag 2465037/2465037
1043.08/1041.13	c cleaning 9991 clauses out of 19986 with flag 2475020/2475020
1047.88/1045.94	c cleaning 9995 clauses out of 19994 with flag 2485019/2485019
1052.68/1050.77	c cleaning 9991 clauses out of 19985 with flag 2495005/2495005
1057.29/1055.37	c cleaning 10002 clauses out of 20008 with flag 2505019/2505019
1061.69/1059.77	c cleaning 10013 clauses out of 20030 with flag 2515043/2515043
1066.19/1064.26	c cleaning 10007 clauses out of 20018 with flag 2525044/2525044
1070.59/1068.64	c cleaning 9988 clauses out of 19979 with flag 2535012/2535012
1075.20/1073.25	c cleaning 9988 clauses out of 19979 with flag 2545000/2545000
1080.30/1078.33	c cleaning 9997 clauses out of 19997 with flag 2555006/2555006
1084.52/1082.54	c cleaning 10023 clauses out of 20049 with flag 2565055/2565055
1089.30/1087.35	c cleaning 9989 clauses out of 19982 with flag 2575011/2575011
1094.50/1092.52	c cleaning 9994 clauses out of 19992 with flag 2585010/2585010
1099.21/1097.21	c cleaning 9999 clauses out of 20001 with flag 2595013/2595013
1104.01/1102.06	c cleaning 9995 clauses out of 19993 with flag 2605004/2605004
1108.41/1106.47	c cleaning 10009 clauses out of 20021 with flag 2615027/2615027
1113.32/1111.39	c cleaning 9996 clauses out of 19995 with flag 2625010/2625010
1118.53/1116.58	c cleaning 10034 clauses out of 20072 with flag 2635083/2635083
1123.32/1121.35	c cleaning 9995 clauses out of 19993 with flag 2645038/2645038
1128.22/1126.22	c cleaning 10007 clauses out of 20018 with flag 2655058/2655058
1133.63/1131.61	c cleaning 9981 clauses out of 19965 with flag 2665012/2665012
1137.13/1135.13	c cleaning 9996 clauses out of 19996 with flag 2675024/2675024
1140.43/1138.42	c cleaning 9986 clauses out of 19976 with flag 2685000/2685000
1143.85/1141.83	c cleaning 10012 clauses out of 20028 with flag 2695038/2695038
1147.34/1145.38	c cleaning 9995 clauses out of 19994 with flag 2705016/2705016
1151.14/1149.18	c cleaning 9991 clauses out of 19985 with flag 2715002/2715002
1154.85/1152.84	c cleaning 10003 clauses out of 20009 with flag 2725017/2725017
1158.55/1156.56	c cleaning 10009 clauses out of 20022 with flag 2735033/2735033
1162.25/1160.25	c cleaning 10007 clauses out of 20017 with flag 2745037/2745037
1166.25/1164.24	c cleaning 9985 clauses out of 19973 with flag 2755000/2755000
1169.96/1167.98	c cleaning 9992 clauses out of 19988 with flag 2765000/2765000
1174.06/1172.07	c cleaning 10001 clauses out of 20005 with flag 2775009/2775009
1178.08/1176.06	c cleaning 10014 clauses out of 20031 with flag 2785036/2785036
1182.16/1180.19	c cleaning 9998 clauses out of 20000 with flag 2795019/2795019
1187.36/1185.39	c cleaning 9994 clauses out of 19992 with flag 2805009/2805009
1192.76/1190.71	c cleaning 9996 clauses out of 19995 with flag 2815006/2815006
1197.77/1195.81	c cleaning 9997 clauses out of 19997 with flag 2825004/2825004
1202.67/1200.63	c cleaning 10013 clauses out of 20030 with flag 2835034/2835034
1208.27/1206.23	c cleaning 10003 clauses out of 20010 with flag 2845027/2845027
1214.17/1212.14	c cleaning 10014 clauses out of 20031 with flag 2855051/2855051
1219.07/1217.05	c cleaning 9988 clauses out of 19979 with flag 2865013/2865013
1223.67/1221.65	c cleaning 9989 clauses out of 19982 with flag 2875004/2875004
1229.08/1227.01	c cleaning 10015 clauses out of 20033 with flag 2885044/2885044
1233.98/1232.00	c cleaning 10007 clauses out of 20017 with flag 2895043/2895043
1239.50/1237.51	c cleaning 9993 clauses out of 19990 with flag 2905023/2905023
1245.60/1243.59	c cleaning 9985 clauses out of 19974 with flag 2915000/2915000
1250.30/1248.21	c cleaning 10015 clauses out of 20034 with flag 2925045/2925045
1255.01/1252.97	c cleaning 9998 clauses out of 19999 with flag 2935025/2935025
1259.71/1257.63	c cleaning 10002 clauses out of 20007 with flag 2945031/2945031
1265.11/1263.03	c cleaning 9995 clauses out of 19994 with flag 2955020/2955020
1270.21/1268.10	c cleaning 10006 clauses out of 20015 with flag 2965036/2965036
1275.01/1272.94	c cleaning 9998 clauses out of 20000 with flag 2975027/2975027
1280.32/1278.31	c cleaning 10001 clauses out of 20006 with flag 2985031/2985031
1285.83/1283.76	c cleaning 9989 clauses out of 19981 with flag 2995007/2995007
1289.02/1286.94	c cleaning 9998 clauses out of 19999 with flag 3005014/3005014
1292.44/1290.34	c cleaning 10002 clauses out of 20007 with flag 3015020/3015020
1295.85/1293.78	c cleaning 9994 clauses out of 19991 with flag 3025006/3025006
1298.63/1296.53	c cleaning 9997 clauses out of 19998 with flag 3035007/3035007
1301.54/1299.44	c cleaning 10012 clauses out of 20028 with flag 3045034/3045034
1304.44/1302.35	c cleaning 9989 clauses out of 19982 with flag 3055000/3055000
1307.25/1305.14	c cleaning 9996 clauses out of 19995 with flag 3065002/3065002
1310.36/1308.22	c cleaning 10013 clauses out of 20030 with flag 3075033/3075033
1313.06/1310.96	c cleaning 9990 clauses out of 19984 with flag 3085000/3085000
1315.96/1313.89	c cleaning 10007 clauses out of 20017 with flag 3095023/3095023
1318.98/1316.85	c cleaning 9996 clauses out of 19995 with flag 3105008/3105008
1322.28/1320.12	c cleaning 9998 clauses out of 19999 with flag 3115008/3115008
1325.36/1323.30	c cleaning 10001 clauses out of 20006 with flag 3125013/3125013
1328.48/1326.36	c cleaning 9997 clauses out of 19997 with flag 3135005/3135005
1331.68/1329.50	c cleaning 10005 clauses out of 20013 with flag 3145018/3145018
1334.98/1332.80	c cleaning 9995 clauses out of 19994 with flag 3155004/3155004
1338.28/1336.10	c cleaning 10001 clauses out of 20005 with flag 3165010/3165010
1341.78/1339.61	c cleaning 10002 clauses out of 20008 with flag 3175014/3175014
1345.18/1343.09	c cleaning 10005 clauses out of 20014 with flag 3185022/3185022
1348.70/1346.52	c cleaning 9996 clauses out of 19996 with flag 3195009/3195009
1351.90/1349.74	c cleaning 9994 clauses out of 19991 with flag 3205000/3205000
1355.49/1353.35	c cleaning 10010 clauses out of 20024 with flag 3215027/3215027
1358.79/1356.67	c cleaning 9999 clauses out of 20001 with flag 3225014/3225014
1362.39/1360.21	c cleaning 10015 clauses out of 20034 with flag 3235046/3235046
1366.20/1364.05	c cleaning 10012 clauses out of 20027 with flag 3245054/3245054
1372.09/1369.97	c cleaning 9988 clauses out of 19979 with flag 3255018/3255018
1377.20/1375.08	c cleaning 9991 clauses out of 19985 with flag 3265012/3265012
1382.29/1380.18	c cleaning 9995 clauses out of 19994 with flag 3275012/3275012
1387.00/1384.91	c cleaning 10020 clauses out of 20043 with flag 3285056/3285056
1390.90/1388.79	c cleaning 9987 clauses out of 19977 with flag 3295010/3295010
1395.60/1393.48	c cleaning 10001 clauses out of 20005 with flag 3305025/3305025
1400.80/1398.69	c cleaning 10004 clauses out of 20012 with flag 3315033/3315033
1405.21/1403.04	c cleaning 9990 clauses out of 19983 with flag 3325008/3325008
1410.00/1407.83	c cleaning 10019 clauses out of 20041 with flag 3335056/3335056
1414.31/1412.10	c cleaning 9984 clauses out of 19972 with flag 3345006/3345006
1418.41/1416.29	c cleaning 10000 clauses out of 20003 with flag 3355021/3355021
1423.31/1421.21	c cleaning 10001 clauses out of 20005 with flag 3365023/3365023
1427.62/1425.45	c cleaning 9994 clauses out of 19992 with flag 3375011/3375011
1434.42/1432.30	c cleaning 10007 clauses out of 20017 with flag 3385030/3385030
1440.22/1438.02	c cleaning 9991 clauses out of 19985 with flag 3395005/3395005
1443.92/1441.80	c cleaning 10015 clauses out of 20033 with flag 3405044/3405044
1449.13/1446.95	c cleaning 10007 clauses out of 20018 with flag 3415044/3415044
1455.53/1453.35	c cleaning 9993 clauses out of 19990 with flag 3425023/3425023
1460.53/1458.30	c cleaning 10011 clauses out of 20026 with flag 3435052/3435052
1463.63/1461.43	c cleaning 9987 clauses out of 19978 with flag 3445015/3445015
1466.93/1464.76	c cleaning 9989 clauses out of 19982 with flag 3455006/3455006
1470.23/1468.02	c cleaning 10007 clauses out of 20018 with flag 3465031/3465031
1473.74/1471.56	c cleaning 10007 clauses out of 20017 with flag 3475037/3475037
1477.24/1475.06	c cleaning 9986 clauses out of 19976 with flag 3485003/3485003
1480.93/1478.79	c cleaning 10007 clauses out of 20018 with flag 3495031/3495031
1484.53/1482.37	c cleaning 9997 clauses out of 19997 with flag 3505017/3505017
1488.35/1486.18	c cleaning 9995 clauses out of 19993 with flag 3515010/3515010
1492.24/1490.03	c cleaning 10010 clauses out of 20023 with flag 3525035/3525035
1495.94/1493.81	c cleaning 10008 clauses out of 20019 with flag 3535041/3535041
1500.04/1497.86	c cleaning 10004 clauses out of 20011 with flag 3545041/3545041
1504.14/1501.97	c cleaning 9986 clauses out of 19975 with flag 3555009/3555009
1508.27/1506.09	c cleaning 9993 clauses out of 19989 with flag 3565009/3565009
1512.45/1510.22	c cleaning 10004 clauses out of 20011 with flag 3575024/3575024
1516.55/1514.33	c cleaning 10001 clauses out of 20006 with flag 3585023/3585023
1520.86/1518.68	c cleaning 9991 clauses out of 19986 with flag 3595004/3595004
1525.36/1523.12	c cleaning 9997 clauses out of 19998 with flag 3605007/3605007
1529.76/1527.54	c cleaning 10017 clauses out of 20037 with flag 3615043/3615043
1534.26/1532.00	c cleaning 9991 clauses out of 19986 with flag 3625009/3625009
1538.76/1536.52	c cleaning 9991 clauses out of 19986 with flag 3635000/3635000
1543.26/1541.00	c cleaning 9996 clauses out of 19996 with flag 3645001/3645001
1547.67/1545.49	c cleaning 10012 clauses out of 20027 with flag 3655028/3655028
1551.08/1548.89	c cleaning 9998 clauses out of 19999 with flag 3665012/3665012
1554.49/1552.23	c cleaning 10015 clauses out of 20034 with flag 3675045/3675045
1559.27/1557.02	c cleaning 9997 clauses out of 19998 with flag 3685024/3685024
1564.57/1562.36	c cleaning 10008 clauses out of 20020 with flag 3695043/3695043
1568.57/1566.34	c cleaning 9994 clauses out of 19992 with flag 3705023/3705023
1573.58/1571.35	c cleaning 9986 clauses out of 19976 with flag 3715001/3715001
1578.78/1576.57	c cleaning 9999 clauses out of 20001 with flag 3725012/3725012
1583.59/1581.32	c cleaning 10001 clauses out of 20005 with flag 3735015/3735015
1588.18/1585.94	c cleaning 10013 clauses out of 20030 with flag 3745041/3745041
1592.79/1590.50	c cleaning 10008 clauses out of 20020 with flag 3755044/3755044
1597.69/1595.42	c cleaning 10002 clauses out of 20008 with flag 3765040/3765040
1602.39/1600.14	c cleaning 10022 clauses out of 20048 with flag 3775082/3775082
1607.60/1605.37	c cleaning 9981 clauses out of 19965 with flag 3785021/3785021
1611.99/1609.77	c cleaning 10004 clauses out of 20011 with flag 3795048/3795048
1616.49/1614.20	c cleaning 9999 clauses out of 20002 with flag 3805043/3805043
1621.21/1618.92	c cleaning 9995 clauses out of 19993 with flag 3815033/3815033
1626.11/1623.87	c cleaning 10019 clauses out of 20042 with flag 3825077/3825077
1631.01/1628.70	c cleaning 9971 clauses out of 19946 with flag 3835000/3835000
1636.01/1633.76	c cleaning 9993 clauses out of 19989 with flag 3845014/3845014
1640.71/1638.46	c cleaning 10030 clauses out of 20064 with flag 3855082/3855082
1645.61/1643.37	c cleaning 9977 clauses out of 19957 with flag 3865005/3865005
1650.71/1648.43	c cleaning 9996 clauses out of 19995 with flag 3875020/3875020
1656.92/1654.69	c cleaning 10003 clauses out of 20010 with flag 3885031/3885031
1661.72/1659.42	c cleaning 10012 clauses out of 20028 with flag 3895052/3895052
1666.74/1664.46	c cleaning 9993 clauses out of 19989 with flag 3905025/3905025
1671.62/1669.37	c cleaning 10012 clauses out of 20028 with flag 3915057/3915057
1676.54/1674.31	c cleaning 9978 clauses out of 19959 with flag 3925000/3925000
1681.63/1679.38	c cleaning 10026 clauses out of 20055 with flag 3935074/3935074
1686.44/1684.21	c cleaning 9995 clauses out of 19994 with flag 3945039/3945039
1691.43/1689.15	c cleaning 10013 clauses out of 20029 with flag 3955069/3955069
1696.13/1693.84	c cleaning 9973 clauses out of 19950 with flag 3965003/3965003
1701.43/1699.11	c cleaning 10002 clauses out of 20008 with flag 3975034/3975034
1707.64/1705.35	c cleaning 9987 clauses out of 19978 with flag 3985006/3985006
1711.64/1709.40	c cleaning 10009 clauses out of 20021 with flag 3995036/3995036
1715.46/1713.18	c cleaning 10016 clauses out of 20036 with flag 4005060/4005060
1719.16/1716.86	c cleaning 9997 clauses out of 19997 with flag 4015037/4015037
1723.06/1720.75	c cleaning 9994 clauses out of 19991 with flag 4025028/4025028
1726.96/1724.64	c cleaning 10016 clauses out of 20036 with flag 4035067/4035067
1731.37/1729.03	c cleaning 9977 clauses out of 19958 with flag 4045005/4045005
1736.37/1734.08	c cleaning 9996 clauses out of 19996 with flag 4055020/4055020
1741.59/1739.25	c cleaning 9996 clauses out of 19996 with flag 4065016/4065016
1746.47/1744.16	c cleaning 10000 clauses out of 20004 with flag 4075020/4075020
1750.87/1748.53	c cleaning 10009 clauses out of 20022 with flag 4085038/4085038
1756.28/1753.93	c cleaning 10001 clauses out of 20006 with flag 4095031/4095031
1761.08/1758.77	c cleaning 9995 clauses out of 19993 with flag 4105019/4105019
1765.38/1763.06	c cleaning 9996 clauses out of 19996 with flag 4115017/4115017
1769.98/1767.61	c cleaning 10005 clauses out of 20014 with flag 4125031/4125031
1777.59/1775.28	c cleaning 9992 clauses out of 19988 with flag 4135010/4135010
1784.69/1782.39	c cleaning 9998 clauses out of 20000 with flag 4145014/4145014
1790.89/1788.61	c cleaning 10027 clauses out of 20057 with flag 4155069/4155069
1797.09/1794.73	c cleaning 9982 clauses out of 19967 with flag 4165006/4165006
1800.01/1797.62	c starts		: 253
1800.01/1797.62	c conflicts		: 4170217
1800.01/1797.62	c decisions		: 9226970
1800.01/1797.62	c propagations		: 120611997
1800.01/1797.62	c inspects		: 4170720499
1800.01/1797.62	c shortcuts		: 0
1800.01/1797.62	c learnt literals	: 0
1800.01/1797.62	c learnt binary clauses	: 0
1800.01/1797.62	c learnt ternary clauses	: 0
1800.01/1797.62	c learnt constraints	: 4170217
1800.01/1797.62	c ignored constraints	: 0
1800.01/1797.62	c root simplifications	: 0
1800.01/1797.62	c removed literals (reason simplification)	: 20612678
1800.01/1797.62	c reason swapping (by a shorter reason)	: 0
1800.01/1797.62	c Calls to reduceDB	: 418
1800.01/1797.62	c number of reductions to clauses (during analyze)	: 0
1800.01/1797.62	c number of learned constraints concerned by reduction	: 0
1800.01/1797.62	c number of learning phase by resolution	: 0
1800.01/1797.62	c number of learning phase by cutting planes	: 0
1800.01/1797.62	c speed (assignments/second)	: 67109.75581935585
1800.01/1797.62	c non guided choices	2731
1800.01/1797.63	c learnt constraints type 
1800.01/1797.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15203
1800.01/1797.63	c constraints type 
1800.01/1797.63	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2492
1800.01/1797.63	c org.sat4j.minisat.constraints.card.MinWatchCard => 403
1800.01/1797.63	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
1800.01/1797.63	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2492
1800.01/1797.63	s UNKNOWN
1800.01/1797.63	c Total wall clock time (in seconds): 1797.518

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.97 2.01 2.00 2/445 22462
/proc/meminfo: memFree=31345508/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 1606 0 1 0 0 0 0 0 25 0 2 0 828088458 13833195520 1308 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3377245 1323 906 9 0 3368401 0
[pid=22462/tid=22464] ppid=22458 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 4100 0 1 0 0 0 0 0 25 0 2 0 828088459 13850947584 4916 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235594560571 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.116883 s]
/proc/loadavg: 1.97 2.01 2.00 2/445 22462
/proc/meminfo: memFree=31345508/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13622412 CPUtime=0.13 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 15797 0 1 0 11 2 0 0 25 0 18 0 828088458 13949349888 15435 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3405603 15436 2124 9 0 3396337 0
[pid=22462/tid=22464] ppid=22458 vsize=13622412 CPUtime=0.09 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 13795 0 1 0 8 1 0 0 18 0 18 0 828088459 13949349888 15436 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 47071433859843 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13622412

[startup+0.201527 s]
/proc/loadavg: 1.97 2.01 2.00 2/445 22462
/proc/meminfo: memFree=31345508/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13622628 CPUtime=0.24 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 16449 0 1 0 22 2 0 0 25 0 18 0 828088458 13949571072 16087 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3405657 16087 2167 9 0 3396391 0
[pid=22462/tid=22464] ppid=22458 vsize=13622628 CPUtime=0.18 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 14340 0 1 0 17 1 0 0 18 0 18 0 828088459 13949571072 16087 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505200839 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13622628

[startup+0.306362 s]
/proc/loadavg: 1.97 2.01 2.00 2/445 22462
/proc/meminfo: memFree=31345508/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13624792 CPUtime=0.46 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 19054 0 1 0 44 2 0 0 25 0 18 0 828088458 13951787008 18422 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3406198 18422 2211 9 0 3396932 0
[pid=22462/tid=22464] ppid=22458 vsize=13624792 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 15557 0 1 0 27 2 0 0 18 0 18 0 828088459 13951787008 18423 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 47071438355252 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13624792

[startup+0.700559 s]
/proc/loadavg: 1.97 2.01 2.00 2/445 22462
/proc/meminfo: memFree=31345508/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13701028 CPUtime=1.48 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 29799 0 1 0 144 4 0 0 25 0 19 0 828088458 14029852672 25756 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3425257 25756 2234 9 0 3415991 0
[pid=22462/tid=22464] ppid=22458 vsize=13701028 CPUtime=0.68 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 18008 0 1 0 66 2 0 0 19 0 19 0 828088459 14029852672 25756 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505680321 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13701028

[startup+1.50134 s]
/proc/loadavg: 1.97 2.01 2.00 4/483 22500
/proc/meminfo: memFree=31174360/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13701028 CPUtime=2.39 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 31180 0 1 0 235 4 0 0 25 0 19 0 828088458 14029852672 27136 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3425257 27136 2241 9 0 3415991 0
[pid=22462/tid=22464] ppid=22458 vsize=13701028 CPUtime=1.48 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 19322 0 1 0 146 2 0 0 20 0 19 0 828088459 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 47071438355283 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088461 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828088462 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828088463 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828088463 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13701028 CPUtime=0.49 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5207 0 0 0 49 0 0 0 15 0 19 0 828088465 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13701028 CPUtime=0.38 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5491 0 0 0 38 0 0 0 17 0 19 0 828088465 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828088465 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14029852672 27137 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 13701028

[startup+3.10101 s]
/proc/loadavg: 1.97 2.01 2.00 4/483 22500
/proc/meminfo: memFree=31163200/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13701028 CPUtime=4.03 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 35844 0 1 0 399 4 0 0 25 0 19 0 828088458 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3425257 31796 2267 9 0 3415991 0
[pid=22462/tid=22464] ppid=22458 vsize=13701028 CPUtime=3.05 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 20399 0 1 0 303 2 0 0 25 0 19 0 828088459 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505883710 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 437 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 603 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 506 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 266 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13701028 CPUtime=0.02 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 1773 0 0 0 2 0 0 0 16 0 19 0 828088462 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13701028 CPUtime=0.51 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5211 0 0 0 51 0 0 0 15 0 19 0 828088465 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13701028 CPUtime=0.41 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5494 0 0 0 41 0 0 0 15 0 19 0 828088465 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 828088465 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14029852672 31796 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 13701028

[startup+6.30157 s]
/proc/loadavg: 1.97 2.01 2.00 4/483 22500
/proc/meminfo: memFree=31147632/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13701028 CPUtime=7.27 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 39809 0 1 0 722 5 0 0 25 0 19 0 828088458 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3425257 35592 2267 9 0 3415991 0
[pid=22462/tid=22464] ppid=22458 vsize=13701028 CPUtime=6.22 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 20403 0 1 0 620 2 0 0 25 0 19 0 828088459 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505857221 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 979 0 0 0 0 0 0 0 16 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 509 0 0 0 0 0 0 0 16 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 276 0 0 0 0 0 0 0 15 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 603 0 0 0 0 0 0 0 15 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1103 0 0 0 0 0 0 0 18 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 266 0 0 0 0 0 0 0 15 0 19 0 828088461 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13701028 CPUtime=0.04 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 3372 0 0 0 4 0 0 0 16 0 19 0 828088462 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13701028 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13701028 CPUtime=0.52 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5211 0 0 0 52 0 0 0 15 0 19 0 828088465 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13701028 CPUtime=0.42 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5498 0 0 0 42 0 0 0 15 0 19 0 828088465 14029852672 35592 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0

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

[pid=22462/tid=22480] ppid=22458 vsize=13699040 CPUtime=0.25 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 1212 0 0 0 25 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13699040 CPUtime=0.25 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1446 0 0 0 25 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13699040 CPUtime=0.28 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 653 0 0 0 28 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13699040 CPUtime=11.39 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 6355 0 0 0 1137 2 0 0 15 0 19 0 828088462 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13699040 CPUtime=0.6 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5228 0 0 0 60 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13699040 CPUtime=0.48 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5511 0 0 0 48 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1724.66
Current children cumulated vsize (KiB) 13699040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/483 22593
/proc/meminfo: memFree=30433800/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13699040 CPUtime=1784.69 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 47477 0 1 0 178438 31 0 0 25 0 19 0 828088458 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3424760 42169 2268 9 0 3415494 0
[pid=22462/tid=22464] ppid=22458 vsize=13699040 CPUtime=1769.64 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 20817 0 1 0 176940 24 0 0 25 0 19 0 828088459 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505680321 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 1423 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 446 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13699040 CPUtime=0.25 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 1020 0 0 0 25 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 749 0 0 0 29 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13699040 CPUtime=0.3 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 1363 0 0 0 30 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 1212 0 0 0 26 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1446 0 0 0 26 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 653 0 0 0 29 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13699040 CPUtime=11.68 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 6357 0 0 0 1166 2 0 0 15 0 19 0 828088462 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13699040 CPUtime=0.6 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5228 0 0 0 60 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13699040 CPUtime=0.48 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5511 0 0 0 48 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1784.69
Current children cumulated vsize (KiB) 13699040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/483 22594
/proc/meminfo: memFree=30434284/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13699040 CPUtime=1800.01 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 47484 0 1 0 179970 31 0 0 25 0 19 0 828088458 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3424760 42169 2268 9 0 3415494 0
[pid=22462/tid=22464] ppid=22458 vsize=13699040 CPUtime=1784.87 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 20820 0 1 0 178463 24 0 0 25 0 19 0 828088459 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505857482 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 1423 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 446 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13699040 CPUtime=0.25 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 1020 0 0 0 25 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 749 0 0 0 29 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13699040 CPUtime=0.3 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 1363 0 0 0 30 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 1212 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1446 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 653 0 0 0 29 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13699040 CPUtime=11.76 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 6359 0 0 0 1174 2 0 0 15 0 19 0 828088462 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13699040 CPUtime=0.6 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5228 0 0 0 60 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13699040 CPUtime=0.48 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5511 0 0 0 48 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13699040

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

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

[startup+1797.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/483 22594
/proc/meminfo: memFree=30434284/32950928 swapFree=34365992/67111528
[pid=22462] ppid=22458 vsize=13699040 CPUtime=1800.01 cores=0,2,4,6
/proc/22462/stat : 22462 (java) S 22458 22462 22425 0 -1 4202496 47484 0 1 0 179970 31 0 0 25 0 19 0 828088458 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/22462/statm: 3424760 42169 2268 9 0 3415494 0
[pid=22462/tid=22464] ppid=22458 vsize=13699040 CPUtime=1784.87 cores=0,2,4,6
/proc/22462/task/22464/stat : 22464 (java) R 22458 22462 22425 0 -1 4202560 20820 0 1 0 178463 24 0 0 25 0 19 0 828088459 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 46912505857482 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22462/tid=22471] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22471/stat : 22471 (java) S 22458 22462 22425 0 -1 4202560 1423 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22474] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22474/stat : 22474 (java) S 22458 22462 22425 0 -1 4202560 446 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22476] ppid=22458 vsize=13699040 CPUtime=0.25 cores=0,2,4,6
/proc/22462/task/22476/stat : 22476 (java) S 22458 22462 22425 0 -1 4202560 1020 0 0 0 25 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22478] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22478/stat : 22478 (java) S 22458 22462 22425 0 -1 4202560 749 0 0 0 29 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22479] ppid=22458 vsize=13699040 CPUtime=0.3 cores=0,2,4,6
/proc/22462/task/22479/stat : 22479 (java) S 22458 22462 22425 0 -1 4202560 1363 0 0 0 30 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22480] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22480/stat : 22480 (java) S 22458 22462 22425 0 -1 4202560 1212 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22481] ppid=22458 vsize=13699040 CPUtime=0.26 cores=0,2,4,6
/proc/22462/task/22481/stat : 22481 (java) S 22458 22462 22425 0 -1 4202560 1446 0 0 0 26 0 0 0 15 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22482] ppid=22458 vsize=13699040 CPUtime=0.29 cores=0,2,4,6
/proc/22462/task/22482/stat : 22482 (java) S 22458 22462 22425 0 -1 4202560 653 0 0 0 29 0 0 0 16 0 19 0 828088461 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22484] ppid=22458 vsize=13699040 CPUtime=11.76 cores=0,2,4,6
/proc/22462/task/22484/stat : 22484 (java) S 22458 22462 22425 0 -1 4202560 6359 0 0 0 1174 2 0 0 15 0 19 0 828088462 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 0 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
[pid=22462/tid=22486] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22486/stat : 22486 (java) S 22458 22462 22425 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22488] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22488/stat : 22488 (java) S 22458 22462 22425 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828088463 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22489] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22489/stat : 22489 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606690225 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22490] ppid=22458 vsize=13699040 CPUtime=0.6 cores=0,2,4,6
/proc/22462/task/22490/stat : 22490 (java) S 22458 22462 22425 0 -1 4202560 5228 0 0 0 60 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 4 0 0 0
[pid=22462/tid=22493] ppid=22458 vsize=13699040 CPUtime=0.48 cores=0,2,4,6
/proc/22462/task/22493/stat : 22493 (java) S 22458 22462 22425 0 -1 4202560 5511 0 0 0 48 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22494] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22494/stat : 22494 (java) S 22458 22462 22425 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606682521 0 4 0 16800975 18446604453877461376 0 0 -1 6 0 0 0
[pid=22462/tid=22497] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22497/stat : 22497 (java) S 22458 22462 22425 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828088465 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 0 0 0 0
[pid=22462/tid=22500] ppid=22458 vsize=13699040 CPUtime=0 cores=0,2,4,6
/proc/22462/task/22500/stat : 22500 (java) S 22458 22462 22425 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828088498 14027816960 42169 33554432000 1073741824 1073778376 140736283375904 18446744073709551615 235606683136 0 4 0 16800975 18446604453877461376 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13699040

Child status: 143
Real time (s): 1797.64
CPU time (s): 1800.07
CPU user time (s): 1799.74
CPU system time (s): 0.32595
CPU usage (%): 100.135
Max. virtual memory (cumulated for all children) (KiB): 13767460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.32595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47521
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= 48709
involuntary context switches= 26542

runsolver used 8.5207 second user time and 18.1222 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-04 07:21:37
IDJOB=3458016
IDBENCH=48341
IDSOLVER=1952
FILE ID=node120/3458016-1307164897
RUNJOBID= node120-1307164897-22443
PBS_JOBID= 13508848
Free space on /tmp= 73820 MiB

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

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

MD5SUM BENCH= 6247d91366961bc8ff12c33e03e6ccbd
RANDOM SEED=1573248287

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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	: 5226.07
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.809
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.82
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.78
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31345904 kB
Buffers:        302108 kB
Cached:         987924 kB
SwapCached:      12852 kB
Active:         351792 kB
Inactive:       957900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31345904 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:             996 kB
Writeback:           0 kB
AnonPages:       17772 kB
Mapped:           8728 kB
Slab:           133636 kB
PageTables:      92200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 105367824 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= 73816 MiB
End job on node120 at 2011-06-04 07:51:37