Trace number 3741297

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO)431 1800.11 930.838

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1109824.opb
MD5SUM6b78caa911ec8d23c05ac6a0b1089c62
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark378
Best CPU time to get the best result obtained on this benchmark84.4462
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1520
Total number of constraints28979
Number of constraints which are clauses28880
Number of constraints which are cardinality constraints (but not clauses)23
Number of constraints which are nor clauses,nor cardinality constraints76
Minimum length of a constraint2
Maximum length of a constraint76
Number of terms in the objective function 1512
Biggest coefficient in the objective function 83
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 54080
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 83
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 54080
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

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.10	c version 2.3.1.v20110525
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.10	c java.vm.version	19.1-b02
0.00/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		9996466904
0.00/0.10	c Max memory 		10048897024
0.00/0.10	c Total memory 		10048897024
0.00/0.10	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3741297-1338752493.opb
0.10/0.12	c reading problem ... 
1.07/0.56	c ... done. Wall clock time 0.436s.
1.07/0.56	c #vars     1520
1.07/0.56	c #constraints  29078
1.07/0.56	c constraints type 
1.07/0.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27383
1.07/0.56	c org.sat4j.minisat.constraints.card.MinWatchCard => 175
1.07/0.56	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1520
1.07/0.56	c constraints type 
1.07/0.56	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1520
1.07/0.56	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27383
1.07/0.56	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 175
1.62/0.75	c  And the winner is Resolution
2.13/1.06	c SATISFIABLE
2.13/1.06	c OPTIMIZING...
2.13/1.06	c Got one! Elapsed wall clock time (in seconds):0.943
2.13/1.06	o 535
2.34/1.15	c  And the winner is Resolution
2.90/1.58	c Got one! Elapsed wall clock time (in seconds):1.455
2.90/1.58	o 525
4.13/2.17	c cleaning 2822 clauses out of 5650 with flag 5000/5650
5.80/2.95	c cleaning 4410 clauses out of 8829 with flag 11001/11651
7.61/3.85	c cleaning 5704 clauses out of 11419 with flag 18001/18651
9.39/4.73	c cleaning 6847 clauses out of 13714 with flag 26000/26650
11.62/5.80	c cleaning 7923 clauses out of 15868 with flag 35001/35651
14.18/7.12	c cleaning 8964 clauses out of 17945 with flag 45001/45651
16.76/8.45	c cleaning 9984 clauses out of 19981 with flag 56001/56651
19.52/9.85	c cleaning 10985 clauses out of 21996 with flag 68000/68650
22.57/11.38	c cleaning 11996 clauses out of 24011 with flag 81000/81650
25.97/13.05	c cleaning 12989 clauses out of 26015 with flag 95000/95650
30.12/15.16	c cleaning 14003 clauses out of 28028 with flag 110002/110652
34.09/17.14	c cleaning 15006 clauses out of 30026 with flag 126003/126653
37.83/19.02	c cleaning 15991 clauses out of 32017 with flag 143000/143650
41.79/21.07	c cleaning 16985 clauses out of 34027 with flag 161001/161651
46.14/23.29	c cleaning 18009 clauses out of 36041 with flag 180000/180650
51.08/25.77	c cleaning 19006 clauses out of 38033 with flag 200001/200651
55.61/28.01	c cleaning 20003 clauses out of 40029 with flag 221003/221653
60.36/30.40	c cleaning 21004 clauses out of 42023 with flag 243000/243650
66.92/33.73	c cleaning 21997 clauses out of 44019 with flag 266000/266650
72.09/36.39	c cleaning 22998 clauses out of 46023 with flag 290001/290651
79.78/40.27	c cleaning 23988 clauses out of 48024 with flag 315000/315650
90.15/45.43	c cleaning 25003 clauses out of 50037 with flag 341001/341651
99.10/49.94	c cleaning 26003 clauses out of 52035 with flag 368002/368652
107.44/54.12	c cleaning 27005 clauses out of 54031 with flag 396001/396651
114.34/57.64	c cleaning 27997 clauses out of 56025 with flag 425000/425650
123.88/62.46	c cleaning 29000 clauses out of 58028 with flag 455000/455650
130.61/65.87	c cleaning 29488 clauses out of 59028 with flag 485000/485650
137.56/69.37	c cleaning 29746 clauses out of 59542 with flag 515002/515652
144.45/72.82	c cleaning 29884 clauses out of 59795 with flag 545001/545651
151.96/76.64	c cleaning 29931 clauses out of 59911 with flag 575001/575651
160.96/81.17	c cleaning 29977 clauses out of 59980 with flag 605001/605651
169.63/85.39	c cleaning 29981 clauses out of 60002 with flag 635000/635650
179.55/90.38	c cleaning 29989 clauses out of 60022 with flag 665001/665651
187.45/94.30	c cleaning 30002 clauses out of 60032 with flag 695000/695650
194.78/98.03	c cleaning 29986 clauses out of 60030 with flag 725000/725650
203.08/102.23	c cleaning 30005 clauses out of 60045 with flag 755001/755651
212.33/106.90	c cleaning 29982 clauses out of 60040 with flag 785001/785651
218.84/110.28	c cleaning 29995 clauses out of 60057 with flag 815000/815650
232.57/117.12	c cleaning 29997 clauses out of 60062 with flag 845000/845650
241.51/121.64	c cleaning 30000 clauses out of 60066 with flag 875001/875651
249.55/125.70	c cleaning 30006 clauses out of 60065 with flag 905000/905650
258.25/130.10	c cleaning 30002 clauses out of 60062 with flag 935003/935653
266.93/134.59	c cleaning 29998 clauses out of 60057 with flag 965000/965650
274.44/138.31	c cleaning 30009 clauses out of 60060 with flag 995001/995651
283.28/142.82	c cleaning 29990 clauses out of 60051 with flag 1025001/1025651
291.39/146.94	c cleaning 29995 clauses out of 60061 with flag 1055001/1055651
298.67/150.67	c cleaning 30006 clauses out of 60065 with flag 1085000/1085650
307.16/154.94	c cleaning 30003 clauses out of 60059 with flag 1115000/1115650
316.19/159.58	c cleaning 30003 clauses out of 60057 with flag 1145001/1145651
324.66/163.80	c cleaning 29989 clauses out of 60054 with flag 1175001/1175651
334.16/168.65	c cleaning 29996 clauses out of 60066 with flag 1205002/1205652
343.44/173.37	c cleaning 29992 clauses out of 60068 with flag 1235000/1235650
353.27/178.39	c cleaning 29986 clauses out of 60076 with flag 1265000/1265650
362.76/183.16	c cleaning 30004 clauses out of 60092 with flag 1295002/1295652
374.66/189.11	c cleaning 30003 clauses out of 60087 with flag 1325001/1325651
382.95/193.32	c cleaning 30009 clauses out of 60084 with flag 1355001/1355651
389.54/196.77	c cleaning 30005 clauses out of 60074 with flag 1385000/1385650
396.61/200.36	c cleaning 30000 clauses out of 60069 with flag 1415000/1415650
406.27/205.29	c cleaning 29967 clauses out of 60069 with flag 1445000/1445650
407.34/205.87	c  And the winner is CuttingPlanes
406.51/206.03	c Got one! Elapsed wall clock time (in seconds):205.911
406.51/206.03	o 516
406.86/206.25	c cleaning 17806 clauses out of 35687 with flag 2000/1451235
408.06/206.97	c  And the winner is CuttingPlanes
408.20/207.04	c Got one! Elapsed wall clock time (in seconds):206.918
408.20/207.04	o 503
408.31/207.14	c cleaning 11630 clauses out of 23298 with flag 1002/1456652
409.37/207.75	c  And the winner is CuttingPlanes
409.49/208.05	c Got one! Elapsed wall clock time (in seconds):207.924
409.49/208.05	o 497
409.59/208.17	c cleaning 8493 clauses out of 17048 with flag 1000/1462032
411.26/209.01	c cleaning 7261 clauses out of 14556 with flag 7001/1468033
412.92/209.95	c cleaning 7127 clauses out of 14295 with flag 14001/1475033
415.30/211.23	c cleaning 7570 clauses out of 15167 with flag 22000/1483032
416.55/211.97	c  And the winner is CuttingPlanes
416.69/212.19	c Got one! Elapsed wall clock time (in seconds):212.071
416.69/212.19	o 436
417.70/212.74	c cleaning 8881 clauses out of 17776 with flag 5000/1493211
419.17/213.59	c cleaning 7422 clauses out of 14895 with flag 11000/1499211
420.82/214.48	c  And the winner is CuttingPlanes
421.00/214.76	c Got one! Elapsed wall clock time (in seconds):214.638
421.00/214.76	o 434
422.28/215.42	c cleaning 9536 clauses out of 19091 with flag 5001/1510829
423.86/216.37	c cleaning 7761 clauses out of 15554 with flag 11000/1516828
425.91/217.41	c cleaning 7379 clauses out of 14793 with flag 18000/1523828
427.76/218.41	c cleaning 7684 clauses out of 15414 with flag 26000/1531828
430.42/219.85	c cleaning 8349 clauses out of 16730 with flag 35000/1540828
433.19/221.39	c cleaning 9178 clauses out of 18383 with flag 45002/1550830
436.03/222.85	c cleaning 10092 clauses out of 20203 with flag 56000/1561828
439.48/224.63	c cleaning 11051 clauses out of 22111 with flag 68000/1573828
442.73/226.38	c cleaning 12021 clauses out of 24061 with flag 81001/1586829
447.10/228.66	c cleaning 13006 clauses out of 26041 with flag 95002/1600830
450.35/230.40	c cleaning 13998 clauses out of 28033 with flag 110000/1615828
454.18/232.33	c cleaning 14998 clauses out of 30038 with flag 126003/1631831
458.83/234.75	c cleaning 16007 clauses out of 32038 with flag 143001/1648829
464.17/237.55	c cleaning 16980 clauses out of 34030 with flag 161000/1666828
468.81/239.97	c cleaning 18012 clauses out of 36051 with flag 180001/1685829
474.65/242.94	c cleaning 19006 clauses out of 38039 with flag 200001/1705829
480.08/245.78	c cleaning 20004 clauses out of 40035 with flag 221003/1726831
486.00/248.88	c cleaning 20994 clauses out of 42029 with flag 243001/1748829
494.26/253.07	c cleaning 21997 clauses out of 44034 with flag 266000/1771828
500.88/256.41	c cleaning 23005 clauses out of 46037 with flag 290000/1795828
508.49/260.36	c cleaning 23997 clauses out of 48032 with flag 315000/1820828
516.61/264.56	c cleaning 25008 clauses out of 50037 with flag 341002/1846830
527.03/269.87	c cleaning 26000 clauses out of 52028 with flag 368001/1873829
536.45/274.64	c cleaning 26997 clauses out of 54028 with flag 396001/1901829
544.06/278.55	c cleaning 27989 clauses out of 56032 with flag 425002/1930830
552.38/282.85	c cleaning 28997 clauses out of 58041 with flag 455000/1960828
561.18/287.34	c cleaning 29501 clauses out of 59044 with flag 485000/1990828
569.81/291.71	c cleaning 29754 clauses out of 59544 with flag 515001/2020829
578.04/295.94	c cleaning 29874 clauses out of 59789 with flag 545000/2050828
586.75/300.48	c cleaning 29946 clauses out of 59917 with flag 575002/2080830
596.34/305.32	c cleaning 29970 clauses out of 59969 with flag 605000/2110828
603.95/309.24	c cleaning 29992 clauses out of 60001 with flag 635002/2140830
612.96/313.82	c cleaning 29982 clauses out of 60008 with flag 665001/2170829
621.67/318.34	c cleaning 29989 clauses out of 60026 with flag 695001/2200829
629.87/322.56	c cleaning 30002 clauses out of 60036 with flag 725000/2230828
639.08/327.27	c cleaning 29997 clauses out of 60034 with flag 755000/2260828
648.07/331.82	c cleaning 30014 clauses out of 60040 with flag 785003/2290831
657.96/336.94	c cleaning 30004 clauses out of 60024 with flag 815001/2320829
666.18/341.11	c cleaning 30001 clauses out of 60020 with flag 845001/2350829
674.16/345.23	c cleaning 29999 clauses out of 60018 with flag 875000/2380828
682.15/349.36	c cleaning 29998 clauses out of 60019 with flag 905000/2410828
690.95/353.71	c cleaning 29990 clauses out of 60022 with flag 935001/2440829
699.39/358.07	c cleaning 29991 clauses out of 60031 with flag 965000/2470828
708.20/362.39	c cleaning 30006 clauses out of 60040 with flag 995000/2500828
716.19/366.48	c cleaning 30003 clauses out of 60034 with flag 1025000/2530828
727.22/372.16	c cleaning 29999 clauses out of 60032 with flag 1055001/2560829
734.62/375.96	c cleaning 29999 clauses out of 60033 with flag 1085001/2590829
742.40/379.97	c cleaning 29991 clauses out of 60033 with flag 1115000/2620828
749.80/383.71	c cleaning 30001 clauses out of 60046 with flag 1145004/2650832
756.66/387.37	c cleaning 30004 clauses out of 60043 with flag 1175002/2680830
765.81/392.03	c cleaning 30008 clauses out of 60037 with flag 1205000/2710828
779.40/398.94	c cleaning 30004 clauses out of 60030 with flag 1235001/2740829
788.79/403.75	c cleaning 30002 clauses out of 60025 with flag 1265000/2770828
797.42/408.22	c cleaning 29998 clauses out of 60024 with flag 1295001/2800829
806.37/412.80	c cleaning 29998 clauses out of 60025 with flag 1325000/2830828
814.74/417.12	c cleaning 30001 clauses out of 60027 with flag 1355000/2860828
824.09/421.96	c cleaning 29999 clauses out of 60027 with flag 1385001/2890829
832.71/426.48	c cleaning 29990 clauses out of 60027 with flag 1415000/2920828
844.31/432.33	c cleaning 29997 clauses out of 60037 with flag 1445000/2950828
853.09/436.82	c cleaning 29990 clauses out of 60044 with flag 1475004/2980832
863.22/442.05	c cleaning 30009 clauses out of 60051 with flag 1505001/3010829
871.64/446.44	c cleaning 30008 clauses out of 60042 with flag 1535001/3040829
879.99/450.75	c cleaning 29982 clauses out of 60033 with flag 1565000/3070828
889.74/455.70	c cleaning 29998 clauses out of 60052 with flag 1595001/3100829
897.90/459.93	c cleaning 30000 clauses out of 60053 with flag 1625000/3130828
909.09/465.72	c cleaning 30005 clauses out of 60053 with flag 1655000/3160828
919.61/471.14	c cleaning 30005 clauses out of 60048 with flag 1685000/3190828
930.34/476.63	c cleaning 29995 clauses out of 60044 with flag 1715001/3220829
940.69/481.96	c cleaning 30011 clauses out of 60049 with flag 1745001/3250829
950.26/486.98	c cleaning 30006 clauses out of 60038 with flag 1775001/3280829
958.16/491.05	c cleaning 30003 clauses out of 60033 with flag 1805002/3310830
967.47/495.89	c cleaning 30004 clauses out of 60031 with flag 1835003/3340831
976.79/500.64	c cleaning 29993 clauses out of 60024 with flag 1865000/3370828
986.12/505.56	c  And the winner is CuttingPlanes
984.97/505.65	c Got one! Elapsed wall clock time (in seconds):505.529
984.97/505.65	o 431
986.47/506.43	c cleaning 31004 clauses out of 62060 with flag 5000/3402857
988.37/507.58	c cleaning 18508 clauses out of 37057 with flag 11001/3408858
990.27/508.66	c cleaning 12761 clauses out of 25550 with flag 18002/3415859
992.37/509.88	c cleaning 10370 clauses out of 20787 with flag 26000/3423857
994.89/511.33	c cleaning 9679 clauses out of 19417 with flag 35000/3432857
997.59/512.83	c cleaning 9851 clauses out of 19738 with flag 45000/3442857
1000.10/514.29	c cleaning 10429 clauses out of 20887 with flag 56000/3453857
1003.43/516.04	c cleaning 11218 clauses out of 22459 with flag 68001/3465858
1007.73/518.42	c cleaning 12111 clauses out of 24241 with flag 81001/3478858
1011.25/520.33	c cleaning 13047 clauses out of 26129 with flag 95000/3492857
1015.36/522.57	c cleaning 14017 clauses out of 28083 with flag 110001/3507858
1019.84/524.97	c cleaning 15021 clauses out of 30066 with flag 126001/3523858
1024.37/527.41	c cleaning 15998 clauses out of 32044 with flag 143000/3540857
1029.46/530.16	c cleaning 16993 clauses out of 34046 with flag 161000/3558857
1035.16/533.19	c cleaning 18015 clauses out of 36053 with flag 180000/3577857
1040.27/535.80	c cleaning 18992 clauses out of 38038 with flag 200000/3597857
1045.98/538.91	c cleaning 20010 clauses out of 40047 with flag 221001/3618858
1051.07/541.70	c cleaning 20995 clauses out of 42037 with flag 243001/3640858
1057.17/544.83	c cleaning 22004 clauses out of 44041 with flag 266000/3663857
1063.46/548.10	c cleaning 23003 clauses out of 46037 with flag 290000/3687857
1070.76/552.04	c cleaning 23993 clauses out of 48035 with flag 315001/3712858
1077.84/555.75	c cleaning 24998 clauses out of 50043 with flag 341002/3738859
1084.51/559.21	c cleaning 26006 clauses out of 52045 with flag 368002/3765859
1096.19/565.28	c cleaning 27007 clauses out of 54037 with flag 396000/3793857
1104.33/569.58	c cleaning 27994 clauses out of 56030 with flag 425000/3822857
1112.20/573.68	c cleaning 28996 clauses out of 58036 with flag 455000/3852857
1121.07/578.20	c cleaning 29510 clauses out of 59046 with flag 485006/3882863
1130.55/583.15	c cleaning 29750 clauses out of 59531 with flag 515001/3912858
1139.03/587.62	c cleaning 29872 clauses out of 59781 with flag 545001/3942858
1146.10/591.33	c cleaning 29938 clauses out of 59908 with flag 575000/3972857
1155.17/596.08	c cleaning 29973 clauses out of 59970 with flag 605000/4002857
1166.26/601.80	c cleaning 29980 clauses out of 59997 with flag 635000/4032857
1173.91/605.82	c cleaning 29980 clauses out of 60017 with flag 665000/4062857
1185.38/611.77	c cleaning 29995 clauses out of 60037 with flag 695000/4092857
1197.44/617.94	c cleaning 30004 clauses out of 60043 with flag 725001/4122858
1211.58/625.13	c cleaning 30000 clauses out of 60039 with flag 755001/4152858
1220.45/629.80	c cleaning 29985 clauses out of 60039 with flag 785001/4182858
1229.94/634.80	c cleaning 29982 clauses out of 60053 with flag 815000/4212857
1241.20/640.50	c cleaning 29996 clauses out of 60073 with flag 845002/4242859
1252.06/646.11	c cleaning 30007 clauses out of 60076 with flag 875001/4272858
1260.53/650.66	c cleaning 30020 clauses out of 60068 with flag 905000/4302857
1268.59/654.80	c cleaning 30008 clauses out of 60050 with flag 935002/4332859
1276.02/658.71	c cleaning 29986 clauses out of 60041 with flag 965001/4362858
1283.05/662.45	c cleaning 30006 clauses out of 60055 with flag 995001/4392858
1290.29/666.37	c cleaning 30001 clauses out of 60048 with flag 1025000/4422857
1299.54/671.11	c cleaning 30008 clauses out of 60050 with flag 1055003/4452860
1307.57/675.32	c cleaning 29992 clauses out of 60039 with flag 1085000/4482857
1315.41/679.44	c cleaning 29996 clauses out of 60047 with flag 1115000/4512857
1324.45/684.21	c cleaning 30001 clauses out of 60051 with flag 1145000/4542857
1332.47/688.44	c cleaning 30006 clauses out of 60051 with flag 1175001/4572858
1339.50/692.17	c cleaning 30001 clauses out of 60045 with flag 1205001/4602858
1350.02/697.52	c cleaning 29995 clauses out of 60043 with flag 1235000/4632857
1357.82/701.70	c cleaning 30004 clauses out of 60048 with flag 1265000/4662857
1365.07/705.50	c cleaning 30011 clauses out of 60045 with flag 1295001/4692858
1373.10/709.72	c cleaning 29998 clauses out of 60033 with flag 1325000/4722857
1381.19/713.97	c cleaning 29999 clauses out of 60035 with flag 1355000/4752857
1390.20/718.79	c cleaning 30010 clauses out of 60037 with flag 1385001/4782858
1399.44/723.55	c cleaning 30003 clauses out of 60026 with flag 1415000/4812857
1410.67/729.36	c cleaning 29988 clauses out of 60023 with flag 1445000/4842857
1420.69/734.57	c cleaning 30007 clauses out of 60037 with flag 1475002/4872859
1433.50/741.26	c cleaning 29997 clauses out of 60029 with flag 1505001/4902858
1443.73/746.52	c cleaning 29985 clauses out of 60031 with flag 1535000/4932857
1451.77/750.76	c cleaning 29984 clauses out of 60046 with flag 1565000/4962857
1459.21/754.68	c cleaning 29999 clauses out of 60064 with flag 1595002/4992859
1467.21/758.96	c cleaning 30015 clauses out of 60064 with flag 1625001/5022858
1478.27/764.68	c cleaning 30003 clauses out of 60048 with flag 1655000/5052857
1487.30/769.30	c cleaning 30012 clauses out of 60045 with flag 1685000/5082857
1496.14/773.99	c cleaning 29994 clauses out of 60033 with flag 1715000/5112857
1505.33/778.88	c cleaning 29996 clauses out of 60039 with flag 1745000/5142857
1514.13/783.40	c cleaning 29980 clauses out of 60043 with flag 1775000/5172857
1529.42/791.22	c cleaning 29982 clauses out of 60063 with flag 1805000/5202857
1541.70/797.59	c cleaning 30007 clauses out of 60081 with flag 1835000/5232857
1552.71/803.40	c cleaning 29956 clauses out of 60075 with flag 1865001/5262858
1563.56/808.95	c cleaning 30028 clauses out of 60118 with flag 1895000/5292857
1576.19/815.45	c cleaning 29996 clauses out of 60090 with flag 1925000/5322857
1591.67/823.36	c cleaning 30011 clauses out of 60095 with flag 1955001/5352858
1604.66/830.18	c cleaning 29948 clauses out of 60083 with flag 1985000/5382857
1613.49/834.74	c cleaning 30042 clauses out of 60136 with flag 2015001/5412858
1622.92/839.63	c cleaning 30028 clauses out of 60094 with flag 2045001/5442858
1631.34/844.08	c cleaning 30016 clauses out of 60065 with flag 2075000/5472857
1643.13/850.21	c cleaning 30017 clauses out of 60051 with flag 2105002/5502859
1652.54/855.19	c cleaning 29997 clauses out of 60034 with flag 2135002/5532859
1661.34/859.77	c cleaning 29997 clauses out of 60036 with flag 2165001/5562858
1671.35/864.97	c cleaning 29995 clauses out of 60039 with flag 2195001/5592858
1679.91/869.52	c cleaning 29992 clauses out of 60043 with flag 2225000/5622857
1689.12/874.33	c cleaning 30009 clauses out of 60052 with flag 2255001/5652858
1697.92/878.90	c cleaning 29998 clauses out of 60042 with flag 2285000/5682857
1709.75/885.08	c cleaning 30003 clauses out of 60044 with flag 2315000/5712857
1722.92/891.91	c cleaning 29995 clauses out of 60041 with flag 2345000/5742857
1738.17/899.78	c cleaning 30006 clauses out of 60047 with flag 2375001/5772858
1755.00/908.30	c cleaning 30003 clauses out of 60040 with flag 2405000/5802857
1770.40/916.24	c cleaning 30001 clauses out of 60037 with flag 2435000/5832857
1780.75/921.74	c cleaning 29982 clauses out of 60038 with flag 2465002/5862859
1792.74/927.90	c cleaning 30008 clauses out of 60055 with flag 2495001/5892858
1798.13/930.81	c starts		: 23
1798.13/930.81	c conflicts		: 3035
1798.13/930.81	c decisions		: 40971
1798.13/930.81	c propagations		: 309361
1798.13/930.81	c inspects		: 57486729
1798.13/930.81	c shortcuts		: 0
1798.13/930.81	c learnt literals	: 0
1798.13/930.81	c learnt binary clauses	: 0
1798.13/930.81	c learnt ternary clauses	: 0
1798.13/930.81	c learnt constraints	: 3033
1798.13/930.81	c ignored constraints	: 0
1798.13/930.81	c root simplifications	: 0
1798.13/930.81	c removed literals (reason simplification)	: 0
1798.13/930.81	c reason swapping (by a shorter reason)	: 0
1798.13/930.81	c Calls to reduceDB	: 0
1798.13/930.81	c number of reductions to clauses (during analyze)	: 0
1798.13/930.81	c number of learned constraints concerned by reduction	: 0
1798.13/930.81	c number of learning phase by resolution	: 0
1798.13/930.81	c number of learning phase by cutting planes	: 0
1798.13/930.81	c speed (assignments/second)	: 727.6428596629465
1798.13/930.81	c non guided choices	0
1798.13/930.81	c learnt constraints type 
1798.13/930.81	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 23
1798.13/930.81	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 91
1798.13/930.81	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2919
1798.13/930.81	c constraints type 
1798.13/930.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27383
1798.13/930.81	c org.sat4j.minisat.constraints.card.MinWatchCard => 175
1798.13/930.81	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1520
1798.13/930.81	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1798.13/930.81	c constraints type 
1798.13/930.81	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1520
1798.13/930.81	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 27383
1798.13/930.81	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 175
1798.13/930.81	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
1798.13/930.81	s SATISFIABLE
1798.13/930.82	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 
1798.13/930.82	c objective function=431
1798.13/930.82	c Total wall clock time (in seconds): 930.696

Verifier Data 

OK	431

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741297-1338752493/watcher-3741297-1338752493 -o /tmp/evaluation-result-3741297-1338752493/solver-3741297-1338752493 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741297-1338752493.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.88 3.94 3.81 4/197 13702
/proc/meminfo: memFree=29064048/32873844 swapFree=7116/7116
[pid=13702] ppid=13700 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/13702/stat : 13702 (java) R 13700 13702 13088 0 -1 4202496 1029 0 0 0 0 0 0 0 20 0 1 0 341374200 23793664 757 33554432000 1073741824 1073778376 140736899036880 140736899025944 139824063852848 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 5809 774 571 9 0 128 0

[startup+0.102551 s]
/proc/loadavg: 3.88 3.94 3.81 4/197 13702
/proc/meminfo: memFree=29064048/32873844 swapFree=7116/7116
[pid=13702] ppid=13700 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/13702/stat : 13702 (java) S 13700 13702 13088 0 -1 4202496 5262 0 1 0 8 2 0 0 20 0 18 0 341374200 11864465408 13600 33554432000 1073741824 1073778376 140736899036880 140736899028016 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 2896598 13601 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392

[startup+0.200213 s]
/proc/loadavg: 3.88 3.94 3.81 4/197 13702
/proc/meminfo: memFree=29064048/32873844 swapFree=7116/7116
[pid=13702] ppid=13700 vsize=11586392 CPUtime=0.27 cores=1,3,5,7
/proc/13702/stat : 13702 (java) S 13700 13702 13088 0 -1 4202496 5830 0 1 0 25 2 0 0 20 0 18 0 341374200 11864465408 15053 33554432000 1073741824 1073778376 140736899036880 140736899028016 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 2896598 15053 2204 9 0 2887285 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 11586392

[startup+0.300318 s]
/proc/loadavg: 3.88 3.94 3.81 4/197 13702
/proc/meminfo: memFree=29064048/32873844 swapFree=7116/7116
[pid=13702] ppid=13700 vsize=11586392 CPUtime=0.52 cores=1,3,5,7
/proc/13702/stat : 13702 (java) S 13700 13702 13088 0 -1 4202496 6842 0 1 0 50 2 0 0 20 0 18 0 341374200 11864465408 16990 33554432000 1073741824 1073778376 140736899036880 140736899028016 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 2896598 16990 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 11586392

[startup+0.700204 s]
/proc/loadavg: 3.88 3.94 3.81 4/197 13702
/proc/meminfo: memFree=29064048/32873844 swapFree=7116/7116
[pid=13702] ppid=13700 vsize=11852648 CPUtime=1.62 cores=1,3,5,7
/proc/13702/stat : 13702 (java) S 13700 13702 13088 0 -1 4202496 12142 0 1 0 157 5 0 0 20 0 22 0 341374200 12137111552 41364 33554432000 1073741824 1073778376 140736899036880 140736899028016 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 2963162 41364 2262 9 0 2953849 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 11852648

[startup+1.5007 s]
/proc/loadavg: 3.81 3.93 3.80 7/219 13727
/proc/meminfo: memFree=28828700/32873844 swapFree=7116/7116
[pid=13702] ppid=13700 vsize=11852648 CPUtime=2.9 cores=1,3,5,7
/proc/13702/stat : 13702 (java) S 13700 13702 13088 0 -1 4202496 25194 0 1 0 278 12 0 0 20 0 19 0 341374200 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 140736899028016 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 2963162 51604 2266 9 0 2953849 0
[pid=13702/tid=13704] ppid=13700 vsize=11852648 CPUtime=0.55 cores=1,3,5,7
/proc/13702/task/13704/stat : 13704 (java) S 13700 13702 13088 0 -1 4202560 3427 0 1 0 51 4 0 0 20 0 19 0 341374201 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139824056341656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13705] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13705/stat : 13705 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341374203 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139824011094312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13706] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13706/stat : 13706 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341374203 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139824010041512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13707] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13707/stat : 13707 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341374203 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139824008989224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13708] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13708/stat : 13708 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341374203 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139824007936424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13709] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13709/stat : 13709 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341374203 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139824006884136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13710] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13710/stat : 13710 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341374203 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139824005831336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13711] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13711/stat : 13711 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341374203 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139824004779048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13712] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13712/stat : 13712 (java) S 13700 13702 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341374203 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139824003726248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13713] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13713/stat : 13713 (java) S 13700 13702 13088 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 341374204 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139823873693928 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13714] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13714/stat : 13714 (java) S 13700 13702 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341374204 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139823872639992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13715] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13715/stat : 13715 (java) S 13700 13702 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341374204 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139823871587592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13716] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13716/stat : 13716 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341374207 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139823870536080 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13717] ppid=13700 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/13702/task/13717/stat : 13717 (java) S 13700 13702 13088 0 -1 4202560 12699 0 0 0 100 2 0 0 20 0 19 0 341374207 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139823869483704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13718] ppid=13700 vsize=11852648 CPUtime=0.72 cores=1,3,5,7
/proc/13702/task/13718/stat : 13718 (java) S 13700 13702 13088 0 -1 4202560 7747 0 0 0 71 1 0 0 20 0 19 0 341374207 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139822995860024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13719] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13719/stat : 13719 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341374207 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139822994807928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13720] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13720/stat : 13720 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341374207 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139822993755336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13724] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13724/stat : 13724 (java) S 13700 13702 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341374258 12137111552 51604 33554432000 1073741824 1073778376 140736899036880 139822989542440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 11852648

[startup+3.10088 s]
/proc/loadavg: 3.81 3.93 3.80 11/219 13730
/proc/meminfo: memFree=28502572/32873844 swapFree=7116/7116
[pid=13702] ppid=13700 vsize=11852648 CPUtime=6.18 cores=1,3,5,7
/proc/13702/stat : 13702 (java) S 13700 13702 13088 0 -1 4202496 25832 0 1 0 595 23 0 0 20 0 22 0 341374200 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 140736899028016 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 2963162 185815 2291 9 0 2953849 0
[pid=13702/tid=13704] ppid=13700 vsize=11852648 CPUtime=0.56 cores=1,3,5,7
/proc/13702/task/13704/stat : 13704 (java) S 13700 13702 13088 0 -1 4202560 3427 0 1 0 52 4 0 0 20 0 22 0 341374201 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139824056341656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13705] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13705/stat : 13705 (java) S 13700 13702 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139824011094312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13706] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13706/stat : 13706 (java) S 13700 13702 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139824010041512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13707] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13707/stat : 13707 (java) S 13700 13702 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139824008989224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13708] ppid=13700 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/13702/task/13708/stat : 13708 (java) S 13700 13702 13088 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 22 0 341374203 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139824007936424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13709] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13709/stat : 13709 (java) S 13700 13702 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139824006884136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13710] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13710/stat : 13710 (java) S 13700 13702 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139824005831336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13711] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13711/stat : 13711 (java) S 13700 13702 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139824004779048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13712] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13712/stat : 13712 (java) S 13700 13702 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139824003726248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13713] ppid=13700 vsize=11852648 CPUtime=0.06 cores=1,3,5,7
/proc/13702/task/13713/stat : 13713 (java) S 13700 13702 13088 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 22 0 341374204 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139823873693928 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13714] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13714/stat : 13714 (java) S 13700 13702 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341374204 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139823872639992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13715] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13715/stat : 13715 (java) S 13700 13702 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341374204 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139823871587592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13716] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13716/stat : 13716 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139823870536080 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13717] ppid=13700 vsize=11852648 CPUtime=1.13 cores=1,3,5,7
/proc/13702/task/13717/stat : 13717 (java) S 13700 13702 13088 0 -1 4202560 12705 0 0 0 111 2 0 0 20 0 22 0 341374207 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139823869483704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13718] ppid=13700 vsize=11852648 CPUtime=0.9 cores=1,3,5,7
/proc/13702/task/13718/stat : 13718 (java) S 13700 13702 13088 0 -1 4202560 8032 0 0 0 88 2 0 0 20 0 22 0 341374207 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139822995860024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13719] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13719/stat : 13719 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139822994807928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13720] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13720/stat : 13720 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139822993755336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13724] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13724/stat : 13724 (java) S 13700 13702 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341374258 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139822989542440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13728] ppid=13700 vsize=11852648 CPUtime=1.39 cores=1,3,5,7
/proc/13702/task/13728/stat : 13728 (java) R 13700 13702 13088 0 -1 4202560 9 0 0 0 139 0 0 0 20 0 22 0 341374359 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139822992700200 139823885828448 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13729] ppid=13700 vsize=11852648 CPUtime=1.4 cores=1,3,5,7
/proc/13702/task/13729/stat : 13729 (java) R 13700 13702 13088 0 -1 4202560 251 0 0 0 131 9 0 0 20 0 22 0 341374359 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139822991644672 139823886306986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13730] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13730/stat : 13730 (java) S 13700 13702 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341374359 12137111552 185815 33554432000 1073741824 1073778376 140736899036880 139822990594856 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 11852648

[startup+6.30091 s]
/proc/loadavg: 3.81 3.93 3.80 5/219 13730
/proc/meminfo: memFree=28249176/32873844 swapFree=7116/7116
[pid=13702] ppid=13700 vsize=11852648 CPUtime=12.57 cores=1,3,5,7
/proc/13702/stat : 13702 (java) S 13700 13702 13088 0 -1 4202496 25849 0 1 0 1234 23 0 0 20 0 22 0 341374200 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 140736899028016 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 2963162 187425 2292 9 0 2953849 0
[pid=13702/tid=13704] ppid=13700 vsize=11852648 CPUtime=0.56 cores=1,3,5,7
/proc/13702/task/13704/stat : 13704 (java) S 13700 13702 13088 0 -1 4202560 3427 0 1 0 52 4 0 0 20 0 22 0 341374201 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139824056341656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13705] ppid=13700 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/13702/task/13705/stat : 13705 (java) S 13700 13702 13088 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 341374203 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139824011094312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13706] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13706/stat : 13706 (java) S 13700 13702 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139824010041512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13707] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13707/stat : 13707 (java) S 13700 13702 13088 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139824008989224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13708] ppid=13700 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/13702/task/13708/stat : 13708 (java) S 13700 13702 13088 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 341374203 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139824007936424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13709] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13709/stat : 13709 (java) S 13700 13702 13088 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139824006884136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13710] ppid=13700 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/13702/task/13710/stat : 13710 (java) S 13700 13702 13088 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 341374203 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139824005831336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13711] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13711/stat : 13711 (java) S 13700 13702 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139824004779048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13712] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13712/stat : 13712 (java) S 13700 13702 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341374203 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139824003726248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13713] ppid=13700 vsize=11852648 CPUtime=0.2 cores=1,3,5,7
/proc/13702/task/13713/stat : 13713 (java) S 13700 13702 13088 0 -1 4202560 37 0 0 0 20 0 0 0 20 0 22 0 341374204 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139823873693928 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13714] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13714/stat : 13714 (java) S 13700 13702 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341374204 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139823872639992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13715] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13715/stat : 13715 (java) S 13700 13702 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341374204 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139823871587592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13716] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13716/stat : 13716 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139823870536080 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13717] ppid=13700 vsize=11852648 CPUtime=1.21 cores=1,3,5,7
/proc/13702/task/13717/stat : 13717 (java) S 13700 13702 13088 0 -1 4202560 12706 0 0 0 119 2 0 0 20 0 22 0 341374207 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139823869483704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13718] ppid=13700 vsize=11852648 CPUtime=0.95 cores=1,3,5,7
/proc/13702/task/13718/stat : 13718 (java) S 13700 13702 13088 0 -1 4202560 8033 0 0 0 93 2 0 0 20 0 22 0 341374207 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139822995860024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13719] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13719/stat : 13719 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139822994807928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13720] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13720/stat : 13720 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 187425 33554432000 1073741824 1073778376 140736899036880 139822993755336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

[pid=13702/tid=13708] ppid=13700 vsize=11852648 CPUtime=1.59 cores=1,3,5,7
/proc/13702/task/13708/stat : 13708 (java) S 13700 13702 13088 0 -1 4202560 159 0 0 0 154 5 0 0 20 0 22 0 341374203 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139824007936424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13709] ppid=13700 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/13702/task/13709/stat : 13709 (java) S 13700 13702 13088 0 -1 4202560 232 0 0 0 156 7 0 0 20 0 22 0 341374203 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139824006884136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13710] ppid=13700 vsize=11852648 CPUtime=1.52 cores=1,3,5,7
/proc/13702/task/13710/stat : 13710 (java) S 13700 13702 13088 0 -1 4202560 163 0 0 0 146 6 0 0 20 0 22 0 341374203 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139824005831336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13711] ppid=13700 vsize=11852648 CPUtime=1.52 cores=1,3,5,7
/proc/13702/task/13711/stat : 13711 (java) S 13700 13702 13088 0 -1 4202560 172 0 0 0 147 5 0 0 20 0 22 0 341374203 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139824004779048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13712] ppid=13700 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/13702/task/13712/stat : 13712 (java) S 13700 13702 13088 0 -1 4202560 154 0 0 0 148 5 0 0 20 0 22 0 341374203 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139824003726248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13713] ppid=13700 vsize=11852648 CPUtime=62.5 cores=1,3,5,7
/proc/13702/task/13713/stat : 13713 (java) S 13700 13702 13088 0 -1 4202560 224 0 0 0 6240 10 0 0 20 0 22 0 341374204 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139823873693928 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13714] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13714/stat : 13714 (java) S 13700 13702 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341374204 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139823872639992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13715] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13715/stat : 13715 (java) S 13700 13702 13088 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 341374204 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139823871587592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13716] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13716/stat : 13716 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139823870536080 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13717] ppid=13700 vsize=11852648 CPUtime=2.49 cores=1,3,5,7
/proc/13702/task/13717/stat : 13717 (java) S 13700 13702 13088 0 -1 4202560 18240 0 0 0 245 4 0 0 20 0 22 0 341374207 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139823869483704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13718] ppid=13700 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/13702/task/13718/stat : 13718 (java) S 13700 13702 13088 0 -1 4202560 8061 0 0 0 118 2 0 0 20 0 22 0 341374207 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139822995860024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13719] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13719/stat : 13719 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139822994807928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13720] ppid=13700 vsize=11852648 CPUtime=0.4 cores=1,3,5,7
/proc/13702/task/13720/stat : 13720 (java) S 13700 13702 13088 0 -1 4202560 51 0 0 0 23 17 0 0 20 0 22 0 341374207 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139822993755336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13730] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13730/stat : 13730 (java) S 13700 13702 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341374359 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139822990594856 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13754] ppid=13700 vsize=11852648 CPUtime=337.75 cores=1,3,5,7
/proc/13702/task/13754/stat : 13754 (java) R 13700 13702 13088 0 -1 4202560 19 0 0 0 33770 5 0 0 20 0 22 0 341424766 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139822992699472 139823885828752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13755] ppid=13700 vsize=11852648 CPUtime=337.63 cores=1,3,5,7
/proc/13702/task/13755/stat : 13755 (java) R 13700 13702 13088 0 -1 4202560 9 0 0 0 33757 6 0 0 20 0 22 0 341424766 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139822991645056 139823885561719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13756] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13756/stat : 13756 (java) S 13700 13702 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341424766 12137111552 997714 33554432000 1073741824 1073778376 140736899036880 139822989542440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1704.33
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+930.801 s]
/proc/loadavg: 3.79 3.89 3.85 5/219 13831
/proc/meminfo: memFree=26503108/32873844 swapFree=7116/7116
[pid=13702] ppid=13700 vsize=11852648 CPUtime=1798.13 cores=1,3,5,7
/proc/13702/stat : 13702 (java) S 13700 13702 13088 0 -1 4202496 34590 0 1 0 179646 167 0 0 20 0 22 0 341374200 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 140736899028016 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 2963162 1008492 2293 9 0 2953849 0
[pid=13702/tid=13704] ppid=13700 vsize=11852648 CPUtime=0.66 cores=1,3,5,7
/proc/13702/task/13704/stat : 13704 (java) S 13700 13702 13088 0 -1 4202560 3554 0 1 0 59 7 0 0 20 0 22 0 341374201 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824056341656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13705] ppid=13700 vsize=11852648 CPUtime=1.58 cores=1,3,5,7
/proc/13702/task/13705/stat : 13705 (java) S 13700 13702 13088 0 -1 4202560 133 0 0 0 152 6 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824011094312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13706] ppid=13700 vsize=11852648 CPUtime=1.67 cores=1,3,5,7
/proc/13702/task/13706/stat : 13706 (java) S 13700 13702 13088 0 -1 4202560 157 0 0 0 162 5 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824010041512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13707] ppid=13700 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/13702/task/13707/stat : 13707 (java) S 13700 13702 13088 0 -1 4202560 160 0 0 0 157 6 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824008989224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13708] ppid=13700 vsize=11852648 CPUtime=1.72 cores=1,3,5,7
/proc/13702/task/13708/stat : 13708 (java) S 13700 13702 13088 0 -1 4202560 169 0 0 0 166 6 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824007936424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13709] ppid=13700 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/13702/task/13709/stat : 13709 (java) S 13700 13702 13088 0 -1 4202560 232 0 0 0 164 7 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824006884136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13710] ppid=13700 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/13702/task/13710/stat : 13710 (java) S 13700 13702 13088 0 -1 4202560 177 0 0 0 156 7 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824005831336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13711] ppid=13700 vsize=11852648 CPUtime=1.64 cores=1,3,5,7
/proc/13702/task/13711/stat : 13711 (java) S 13700 13702 13088 0 -1 4202560 188 0 0 0 158 6 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824004779048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13712] ppid=13700 vsize=11852648 CPUtime=1.65 cores=1,3,5,7
/proc/13702/task/13712/stat : 13712 (java) S 13700 13702 13088 0 -1 4202560 163 0 0 0 160 5 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824003726248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13713] ppid=13700 vsize=11852648 CPUtime=66.06 cores=1,3,5,7
/proc/13702/task/13713/stat : 13713 (java) S 13700 13702 13088 0 -1 4202560 230 0 0 0 6595 11 0 0 20 0 22 0 341374204 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139823873693928 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13714] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13714/stat : 13714 (java) S 13700 13702 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341374204 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139823872639992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13715] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13715/stat : 13715 (java) S 13700 13702 13088 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 341374204 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139823871587592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13716] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13716/stat : 13716 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139823870536080 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13717] ppid=13700 vsize=11852648 CPUtime=2.49 cores=1,3,5,7
/proc/13702/task/13717/stat : 13717 (java) S 13700 13702 13088 0 -1 4202560 18240 0 0 0 245 4 0 0 20 0 22 0 341374207 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139823869483704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13718] ppid=13700 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/13702/task/13718/stat : 13718 (java) S 13700 13702 13088 0 -1 4202560 8061 0 0 0 118 2 0 0 20 0 22 0 341374207 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822995860024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13719] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13719/stat : 13719 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822994807928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13720] ppid=13700 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/13702/task/13720/stat : 13720 (java) S 13700 13702 13088 0 -1 4202560 55 0 0 0 24 18 0 0 20 0 22 0 341374207 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822993755336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13730] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13730/stat : 13730 (java) S 13700 13702 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341374359 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822990594856 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13754] ppid=13700 vsize=11852648 CPUtime=382.31 cores=1,3,5,7
/proc/13702/task/13754/stat : 13754 (java) R 13700 13702 13088 0 -1 4202560 26 0 0 0 38226 5 0 0 20 0 22 0 341424766 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822992699472 139823885828794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13755] ppid=13700 vsize=11852648 CPUtime=382.18 cores=1,3,5,7
/proc/13702/task/13755/stat : 13755 (java) R 13700 13702 13088 0 -1 4202560 12 0 0 0 38212 6 0 0 20 0 22 0 341424766 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822991645056 139823886003390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13756] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13756/stat : 13756 (java) S 13700 13702 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341424766 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822989542440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.13
Current children cumulated vsize (KiB) 11852648

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

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

[startup+930.801 s]
/proc/loadavg: 3.79 3.89 3.85 5/219 13831
/proc/meminfo: memFree=26503108/32873844 swapFree=7116/7116
[pid=13702] ppid=13700 vsize=11852648 CPUtime=1798.13 cores=1,3,5,7
/proc/13702/stat : 13702 (java) S 13700 13702 13088 0 -1 4202496 34590 0 1 0 179646 167 0 0 20 0 22 0 341374200 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 140736899028016 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13702/statm: 2963162 1008492 2293 9 0 2953849 0
[pid=13702/tid=13704] ppid=13700 vsize=11852648 CPUtime=0.66 cores=1,3,5,7
/proc/13702/task/13704/stat : 13704 (java) S 13700 13702 13088 0 -1 4202560 3554 0 1 0 59 7 0 0 20 0 22 0 341374201 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824056341656 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13705] ppid=13700 vsize=11852648 CPUtime=1.58 cores=1,3,5,7
/proc/13702/task/13705/stat : 13705 (java) S 13700 13702 13088 0 -1 4202560 133 0 0 0 152 6 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824011094312 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13706] ppid=13700 vsize=11852648 CPUtime=1.67 cores=1,3,5,7
/proc/13702/task/13706/stat : 13706 (java) S 13700 13702 13088 0 -1 4202560 157 0 0 0 162 5 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824010041512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13707] ppid=13700 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/13702/task/13707/stat : 13707 (java) S 13700 13702 13088 0 -1 4202560 160 0 0 0 157 6 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824008989224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13708] ppid=13700 vsize=11852648 CPUtime=1.72 cores=1,3,5,7
/proc/13702/task/13708/stat : 13708 (java) S 13700 13702 13088 0 -1 4202560 169 0 0 0 166 6 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824007936424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13709] ppid=13700 vsize=11852648 CPUtime=1.71 cores=1,3,5,7
/proc/13702/task/13709/stat : 13709 (java) S 13700 13702 13088 0 -1 4202560 232 0 0 0 164 7 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824006884136 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13710] ppid=13700 vsize=11852648 CPUtime=1.63 cores=1,3,5,7
/proc/13702/task/13710/stat : 13710 (java) S 13700 13702 13088 0 -1 4202560 177 0 0 0 156 7 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824005831336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13711] ppid=13700 vsize=11852648 CPUtime=1.64 cores=1,3,5,7
/proc/13702/task/13711/stat : 13711 (java) S 13700 13702 13088 0 -1 4202560 188 0 0 0 158 6 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824004779048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13712] ppid=13700 vsize=11852648 CPUtime=1.65 cores=1,3,5,7
/proc/13702/task/13712/stat : 13712 (java) S 13700 13702 13088 0 -1 4202560 163 0 0 0 160 5 0 0 20 0 22 0 341374203 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139824003726248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13713] ppid=13700 vsize=11852648 CPUtime=66.06 cores=1,3,5,7
/proc/13702/task/13713/stat : 13713 (java) S 13700 13702 13088 0 -1 4202560 230 0 0 0 6595 11 0 0 20 0 22 0 341374204 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139823873693928 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13714] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13714/stat : 13714 (java) S 13700 13702 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341374204 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139823872639992 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13715] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13715/stat : 13715 (java) S 13700 13702 13088 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 341374204 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139823871587592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13716] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13716/stat : 13716 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139823870536080 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13717] ppid=13700 vsize=11852648 CPUtime=2.49 cores=1,3,5,7
/proc/13702/task/13717/stat : 13717 (java) S 13700 13702 13088 0 -1 4202560 18240 0 0 0 245 4 0 0 20 0 22 0 341374207 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139823869483704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13718] ppid=13700 vsize=11852648 CPUtime=1.2 cores=1,3,5,7
/proc/13702/task/13718/stat : 13718 (java) S 13700 13702 13088 0 -1 4202560 8061 0 0 0 118 2 0 0 20 0 22 0 341374207 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822995860024 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13719] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13719/stat : 13719 (java) S 13700 13702 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341374207 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822994807928 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=13702/tid=13720] ppid=13700 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/13702/task/13720/stat : 13720 (java) S 13700 13702 13088 0 -1 4202560 55 0 0 0 24 18 0 0 20 0 22 0 341374207 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822993755336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13702/tid=13730] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13730/stat : 13730 (java) S 13700 13702 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 341374359 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822990594856 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13754] ppid=13700 vsize=11852648 CPUtime=382.31 cores=1,3,5,7
/proc/13702/task/13754/stat : 13754 (java) R 13700 13702 13088 0 -1 4202560 26 0 0 0 38226 5 0 0 20 0 22 0 341424766 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822992699472 139823885828794 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=13702/tid=13755] ppid=13700 vsize=11852648 CPUtime=382.18 cores=1,3,5,7
/proc/13702/task/13755/stat : 13755 (java) R 13700 13702 13088 0 -1 4202560 12 0 0 0 38212 6 0 0 20 0 22 0 341424766 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822991645056 139823886003390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=13702/tid=13756] ppid=13700 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/13702/task/13756/stat : 13756 (java) S 13700 13702 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341424766 12137111552 1008492 33554432000 1073741824 1073778376 140736899036880 139822989542440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.13
Current children cumulated vsize (KiB) 11852648

Child status: 143

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


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

Real time (s): 930.838
CPU time (s): 1800.11
CPU user time (s): 1798.59
CPU system time (s): 1.52
CPU usage (%): 193.386
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.35
system time used= 1.9717
maximum resident set size= 4034084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34621
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29576
involuntary context switches= 35149

runsolver used 3.54146 second user time and 9.00363 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-03 21:41:33
IDJOB=3741297
IDBENCH=89828
IDSOLVER=2328
FILE ID=node146/3741297-1338752493
RUNJOBID= node146-1338749727-13105
PBS_JOBID= 14636806
Free space on /tmp= 70904 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1109824.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741297-1338752493/watcher-3741297-1338752493 -o /tmp/evaluation-result-3741297-1338752493/solver-3741297-1338752493 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741297-1338752493.opb

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

MD5SUM BENCH= 6b78caa911ec8d23c05ac6a0b1089c62
RANDOM SEED=511576025

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29064700 kB
Buffers:          312272 kB
Cached:           459724 kB
SwapCached:         1792 kB
Active:          2617972 kB
Inactive:         343872 kB
Active(anon):    2190496 kB
Inactive(anon):     1664 kB
Active(file):     427476 kB
Inactive(file):   342208 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099888 kB
Dirty:              2320 kB
Writeback:             0 kB
AnonPages:       2220228 kB
Mapped:            17136 kB
Shmem:                 0 kB
Slab:             678148 kB
SReclaimable:     117800 kB
SUnreclaim:       560348 kB
KernelStack:        1624 kB
PageTables:         8584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10456704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2168832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70904 MiB
End job on node146 at 2012-06-03 21:57:06