Trace number 3458936

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
Sat4j Resolution 2.3.0SAT (TO)-30 1800.18 1794.37

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUM4acf18ad1cd52676d2699a99f210ed0a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-34
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved YES
Number of variables595
Total number of constraints27842
Number of constraints which are clauses27842
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 595
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 595
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 595
Number of bits of the biggest sum of numbers10
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		12995394264
0.04/0.09	c Max memory 		13063553024
0.04/0.09	c Total memory 		13063553024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458936-1307148898.opb
0.10/0.11	c reading problem ... 
0.69/0.48	c ... done. Wall clock time 0.365s.
0.69/0.48	c #vars     595
0.69/0.48	c #constraints  27842
0.69/0.48	c constraints type 
0.69/0.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27842
0.99/0.50	c SATISFIABLE
0.99/0.50	c OPTIMIZING...
0.99/0.50	c Got one! Elapsed wall clock time (in seconds):0.392
0.99/0.50	o -23
0.99/0.56	c Got one! Elapsed wall clock time (in seconds):0.45
0.99/0.56	o -24
0.99/0.59	c Got one! Elapsed wall clock time (in seconds):0.483
0.99/0.59	o -27
1.89/1.19	c cleaning 2562 clauses out of 5127 with flag 5000/5127
2.46/1.54	c Got one! Elapsed wall clock time (in seconds):1.429
2.46/1.54	o -28
2.66/1.75	c cleaning 3885 clauses out of 7769 with flag 2000/10331
3.30/2.39	c cleaning 4942 clauses out of 9884 with flag 8000/16331
3.40/2.46	c Got one! Elapsed wall clock time (in seconds):2.353
3.40/2.46	o -29
3.94/2.99	c cleaning 5183 clauses out of 10373 with flag 5000/21762
4.69/3.66	c cleaning 5590 clauses out of 11190 with flag 11000/27762
5.65/4.50	c cleaning 6300 clauses out of 12600 with flag 18000/34762
6.60/5.43	c cleaning 7144 clauses out of 14300 with flag 26000/42762
7.71/6.56	c cleaning 8078 clauses out of 16156 with flag 35000/51762
8.93/7.74	c cleaning 9039 clauses out of 18078 with flag 45000/61762
10.33/9.19	c cleaning 10020 clauses out of 20040 with flag 56001/72763
11.94/10.76	c cleaning 11003 clauses out of 22020 with flag 68001/84763
13.55/12.38	c cleaning 11997 clauses out of 24016 with flag 81000/97762
15.66/14.40	c cleaning 13005 clauses out of 26019 with flag 95000/111762
17.59/16.32	c cleaning 14007 clauses out of 28014 with flag 110000/126762
19.80/18.55	c cleaning 15002 clauses out of 30007 with flag 126000/142762
22.13/20.90	c cleaning 16003 clauses out of 32005 with flag 143000/159762
24.84/23.59	c cleaning 16990 clauses out of 34002 with flag 161000/177762
27.57/26.28	c cleaning 18005 clauses out of 36012 with flag 180000/196762
30.49/29.16	c cleaning 19005 clauses out of 38009 with flag 200002/216764
33.71/32.34	c cleaning 19999 clauses out of 40002 with flag 221000/237762
38.33/36.90	c cleaning 20995 clauses out of 42003 with flag 243000/259762
41.37/39.95	c cleaning 22001 clauses out of 44008 with flag 266000/282762
44.99/43.52	c cleaning 23003 clauses out of 46008 with flag 290001/306763
49.03/47.54	c cleaning 24002 clauses out of 48005 with flag 315001/331763
53.35/51.85	c cleaning 24998 clauses out of 50002 with flag 341000/357762
58.29/56.78	c cleaning 26002 clauses out of 52004 with flag 368000/384762
62.41/60.89	c cleaning 26997 clauses out of 54003 with flag 396001/412763
66.85/65.21	c cleaning 27501 clauses out of 55005 with flag 424000/440762
71.27/69.69	c cleaning 27745 clauses out of 55504 with flag 452000/468762
76.30/74.64	c cleaning 27878 clauses out of 55759 with flag 480000/496762
81.33/79.69	c cleaning 27938 clauses out of 55881 with flag 508000/524762
86.86/85.20	c cleaning 27961 clauses out of 55944 with flag 536001/552763
92.49/90.70	c cleaning 27986 clauses out of 55983 with flag 564001/580763
96.44/94.69	c cleaning 27995 clauses out of 55997 with flag 592001/608763
100.54/98.74	c cleaning 27998 clauses out of 56002 with flag 620001/636763
105.36/103.52	c cleaning 28000 clauses out of 56003 with flag 648000/664762
110.19/108.32	c cleaning 27991 clauses out of 56004 with flag 676001/692763
115.62/113.71	c cleaning 28000 clauses out of 56012 with flag 704000/720762
120.43/118.50	c cleaning 27998 clauses out of 56013 with flag 732001/748763
125.95/124.06	c cleaning 28001 clauses out of 56014 with flag 760000/776762
130.88/128.99	c cleaning 28003 clauses out of 56014 with flag 788001/804763
136.60/134.62	c cleaning 28001 clauses out of 56011 with flag 816001/832763
140.54/138.52	c Got one! Elapsed wall clock time (in seconds):138.414
140.54/138.52	o -30
141.53/139.55	c cleaning 28029 clauses out of 56059 with flag 5000/860812
142.46/140.43	c cleaning 17007 clauses out of 34030 with flag 11000/866812
143.46/141.45	c cleaning 12008 clauses out of 24023 with flag 18000/873812
144.56/142.58	c cleaning 9990 clauses out of 20015 with flag 26000/881812
145.86/143.82	c cleaning 9497 clauses out of 19025 with flag 35000/890812
147.28/145.21	c cleaning 9762 clauses out of 19528 with flag 45000/900812
148.97/146.95	c cleaning 10376 clauses out of 20766 with flag 56000/911812
150.77/148.75	c cleaning 11187 clauses out of 22391 with flag 68001/923813
152.97/150.97	c cleaning 12100 clauses out of 24203 with flag 81000/936812
155.28/153.24	c cleaning 13042 clauses out of 26104 with flag 95001/950813
157.10/155.08	c cleaning 14021 clauses out of 28061 with flag 110000/965812
159.42/157.37	c cleaning 15011 clauses out of 30040 with flag 126000/981812
162.02/159.90	c cleaning 16012 clauses out of 32029 with flag 143000/998812
164.83/162.72	c cleaning 17007 clauses out of 34019 with flag 161002/1016814
168.14/166.07	c cleaning 18006 clauses out of 36011 with flag 180001/1035813
171.15/169.02	c cleaning 18998 clauses out of 38004 with flag 200000/1055812
174.66/172.55	c cleaning 20003 clauses out of 40006 with flag 221000/1076812
178.28/176.19	c cleaning 20997 clauses out of 42003 with flag 243000/1098812
182.09/179.98	c cleaning 21996 clauses out of 44006 with flag 266000/1121812
186.01/183.84	c cleaning 22996 clauses out of 46011 with flag 290001/1145813
190.02/187.88	c cleaning 24001 clauses out of 48014 with flag 315000/1170812
195.25/193.07	c cleaning 25004 clauses out of 50014 with flag 341001/1196813
201.88/199.61	c cleaning 26002 clauses out of 52009 with flag 368000/1223812
207.52/205.22	c cleaning 27001 clauses out of 54009 with flag 396002/1251814
212.24/209.98	c cleaning 27494 clauses out of 55007 with flag 424001/1279813
217.36/215.06	c cleaning 27755 clauses out of 55512 with flag 452000/1307812
222.18/219.82	c cleaning 27869 clauses out of 55757 with flag 480000/1335812
228.28/225.91	c cleaning 27936 clauses out of 55889 with flag 508001/1363813
233.92/231.50	c cleaning 27976 clauses out of 55953 with flag 536001/1391813
238.25/235.80	c cleaning 27980 clauses out of 55976 with flag 564000/1419812
242.77/240.40	c cleaning 27992 clauses out of 55996 with flag 592000/1447812
247.40/244.98	c cleaning 27998 clauses out of 56004 with flag 620000/1475812
252.23/249.72	c cleaning 27999 clauses out of 56006 with flag 648000/1503812
257.52/255.00	c cleaning 27992 clauses out of 56008 with flag 676001/1531813
263.36/260.88	c cleaning 28007 clauses out of 56015 with flag 704000/1559812
269.09/266.50	c cleaning 27994 clauses out of 56008 with flag 732000/1587812
273.61/271.06	c cleaning 28006 clauses out of 56014 with flag 760000/1615812
278.64/276.06	c cleaning 27998 clauses out of 56008 with flag 788000/1643812
284.15/281.51	c cleaning 27993 clauses out of 56011 with flag 816001/1671813
288.57/286.01	c cleaning 27998 clauses out of 56017 with flag 844000/1699812
293.97/291.37	c cleaning 27997 clauses out of 56020 with flag 872001/1727813
299.49/296.87	c cleaning 28004 clauses out of 56022 with flag 900000/1755812
304.71/302.00	c cleaning 27994 clauses out of 56018 with flag 928000/1783812
310.12/307.45	c cleaning 28005 clauses out of 56024 with flag 956000/1811812
315.83/313.16	c cleaning 28007 clauses out of 56019 with flag 984000/1839812
321.66/318.91	c cleaning 27994 clauses out of 56012 with flag 1012000/1867812
327.36/324.66	c cleaning 28003 clauses out of 56019 with flag 1040001/1895813
332.80/330.05	c cleaning 28002 clauses out of 56015 with flag 1068000/1923812
338.21/335.46	c cleaning 28005 clauses out of 56014 with flag 1096001/1951813
343.92/341.12	c cleaning 27991 clauses out of 56008 with flag 1124000/1979812
350.23/347.50	c cleaning 28002 clauses out of 56018 with flag 1152001/2007813
356.24/353.42	c cleaning 28007 clauses out of 56015 with flag 1180000/2035812
361.49/358.61	c cleaning 28000 clauses out of 56009 with flag 1208001/2063813
365.20/362.32	c cleaning 27997 clauses out of 56008 with flag 1236000/2091812
369.82/366.92	c cleaning 28001 clauses out of 56012 with flag 1264001/2119813
375.15/372.29	c cleaning 27991 clauses out of 56010 with flag 1292000/2147812
380.37/377.44	c cleaning 27999 clauses out of 56019 with flag 1320000/2175812
385.20/382.23	c cleaning 27990 clauses out of 56020 with flag 1348000/2203812
390.70/387.71	c cleaning 28008 clauses out of 56030 with flag 1376000/2231812
396.62/393.64	c cleaning 28010 clauses out of 56022 with flag 1404000/2259812
402.05/399.08	c cleaning 28002 clauses out of 56012 with flag 1432000/2287812
407.07/404.04	c cleaning 27996 clauses out of 56010 with flag 1460000/2315812
412.38/409.39	c cleaning 28004 clauses out of 56014 with flag 1488000/2343812
417.52/414.44	c cleaning 27993 clauses out of 56011 with flag 1516001/2371813
422.84/419.74	c cleaning 27995 clauses out of 56017 with flag 1544000/2399812
427.77/424.69	c cleaning 27992 clauses out of 56022 with flag 1572000/2427812
433.77/430.60	c cleaning 28013 clauses out of 56031 with flag 1600001/2455813
438.79/435.66	c cleaning 27995 clauses out of 56017 with flag 1628000/2483812
443.78/440.60	c cleaning 27994 clauses out of 56022 with flag 1656000/2511812
449.19/446.01	c cleaning 28002 clauses out of 56028 with flag 1684000/2539812
453.90/450.74	c cleaning 28005 clauses out of 56026 with flag 1712000/2567812
458.80/455.60	c cleaning 28000 clauses out of 56021 with flag 1740000/2595812
464.02/460.81	c cleaning 28004 clauses out of 56021 with flag 1768000/2623812
468.92/465.77	c cleaning 28003 clauses out of 56017 with flag 1796000/2651812
474.14/470.97	c cleaning 27999 clauses out of 56014 with flag 1824000/2679812
479.24/476.03	c cleaning 27999 clauses out of 56016 with flag 1852001/2707813
483.97/480.78	c cleaning 28005 clauses out of 56018 with flag 1880002/2735814
488.76/485.54	c cleaning 28000 clauses out of 56011 with flag 1908000/2763812
493.97/490.79	c cleaning 27995 clauses out of 56011 with flag 1936000/2791812
499.18/495.91	c cleaning 27997 clauses out of 56016 with flag 1964000/2819812
504.59/501.33	c cleaning 27998 clauses out of 56019 with flag 1992000/2847812
510.41/507.15	c cleaning 28011 clauses out of 56021 with flag 2020000/2875812
515.70/512.46	c cleaning 27997 clauses out of 56010 with flag 2048000/2903812
520.81/517.58	c cleaning 27996 clauses out of 56014 with flag 2076001/2931813
526.03/522.71	c cleaning 28003 clauses out of 56017 with flag 2104000/2959812
531.63/528.33	c cleaning 27997 clauses out of 56014 with flag 2132000/2987812
536.54/533.29	c cleaning 28007 clauses out of 56017 with flag 2160000/3015812
541.96/538.68	c cleaning 28005 clauses out of 56011 with flag 2188001/3043813
546.37/543.01	c cleaning 27995 clauses out of 56005 with flag 2216000/3071812
550.60/547.26	c cleaning 27999 clauses out of 56010 with flag 2244000/3099812
555.11/551.78	c cleaning 27993 clauses out of 56011 with flag 2272000/3127812
559.94/556.53	c cleaning 27999 clauses out of 56018 with flag 2300000/3155812
564.85/561.46	c cleaning 28004 clauses out of 56019 with flag 2328000/3183812
569.57/566.14	c cleaning 28003 clauses out of 56015 with flag 2356000/3211812
574.98/571.55	c cleaning 27999 clauses out of 56012 with flag 2384000/3239812
579.69/576.20	c cleaning 28002 clauses out of 56014 with flag 2412001/3267813
585.50/582.03	c cleaning 27998 clauses out of 56011 with flag 2440000/3295812
590.84/587.36	c cleaning 28005 clauses out of 56014 with flag 2468001/3323813
596.64/593.16	c cleaning 27998 clauses out of 56008 with flag 2496000/3351812
601.34/597.87	c cleaning 27987 clauses out of 56011 with flag 2524001/3379813
607.07/603.58	c cleaning 27996 clauses out of 56023 with flag 2552000/3407812
612.90/609.36	c cleaning 28002 clauses out of 56028 with flag 2580001/3435813
618.61/615.01	c cleaning 28008 clauses out of 56025 with flag 2608000/3463812
624.53/620.97	c cleaning 28004 clauses out of 56017 with flag 2636000/3491812
628.74/625.14	c cleaning 27994 clauses out of 56013 with flag 2664000/3519812
633.35/629.78	c cleaning 28005 clauses out of 56020 with flag 2692001/3547813
638.67/635.05	c cleaning 27998 clauses out of 56014 with flag 2720000/3575812
643.90/640.23	c cleaning 28002 clauses out of 56016 with flag 2748000/3603812
648.89/645.28	c cleaning 28002 clauses out of 56015 with flag 2776001/3631813
654.70/651.01	c cleaning 27995 clauses out of 56012 with flag 2804000/3659812
659.91/656.29	c cleaning 27999 clauses out of 56017 with flag 2832000/3687812
665.41/661.76	c cleaning 28003 clauses out of 56018 with flag 2860000/3715812
670.13/666.40	c cleaning 28001 clauses out of 56016 with flag 2888001/3743813
675.44/671.79	c cleaning 28002 clauses out of 56015 with flag 2916001/3771813
680.65/676.98	c cleaning 27984 clauses out of 56012 with flag 2944000/3799812
686.16/682.45	c cleaning 28008 clauses out of 56029 with flag 2972001/3827813
692.16/688.41	c cleaning 28006 clauses out of 56020 with flag 3000000/3855812
697.57/693.81	c cleaning 27997 clauses out of 56015 with flag 3028001/3883813
702.59/698.90	c cleaning 28001 clauses out of 56018 with flag 3056001/3911813
707.82/704.02	c cleaning 27994 clauses out of 56017 with flag 3084001/3939813
713.62/709.80	c cleaning 28001 clauses out of 56022 with flag 3112000/3967812
718.74/714.93	c cleaning 28001 clauses out of 56021 with flag 3140000/3995812
724.54/720.72	c cleaning 28003 clauses out of 56020 with flag 3168000/4023812
730.35/726.51	c cleaning 28004 clauses out of 56017 with flag 3196000/4051812
735.29/731.41	c cleaning 27999 clauses out of 56013 with flag 3224000/4079812
740.69/736.84	c cleaning 27997 clauses out of 56014 with flag 3252000/4107812
746.10/742.28	c cleaning 27996 clauses out of 56017 with flag 3280000/4135812
751.10/747.26	c cleaning 28003 clauses out of 56021 with flag 3308000/4163812
756.71/752.83	c cleaning 28009 clauses out of 56018 with flag 3336000/4191812
762.33/758.49	c cleaning 27995 clauses out of 56009 with flag 3364000/4219812
767.84/763.95	c cleaning 27980 clauses out of 56014 with flag 3392000/4247812
773.45/769.57	c cleaning 28004 clauses out of 56035 with flag 3420001/4275813
778.85/774.92	c cleaning 27994 clauses out of 56030 with flag 3448000/4303812
784.75/780.84	c cleaning 28006 clauses out of 56036 with flag 3476000/4331812
790.75/786.86	c cleaning 28003 clauses out of 56031 with flag 3504001/4359813
796.77/792.85	c cleaning 27997 clauses out of 56028 with flag 3532001/4387813
802.79/798.89	c cleaning 28010 clauses out of 56030 with flag 3560000/4415812
809.20/805.27	c cleaning 28004 clauses out of 56020 with flag 3588000/4443812
816.29/812.34	c cleaning 27999 clauses out of 56016 with flag 3616000/4471812
822.10/818.14	c cleaning 28000 clauses out of 56017 with flag 3644000/4499812
828.01/824.04	c cleaning 28000 clauses out of 56017 with flag 3672000/4527812
833.71/829.75	c cleaning 28003 clauses out of 56017 with flag 3700000/4555812
837.51/833.57	c cleaning 28005 clauses out of 56016 with flag 3728002/4583814
841.93/837.99	c cleaning 27998 clauses out of 56009 with flag 3756000/4611812
846.84/842.83	c cleaning 27996 clauses out of 56011 with flag 3784000/4639812
851.96/847.90	c cleaning 27996 clauses out of 56015 with flag 3812000/4667812
856.48/852.47	c cleaning 28007 clauses out of 56019 with flag 3840000/4695812
861.69/857.69	c cleaning 28003 clauses out of 56013 with flag 3868001/4723813
867.70/863.62	c cleaning 27999 clauses out of 56010 with flag 3896001/4751813
872.91/868.82	c cleaning 27991 clauses out of 56010 with flag 3924000/4779812
878.22/874.15	c cleaning 28003 clauses out of 56019 with flag 3952000/4807812
883.23/879.18	c cleaning 28001 clauses out of 56017 with flag 3980001/4835813
887.73/883.63	c cleaning 27991 clauses out of 56016 with flag 4008001/4863813
892.55/888.42	c cleaning 28003 clauses out of 56025 with flag 4036001/4891813
897.66/893.52	c cleaning 27998 clauses out of 56022 with flag 4064001/4919813
903.16/899.07	c cleaning 27992 clauses out of 56023 with flag 4092000/4947812
908.18/904.08	c cleaning 27998 clauses out of 56031 with flag 4120000/4975812
913.39/909.22	c cleaning 28003 clauses out of 56033 with flag 4148000/5003812
918.50/914.33	c cleaning 27992 clauses out of 56030 with flag 4176000/5031812
923.02/918.89	c cleaning 28009 clauses out of 56038 with flag 4204000/5059812
928.04/923.84	c cleaning 27998 clauses out of 56029 with flag 4232000/5087812
933.34/929.12	c cleaning 28010 clauses out of 56031 with flag 4260000/5115812
938.65/934.40	c cleaning 27996 clauses out of 56021 with flag 4288000/5143812
943.95/939.70	c cleaning 27997 clauses out of 56026 with flag 4316001/5171813
949.18/944.92	c cleaning 28001 clauses out of 56028 with flag 4344000/5199812
954.18/949.91	c cleaning 28004 clauses out of 56027 with flag 4372000/5227812
959.41/955.19	c cleaning 28003 clauses out of 56023 with flag 4400000/5255812
964.33/960.08	c cleaning 27994 clauses out of 56020 with flag 4428000/5283812
969.63/965.30	c cleaning 27994 clauses out of 56026 with flag 4456000/5311812
974.64/970.35	c cleaning 28005 clauses out of 56032 with flag 4484000/5339812
980.54/976.24	c cleaning 27998 clauses out of 56028 with flag 4512001/5367813
985.86/981.54	c cleaning 28006 clauses out of 56029 with flag 4540000/5395812
991.26/986.90	c cleaning 28002 clauses out of 56023 with flag 4568000/5423812
996.16/991.87	c cleaning 28010 clauses out of 56021 with flag 4596000/5451812
1002.16/997.83	c cleaning 27997 clauses out of 56011 with flag 4624000/5479812
1007.48/1003.17	c cleaning 27997 clauses out of 56014 with flag 4652000/5507812
1012.58/1008.23	c cleaning 27999 clauses out of 56017 with flag 4680000/5535812
1017.50/1013.12	c cleaning 27998 clauses out of 56018 with flag 4708000/5563812
1022.29/1017.97	c cleaning 27996 clauses out of 56020 with flag 4736000/5591812
1027.21/1022.89	c cleaning 27996 clauses out of 56024 with flag 4764000/5619812
1032.42/1028.05	c cleaning 28000 clauses out of 56028 with flag 4792000/5647812
1038.34/1033.95	c cleaning 28005 clauses out of 56028 with flag 4820000/5675812
1043.85/1039.44	c cleaning 28001 clauses out of 56023 with flag 4848000/5703812
1049.95/1045.57	c cleaning 28006 clauses out of 56022 with flag 4876000/5731812
1055.16/1050.70	c cleaning 27997 clauses out of 56016 with flag 4904000/5759812
1060.57/1056.13	c cleaning 27998 clauses out of 56020 with flag 4932001/5787813
1065.69/1061.20	c cleaning 28008 clauses out of 56021 with flag 4960000/5815812
1070.59/1066.11	c cleaning 27997 clauses out of 56013 with flag 4988000/5843812
1075.81/1071.41	c cleaning 28006 clauses out of 56016 with flag 5016000/5871812
1081.42/1076.97	c cleaning 27992 clauses out of 56010 with flag 5044000/5899812
1086.20/1081.80	c cleaning 27996 clauses out of 56019 with flag 5072001/5927813
1091.51/1087.06	c cleaning 28004 clauses out of 56022 with flag 5100000/5955812
1096.52/1092.08	c cleaning 27996 clauses out of 56018 with flag 5128000/5983812
1101.73/1097.28	c cleaning 28000 clauses out of 56022 with flag 5156000/6011812
1106.94/1102.47	c cleaning 27999 clauses out of 56022 with flag 5184000/6039812
1111.55/1107.02	c cleaning 28007 clauses out of 56024 with flag 5212001/6067813
1116.46/1112.01	c cleaning 27992 clauses out of 56016 with flag 5240000/6095812
1121.47/1116.96	c cleaning 27999 clauses out of 56024 with flag 5268000/6123812
1127.29/1122.75	c cleaning 28004 clauses out of 56026 with flag 5296001/6151813
1132.99/1128.49	c cleaning 28004 clauses out of 56021 with flag 5324000/6179812
1138.90/1134.38	c cleaning 27997 clauses out of 56018 with flag 5352001/6207813
1144.70/1140.18	c cleaning 28002 clauses out of 56020 with flag 5380000/6235812
1151.11/1146.55	c cleaning 27997 clauses out of 56018 with flag 5408000/6263812
1157.51/1152.93	c cleaning 28003 clauses out of 56021 with flag 5436000/6291812
1164.92/1160.40	c cleaning 28001 clauses out of 56018 with flag 5464000/6319812
1170.33/1165.72	c cleaning 27995 clauses out of 56017 with flag 5492000/6347812
1175.33/1170.78	c cleaning 27992 clauses out of 56022 with flag 5520000/6375812
1180.85/1176.29	c cleaning 28003 clauses out of 56030 with flag 5548000/6403812
1186.25/1181.69	c cleaning 27996 clauses out of 56027 with flag 5576000/6431812
1191.86/1187.29	c cleaning 28002 clauses out of 56031 with flag 5604000/6459812
1197.68/1193.08	c cleaning 27997 clauses out of 56029 with flag 5632000/6487812
1204.29/1199.62	c cleaning 28001 clauses out of 56032 with flag 5660000/6515812
1209.90/1205.26	c cleaning 28009 clauses out of 56032 with flag 5688001/6543813
1215.51/1210.83	c cleaning 27992 clauses out of 56022 with flag 5716000/6571812
1221.01/1216.30	c cleaning 28009 clauses out of 56031 with flag 5744001/6599813
1226.92/1222.22	c cleaning 27992 clauses out of 56021 with flag 5772000/6627812
1232.63/1227.92	c cleaning 28004 clauses out of 56029 with flag 5800000/6655812
1238.25/1233.50	c cleaning 28005 clauses out of 56025 with flag 5828000/6683812
1243.95/1239.21	c cleaning 27998 clauses out of 56020 with flag 5856000/6711812
1250.07/1245.31	c cleaning 28005 clauses out of 56023 with flag 5884001/6739813
1255.98/1251.21	c cleaning 28000 clauses out of 56018 with flag 5912001/6767813
1261.18/1256.49	c cleaning 27986 clauses out of 56017 with flag 5940000/6795812
1264.89/1260.18	c cleaning 28003 clauses out of 56031 with flag 5968000/6823812
1269.00/1264.26	c cleaning 28001 clauses out of 56028 with flag 5996000/6851812
1273.31/1268.57	c cleaning 28010 clauses out of 56028 with flag 6024001/6879813
1277.92/1273.11	c cleaning 27999 clauses out of 56017 with flag 6052000/6907812
1282.63/1277.80	c cleaning 28002 clauses out of 56018 with flag 6080000/6935812
1287.65/1282.83	c cleaning 27995 clauses out of 56016 with flag 6108000/6963812
1292.88/1288.09	c cleaning 27999 clauses out of 56021 with flag 6136000/6991812
1297.47/1292.65	c cleaning 28002 clauses out of 56023 with flag 6164001/7019813
1302.69/1297.86	c cleaning 28005 clauses out of 56020 with flag 6192000/7047812
1308.42/1303.57	c cleaning 28001 clauses out of 56015 with flag 6220000/7075812
1312.91/1308.08	c cleaning 27992 clauses out of 56014 with flag 6248000/7103812
1317.52/1312.68	c cleaning 27995 clauses out of 56022 with flag 6276000/7131812
1322.42/1317.55	c cleaning 27999 clauses out of 56027 with flag 6304000/7159812
1328.64/1323.74	c cleaning 28010 clauses out of 56028 with flag 6332000/7187812
1334.15/1329.28	c cleaning 27985 clauses out of 56018 with flag 6360000/7215812
1339.85/1334.93	c cleaning 28008 clauses out of 56033 with flag 6388000/7243812
1345.16/1340.21	c cleaning 28006 clauses out of 56026 with flag 6416001/7271813
1350.48/1345.52	c cleaning 27998 clauses out of 56019 with flag 6444000/7299812
1355.39/1350.45	c cleaning 27993 clauses out of 56021 with flag 6472000/7327812
1360.71/1355.75	c cleaning 27997 clauses out of 56028 with flag 6500000/7355812
1366.23/1361.21	c cleaning 28010 clauses out of 56031 with flag 6528000/7383812
1371.15/1366.18	c cleaning 27992 clauses out of 56021 with flag 6556000/7411812
1375.95/1370.99	c cleaning 27996 clauses out of 56029 with flag 6584000/7439812
1380.95/1375.98	c cleaning 28010 clauses out of 56035 with flag 6612002/7467814
1386.30/1381.24	c cleaning 28003 clauses out of 56023 with flag 6640000/7495812
1391.62/1386.51	c cleaning 28000 clauses out of 56020 with flag 6668000/7523812
1396.64/1391.56	c cleaning 28001 clauses out of 56021 with flag 6696001/7551813
1401.92/1396.88	c cleaning 28008 clauses out of 56019 with flag 6724000/7579812
1407.43/1402.35	c cleaning 27996 clauses out of 56012 with flag 6752001/7607813
1412.74/1407.67	c cleaning 27998 clauses out of 56015 with flag 6780000/7635812
1418.56/1413.44	c cleaning 28001 clauses out of 56018 with flag 6808001/7663813
1423.27/1418.19	c cleaning 27988 clauses out of 56016 with flag 6836000/7691812
1428.38/1423.29	c cleaning 27998 clauses out of 56028 with flag 6864000/7719812
1433.30/1428.14	c cleaning 27999 clauses out of 56031 with flag 6892001/7747813
1438.52/1433.38	c cleaning 28012 clauses out of 56031 with flag 6920000/7775812
1443.81/1438.63	c cleaning 27991 clauses out of 56019 with flag 6948000/7803812
1449.02/1443.89	c cleaning 28002 clauses out of 56028 with flag 6976000/7831812
1454.32/1449.17	c cleaning 27995 clauses out of 56026 with flag 7004000/7859812
1459.73/1454.59	c cleaning 27994 clauses out of 56031 with flag 7032000/7887812
1465.05/1459.90	c cleaning 28008 clauses out of 56037 with flag 7060000/7915812
1470.67/1465.44	c cleaning 28010 clauses out of 56029 with flag 7088000/7943812
1475.47/1470.25	c cleaning 27985 clauses out of 56020 with flag 7116001/7971813
1480.68/1475.48	c cleaning 28008 clauses out of 56034 with flag 7144000/7999812
1485.98/1480.76	c cleaning 28003 clauses out of 56026 with flag 7172000/8027812
1491.49/1486.25	c cleaning 27994 clauses out of 56025 with flag 7200002/8055814
1496.81/1491.56	c cleaning 27998 clauses out of 56030 with flag 7228001/8083813
1502.42/1497.17	c cleaning 27994 clauses out of 56031 with flag 7256000/8111812
1508.33/1503.08	c cleaning 28010 clauses out of 56038 with flag 7284001/8139813
1513.63/1508.32	c cleaning 27998 clauses out of 56027 with flag 7312000/8167812
1518.56/1513.23	c cleaning 27999 clauses out of 56029 with flag 7340000/8195812
1524.06/1518.73	c cleaning 27998 clauses out of 56030 with flag 7368000/8223812
1529.08/1523.76	c cleaning 28005 clauses out of 56033 with flag 7396001/8251813
1534.31/1529.00	c cleaning 28004 clauses out of 56027 with flag 7424000/8279812
1538.83/1533.48	c cleaning 27992 clauses out of 56024 with flag 7452001/8307813
1543.92/1538.51	c cleaning 27993 clauses out of 56031 with flag 7480000/8335812
1549.22/1543.88	c cleaning 28007 clauses out of 56038 with flag 7508000/8363812
1554.53/1549.15	c cleaning 28009 clauses out of 56032 with flag 7536001/8391813
1560.04/1554.65	c cleaning 28004 clauses out of 56022 with flag 7564000/8419812
1565.65/1560.21	c cleaning 27999 clauses out of 56018 with flag 7592000/8447812
1570.77/1565.33	c cleaning 28004 clauses out of 56019 with flag 7620000/8475812
1575.66/1570.27	c cleaning 27989 clauses out of 56015 with flag 7648000/8503812
1581.16/1575.70	c cleaning 27996 clauses out of 56026 with flag 7676000/8531812
1586.69/1581.23	c cleaning 28008 clauses out of 56030 with flag 7704000/8559812
1592.29/1586.85	c cleaning 28002 clauses out of 56022 with flag 7732000/8587812
1598.31/1592.82	c cleaning 27996 clauses out of 56020 with flag 7760000/8615812
1603.31/1597.87	c cleaning 27996 clauses out of 56024 with flag 7788000/8643812
1608.72/1603.24	c cleaning 28005 clauses out of 56028 with flag 7816000/8671812
1614.22/1608.77	c cleaning 28004 clauses out of 56023 with flag 7844000/8699812
1619.44/1613.95	c cleaning 28001 clauses out of 56020 with flag 7872001/8727813
1624.77/1619.22	c cleaning 27991 clauses out of 56018 with flag 7900000/8755812
1630.17/1624.65	c cleaning 27998 clauses out of 56027 with flag 7928000/8783812
1636.16/1630.61	c cleaning 27998 clauses out of 56029 with flag 7956000/8811812
1641.37/1635.86	c cleaning 28012 clauses out of 56032 with flag 7984001/8839813
1647.27/1641.72	c cleaning 28003 clauses out of 56019 with flag 8012000/8867812
1652.67/1647.10	c cleaning 27993 clauses out of 56016 with flag 8040000/8895812
1658.17/1652.70	c cleaning 27994 clauses out of 56023 with flag 8068000/8923812
1663.68/1658.13	c cleaning 28007 clauses out of 56029 with flag 8096000/8951812
1669.28/1663.74	c cleaning 28002 clauses out of 56022 with flag 8124000/8979812
1675.49/1669.97	c cleaning 27995 clauses out of 56020 with flag 8152000/9007812
1680.50/1674.90	c cleaning 27995 clauses out of 56025 with flag 8180000/9035812
1684.90/1679.39	c cleaning 27994 clauses out of 56030 with flag 8208000/9063812
1690.11/1684.55	c cleaning 28004 clauses out of 56037 with flag 8236001/9091813
1695.24/1689.63	c cleaning 28010 clauses out of 56032 with flag 8264000/9119812
1700.42/1694.86	c cleaning 28000 clauses out of 56022 with flag 8292000/9147812
1705.83/1700.25	c cleaning 27995 clauses out of 56022 with flag 8320000/9175812
1711.45/1705.86	c cleaning 28007 clauses out of 56027 with flag 8348000/9203812
1716.96/1711.33	c cleaning 27987 clauses out of 56020 with flag 8376000/9231812
1722.37/1716.72	c cleaning 27996 clauses out of 56034 with flag 8404001/9259813
1727.59/1721.92	c cleaning 28009 clauses out of 56037 with flag 8432000/9287812
1733.19/1727.56	c cleaning 27998 clauses out of 56028 with flag 8460000/9315812
1738.50/1732.84	c cleaning 28000 clauses out of 56030 with flag 8488000/9343812
1744.40/1738.78	c cleaning 28006 clauses out of 56030 with flag 8516000/9371812
1749.52/1743.81	c cleaning 27999 clauses out of 56024 with flag 8544000/9399812
1754.92/1749.27	c cleaning 28000 clauses out of 56025 with flag 8572000/9427812
1760.92/1755.29	c cleaning 27988 clauses out of 56025 with flag 8600000/9455812
1767.12/1761.45	c cleaning 28003 clauses out of 56038 with flag 8628001/9483813
1772.13/1766.50	c cleaning 28000 clauses out of 56034 with flag 8656000/9511812
1777.75/1772.04	c cleaning 28008 clauses out of 56034 with flag 8684000/9539812
1783.14/1777.50	c cleaning 27996 clauses out of 56026 with flag 8712000/9567812
1788.15/1782.48	c cleaning 28010 clauses out of 56030 with flag 8740000/9595812
1794.15/1788.45	c cleaning 27992 clauses out of 56021 with flag 8768001/9623813
1800.06/1794.32	c starts		: 306
1800.06/1794.32	c conflicts		: 9651813
1800.06/1794.32	c decisions		: 10300549
1800.06/1794.32	c propagations		: 58856881
1800.06/1794.32	c inspects		: 9589203709
1800.06/1794.32	c shortcuts		: 0
1800.06/1794.32	c learnt literals	: 0
1800.06/1794.32	c learnt binary clauses	: 0
1800.06/1794.32	c learnt ternary clauses	: 0
1800.06/1794.32	c learnt constraints	: 9651813
1800.06/1794.32	c ignored constraints	: 0
1800.06/1794.32	c root simplifications	: 0
1800.06/1794.32	c removed literals (reason simplification)	: 151706023
1800.06/1794.32	c reason swapping (by a shorter reason)	: 0
1800.06/1794.32	c Calls to reduceDB	: 366
1800.06/1794.32	c number of reductions to clauses (during analyze)	: 0
1800.06/1794.32	c number of learned constraints concerned by reduction	: 0
1800.06/1794.32	c number of learning phase by resolution	: 0
1800.06/1794.32	c number of learning phase by cutting planes	: 0
1800.06/1794.32	c speed (assignments/second)	: 35545.995126208254
1800.06/1794.32	c non guided choices	0
1800.06/1794.34	c learnt constraints type 
1800.06/1794.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 56029
1800.06/1794.34	c constraints type 
1800.06/1794.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1794.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 27842
1800.06/1794.34	s SATISFIABLE
1800.06/1794.34	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 
1800.06/1794.34	c objective function=-30
1800.06/1794.34	c Total wall clock time (in seconds): 1794.233

Verifier Data 

OK	-30

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458936-1307148898/watcher-3458936-1307148898 -o /tmp/evaluation-result-3458936-1307148898/solver-3458936-1307148898 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458936-1307148898.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.05 1.93 3/461 20532
/proc/meminfo: memFree=29456212/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 2805 0 1 0 0 0 0 0 25 0 2 0 905120471 13833195520 2507 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3377245 2521 906 9 0 3368401 0
[pid=20532/tid=20533] ppid=20530 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20532 18266 0 -1 4202560 5670 0 1 0 0 0 0 0 25 0 2 0 905120471 13850947584 6486 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0561149 s]
/proc/loadavg: 2.05 2.05 1.93 3/461 20532
/proc/meminfo: memFree=29456212/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 13956 0 1 0 3 1 0 0 25 0 13 0 905120471 13874806784 13653 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3387404 13653 1685 9 0 3378152 0
[pid=20532/tid=20533] ppid=20530 vsize=13549616 CPUtime=0.04 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) S 20530 20532 18266 0 -1 4202560 12808 0 1 0 3 1 0 0 18 0 13 0 905120471 13874806784 13653 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231895488512 0 2147483391 0 16800971 18446744071699215550 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616

[startup+0.105359 s]
/proc/loadavg: 2.05 2.05 1.93 3/461 20532
/proc/meminfo: memFree=29456212/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13621528 CPUtime=0.1 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 15417 0 1 0 9 1 0 0 25 0 18 0 905120471 13948444672 15114 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3405382 15114 2093 9 0 3396116 0
[pid=20532/tid=20533] ppid=20530 vsize=13621528 CPUtime=0.08 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20532 18266 0 -1 4202560 13680 0 1 0 7 1 0 0 21 0 18 0 905120471 13948444672 15115 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 47085526165523 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621528

[startup+0.309421 s]
/proc/loadavg: 2.05 2.05 1.93 3/461 20532
/proc/meminfo: memFree=29456212/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13623260 CPUtime=0.48 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 18575 0 1 0 46 2 0 0 25 0 18 0 905120471 13950218240 17901 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3405815 17902 2201 9 0 3396549 0
[pid=20532/tid=20533] ppid=20530 vsize=13623260 CPUtime=0.29 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20532 18266 0 -1 4202560 15519 0 1 0 27 2 0 0 21 0 18 0 905120471 13950218240 17902 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 47085528263507 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13623260

[startup+0.700328 s]
/proc/loadavg: 2.05 2.05 1.93 3/461 20532
/proc/meminfo: memFree=29456212/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13631284 CPUtime=1.46 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 32921 0 1 0 141 5 0 0 25 0 19 0 905120471 13958434816 30774 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3407821 30774 2232 9 0 3398555 0
[pid=20532/tid=20533] ppid=20530 vsize=13631284 CPUtime=0.67 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20532 18266 0 -1 4202560 26003 0 1 0 64 3 0 0 22 0 19 0 905120471 13958434816 30774 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 47085528263507 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13631284

[startup+1.50117 s]
/proc/loadavg: 2.05 2.05 1.93 3/480 20551
/proc/meminfo: memFree=29333556/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13640024 CPUtime=2.46 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 43491 0 1 0 240 6 0 0 25 0 19 0 905120471 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3410006 39706 2263 9 0 3400740 0
[pid=20532/tid=20533] ppid=20530 vsize=13640024 CPUtime=1.45 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20532 18266 0 -1 4202560 28652 0 1 0 141 4 0 0 18 0 19 0 905120471 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 46912505834675 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20532/tid=20535] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905120473 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20536] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905120473 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20537] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905120473 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20538] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905120473 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20539] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20532 18266 0 -1 4202560 748 0 0 0 0 0 0 0 18 0 19 0 905120473 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20540] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20532 18266 0 -1 4202560 364 0 0 0 0 0 0 0 18 0 19 0 905120473 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20541] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20532 18266 0 -1 4202560 455 0 0 0 0 0 0 0 18 0 19 0 905120473 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20542] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) S 20530 20532 18266 0 -1 4202560 547 0 0 0 0 0 0 0 18 0 19 0 905120473 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20543] ppid=20530 vsize=13640024 CPUtime=0.01 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) S 20530 20532 18266 0 -1 4202560 2062 0 0 0 1 0 0 0 16 0 19 0 905120474 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 0 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20544] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) S 20530 20532 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905120475 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20545] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20532 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905120475 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20546] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905120477 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907314097 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20547] ppid=20530 vsize=13640024 CPUtime=0.41 cores=1,3,5,7
/proc/20532/task/20547/stat : 20547 (java) S 20530 20532 18266 0 -1 4202560 2027 0 0 0 41 0 0 0 15 0 19 0 905120477 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20548] ppid=20530 vsize=13640024 CPUtime=0.53 cores=1,3,5,7
/proc/20532/task/20548/stat : 20548 (java) S 20530 20532 18266 0 -1 4202560 7481 0 0 0 53 0 0 0 16 0 19 0 905120477 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20549] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20549/stat : 20549 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905120477 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20550] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20550/stat : 20550 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905120477 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20551] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20551/stat : 20551 (java) S 20530 20532 18266 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 905120519 13967384576 39706 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 13640024

[startup+3.10086 s]
/proc/loadavg: 2.05 2.05 1.93 3/480 20551
/proc/meminfo: memFree=29286624/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13640024 CPUtime=4.19 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 50483 0 1 0 412 7 0 0 25 0 19 0 905120471 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3410006 46695 2263 9 0 3400740 0
[pid=20532/tid=20533] ppid=20530 vsize=13640024 CPUtime=2.98 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20532 18266 0 -1 4202560 28654 0 1 0 294 4 0 0 19 0 19 0 905120471 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 46912505834727 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20532/tid=20535] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20532 18266 0 -1 4202560 1542 0 0 0 0 0 0 0 16 0 19 0 905120473 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20536] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20532 18266 0 -1 4202560 380 0 0 0 0 0 0 0 15 0 19 0 905120473 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20537] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20532 18266 0 -1 4202560 1081 0 0 0 0 0 0 0 16 0 19 0 905120473 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20538] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20532 18266 0 -1 4202560 719 0 0 0 0 0 0 0 15 0 19 0 905120473 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20539] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20532 18266 0 -1 4202560 1020 0 0 0 0 0 0 0 15 0 19 0 905120473 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20540] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20532 18266 0 -1 4202560 725 0 0 0 0 0 0 0 15 0 19 0 905120473 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20541] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20532 18266 0 -1 4202560 455 0 0 0 0 0 0 0 15 0 19 0 905120473 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20542] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) S 20530 20532 18266 0 -1 4202560 564 0 0 0 0 0 0 0 16 0 19 0 905120473 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20543] ppid=20530 vsize=13640024 CPUtime=0.07 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) S 20530 20532 18266 0 -1 4202560 4659 0 0 0 7 0 0 0 15 0 19 0 905120474 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 0 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20544] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) S 20530 20532 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905120475 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20545] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20532 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905120475 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20546] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905120477 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907314097 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20547] ppid=20530 vsize=13640024 CPUtime=0.48 cores=1,3,5,7
/proc/20532/task/20547/stat : 20547 (java) S 20530 20532 18266 0 -1 4202560 2045 0 0 0 48 0 0 0 15 0 19 0 905120477 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20548] ppid=20530 vsize=13640024 CPUtime=0.56 cores=1,3,5,7
/proc/20532/task/20548/stat : 20548 (java) S 20530 20532 18266 0 -1 4202560 7488 0 0 0 56 0 0 0 15 0 19 0 905120477 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20549] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20549/stat : 20549 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905120477 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20550] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20550/stat : 20550 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905120477 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20551] ppid=20530 vsize=13640024 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20551/stat : 20551 (java) S 20530 20532 18266 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 905120519 13967384576 46695 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 13640024

[startup+6.30127 s]
/proc/loadavg: 2.04 2.05 1.93 3/480 20551
/proc/meminfo: memFree=29255612/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13630716 CPUtime=7.5 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 53637 0 1 0 742 8 0 0 25 0 19 0 905120471 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3407679 47523 2263 9 0 3398413 0
[pid=20532/tid=20533] ppid=20530 vsize=13630716 CPUtime=6.1 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20532 18266 0 -1 4202560 28657 0 1 0 606 4 0 0 25 0 19 0 905120471 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 46912505913859 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20532/tid=20535] ppid=20530 vsize=13630716 CPUtime=0.01 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20532 18266 0 -1 4202560 1678 0 0 0 1 0 0 0 15 0 19 0 905120473 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20536] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20532 18266 0 -1 4202560 616 0 0 0 0 0 0 0 15 0 19 0 905120473 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20537] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20532 18266 0 -1 4202560 1237 0 0 0 0 0 0 0 15 0 19 0 905120473 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20538] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20532 18266 0 -1 4202560 720 0 0 0 0 0 0 0 15 0 19 0 905120473 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20539] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20532 18266 0 -1 4202560 1380 0 0 0 0 0 0 0 15 0 19 0 905120473 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20540] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20532 18266 0 -1 4202560 1010 0 0 0 0 0 0 0 15 0 19 0 905120473 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20541] ppid=20530 vsize=13630716 CPUtime=0.01 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20532 18266 0 -1 4202560 751 0 0 0 1 0 0 0 15 0 19 0 905120473 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20542] ppid=20530 vsize=13630716 CPUtime=0.01 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) S 20530 20532 18266 0 -1 4202560 727 0 0 0 1 0 0 0 16 0 19 0 905120473 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20543] ppid=20530 vsize=13630716 CPUtime=0.14 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) S 20530 20532 18266 0 -1 4202560 6038 0 0 0 14 0 0 0 15 0 19 0 905120474 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 0 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20544] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) S 20530 20532 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905120475 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20545] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20532 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905120475 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20546] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905120477 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907314097 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20547] ppid=20530 vsize=13630716 CPUtime=0.57 cores=1,3,5,7
/proc/20532/task/20547/stat : 20547 (java) S 20530 20532 18266 0 -1 4202560 2184 0 0 0 57 0 0 0 15 0 19 0 905120477 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20548] ppid=20530 vsize=13630716 CPUtime=0.56 cores=1,3,5,7
/proc/20532/task/20548/stat : 20548 (java) S 20530 20532 18266 0 -1 4202560 7488 0 0 0 56 0 0 0 15 0 19 0 905120477 13957853184 47523 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0

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

[pid=20532/tid=20540] ppid=20530 vsize=13630716 CPUtime=0.88 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20532 18266 0 -1 4202560 3964 0 0 0 87 1 0 0 15 0 19 0 905120473 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20541] ppid=20530 vsize=13630716 CPUtime=0.88 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20532 18266 0 -1 4202560 4136 0 0 0 88 0 0 0 15 0 19 0 905120473 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20542] ppid=20530 vsize=13630716 CPUtime=0.89 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) S 20530 20532 18266 0 -1 4202560 3399 0 0 0 89 0 0 0 15 0 19 0 905120473 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20543] ppid=20530 vsize=13630716 CPUtime=17.06 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) S 20530 20532 18266 0 -1 4202560 27707 0 0 0 1697 9 0 0 15 0 19 0 905120474 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 0 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20544] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) S 20530 20532 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905120475 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20545] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20532 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905120475 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20546] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905120477 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907314097 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20547] ppid=20530 vsize=13630716 CPUtime=0.59 cores=1,3,5,7
/proc/20532/task/20547/stat : 20547 (java) S 20530 20532 18266 0 -1 4202560 2345 0 0 0 59 0 0 0 15 0 19 0 905120477 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20548] ppid=20530 vsize=13630716 CPUtime=0.56 cores=1,3,5,7
/proc/20532/task/20548/stat : 20548 (java) S 20530 20532 18266 0 -1 4202560 7488 0 0 0 56 0 0 0 15 0 19 0 905120477 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20549] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20549/stat : 20549 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905120477 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20550] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20550/stat : 20550 (java) S 20530 20532 18266 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 905120477 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20551] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20551/stat : 20551 (java) S 20530 20532 18266 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 905120519 13957853184 94122 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.99
Current children cumulated vsize (KiB) 13630716

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 2/460 20610
/proc/meminfo: memFree=29509588/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13630716 CPUtime=1788.05 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 101082 0 1 0 178779 26 0 0 25 0 19 0 905120471 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3407679 94241 2264 9 0 3398413 0
[pid=20532/tid=20533] ppid=20530 vsize=13630716 CPUtime=1761.95 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20532 18266 0 -1 4202560 29940 0 1 0 176189 6 0 0 25 0 19 0 905120471 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 46912505601834 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20532/tid=20535] ppid=20530 vsize=13630716 CPUtime=1.02 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20532 18266 0 -1 4202560 4039 0 0 0 102 0 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20536] ppid=20530 vsize=13630716 CPUtime=0.78 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20532 18266 0 -1 4202560 2342 0 0 0 78 0 0 0 16 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20537] ppid=20530 vsize=13630716 CPUtime=0.92 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20532 18266 0 -1 4202560 4928 0 0 0 91 1 0 0 16 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20538] ppid=20530 vsize=13630716 CPUtime=0.95 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20532 18266 0 -1 4202560 4361 0 0 0 94 1 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20539] ppid=20530 vsize=13630716 CPUtime=0.88 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20532 18266 0 -1 4202560 5057 0 0 0 87 1 0 0 16 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20540] ppid=20530 vsize=13630716 CPUtime=0.9 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20532 18266 0 -1 4202560 3979 0 0 0 89 1 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20541] ppid=20530 vsize=13630716 CPUtime=0.9 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20532 18266 0 -1 4202560 4150 0 0 0 90 0 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20542] ppid=20530 vsize=13630716 CPUtime=0.9 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) S 20530 20532 18266 0 -1 4202560 3399 0 0 0 90 0 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20543] ppid=20530 vsize=13630716 CPUtime=17.58 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) S 20530 20532 18266 0 -1 4202560 27801 0 0 0 1749 9 0 0 15 0 19 0 905120474 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 0 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20544] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) S 20530 20532 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905120475 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20545] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20532 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905120475 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20546] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907314097 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20547] ppid=20530 vsize=13630716 CPUtime=0.59 cores=1,3,5,7
/proc/20532/task/20547/stat : 20547 (java) S 20530 20532 18266 0 -1 4202560 2345 0 0 0 59 0 0 0 15 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20548] ppid=20530 vsize=13630716 CPUtime=0.56 cores=1,3,5,7
/proc/20532/task/20548/stat : 20548 (java) S 20530 20532 18266 0 -1 4202560 7488 0 0 0 56 0 0 0 15 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20549] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20549/stat : 20549 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20550] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20550/stat : 20550 (java) S 20530 20532 18266 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20551] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20551/stat : 20551 (java) S 20530 20532 18266 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 905120519 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1788.05
Current children cumulated vsize (KiB) 13630716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.3 s]
/proc/loadavg: 1.93 2.01 1.99 3/480 20656
/proc/meminfo: memFree=28710728/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13630716 CPUtime=1800.06 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 101084 0 1 0 179980 26 0 0 25 0 19 0 905120471 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3407679 94241 2264 9 0 3398413 0
[pid=20532/tid=20533] ppid=20530 vsize=13630716 CPUtime=1773.84 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20532 18266 0 -1 4202560 29942 0 1 0 177378 6 0 0 25 0 19 0 905120471 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 46912506027831 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20532/tid=20535] ppid=20530 vsize=13630716 CPUtime=1.02 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20532 18266 0 -1 4202560 4039 0 0 0 102 0 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20536] ppid=20530 vsize=13630716 CPUtime=0.78 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20532 18266 0 -1 4202560 2342 0 0 0 78 0 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20537] ppid=20530 vsize=13630716 CPUtime=0.92 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20532 18266 0 -1 4202560 4928 0 0 0 91 1 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20538] ppid=20530 vsize=13630716 CPUtime=0.95 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20532 18266 0 -1 4202560 4361 0 0 0 94 1 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20539] ppid=20530 vsize=13630716 CPUtime=0.88 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20532 18266 0 -1 4202560 5057 0 0 0 87 1 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20540] ppid=20530 vsize=13630716 CPUtime=0.9 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20532 18266 0 -1 4202560 3979 0 0 0 89 1 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20541] ppid=20530 vsize=13630716 CPUtime=0.9 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20532 18266 0 -1 4202560 4150 0 0 0 90 0 0 0 16 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20542] ppid=20530 vsize=13630716 CPUtime=0.9 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) S 20530 20532 18266 0 -1 4202560 3399 0 0 0 90 0 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20543] ppid=20530 vsize=13630716 CPUtime=17.69 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) S 20530 20532 18266 0 -1 4202560 27801 0 0 0 1760 9 0 0 15 0 19 0 905120474 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 0 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20544] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) S 20530 20532 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905120475 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20545] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20532 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905120475 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20546] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907314097 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20547] ppid=20530 vsize=13630716 CPUtime=0.59 cores=1,3,5,7
/proc/20532/task/20547/stat : 20547 (java) S 20530 20532 18266 0 -1 4202560 2345 0 0 0 59 0 0 0 15 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20548] ppid=20530 vsize=13630716 CPUtime=0.56 cores=1,3,5,7
/proc/20532/task/20548/stat : 20548 (java) S 20530 20532 18266 0 -1 4202560 7488 0 0 0 56 0 0 0 15 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20549] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20549/stat : 20549 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20550] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20550/stat : 20550 (java) S 20530 20532 18266 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20551] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20551/stat : 20551 (java) S 20530 20532 18266 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 905120519 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13630716

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

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

[startup+1794.3 s]
/proc/loadavg: 1.93 2.01 1.99 3/480 20656
/proc/meminfo: memFree=28710728/32950928 swapFree=52246700/67111528
[pid=20532] ppid=20530 vsize=13630716 CPUtime=1800.06 cores=1,3,5,7
/proc/20532/stat : 20532 (java) S 20530 20532 18266 0 -1 4202496 101084 0 1 0 179980 26 0 0 25 0 19 0 905120471 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20532/statm: 3407679 94241 2264 9 0 3398413 0
[pid=20532/tid=20533] ppid=20530 vsize=13630716 CPUtime=1773.84 cores=1,3,5,7
/proc/20532/task/20533/stat : 20533 (java) R 20530 20532 18266 0 -1 4202560 29942 0 1 0 177378 6 0 0 25 0 19 0 905120471 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 46912506027831 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20532/tid=20535] ppid=20530 vsize=13630716 CPUtime=1.02 cores=1,3,5,7
/proc/20532/task/20535/stat : 20535 (java) S 20530 20532 18266 0 -1 4202560 4039 0 0 0 102 0 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20536] ppid=20530 vsize=13630716 CPUtime=0.78 cores=1,3,5,7
/proc/20532/task/20536/stat : 20536 (java) S 20530 20532 18266 0 -1 4202560 2342 0 0 0 78 0 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20537] ppid=20530 vsize=13630716 CPUtime=0.92 cores=1,3,5,7
/proc/20532/task/20537/stat : 20537 (java) S 20530 20532 18266 0 -1 4202560 4928 0 0 0 91 1 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20538] ppid=20530 vsize=13630716 CPUtime=0.95 cores=1,3,5,7
/proc/20532/task/20538/stat : 20538 (java) S 20530 20532 18266 0 -1 4202560 4361 0 0 0 94 1 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20539] ppid=20530 vsize=13630716 CPUtime=0.88 cores=1,3,5,7
/proc/20532/task/20539/stat : 20539 (java) S 20530 20532 18266 0 -1 4202560 5057 0 0 0 87 1 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20540] ppid=20530 vsize=13630716 CPUtime=0.9 cores=1,3,5,7
/proc/20532/task/20540/stat : 20540 (java) S 20530 20532 18266 0 -1 4202560 3979 0 0 0 89 1 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20541] ppid=20530 vsize=13630716 CPUtime=0.9 cores=1,3,5,7
/proc/20532/task/20541/stat : 20541 (java) S 20530 20532 18266 0 -1 4202560 4150 0 0 0 90 0 0 0 16 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20542] ppid=20530 vsize=13630716 CPUtime=0.9 cores=1,3,5,7
/proc/20532/task/20542/stat : 20542 (java) S 20530 20532 18266 0 -1 4202560 3399 0 0 0 90 0 0 0 15 0 19 0 905120473 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20543] ppid=20530 vsize=13630716 CPUtime=17.69 cores=1,3,5,7
/proc/20532/task/20543/stat : 20543 (java) S 20530 20532 18266 0 -1 4202560 27801 0 0 0 1760 9 0 0 15 0 19 0 905120474 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 0 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20544] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20544/stat : 20544 (java) S 20530 20532 18266 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905120475 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20545] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20545/stat : 20545 (java) S 20530 20532 18266 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 905120475 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20546] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20546/stat : 20546 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907314097 0 4 0 16800975 18446604466855520256 0 0 -1 5 0 0 0
[pid=20532/tid=20547] ppid=20530 vsize=13630716 CPUtime=0.59 cores=1,3,5,7
/proc/20532/task/20547/stat : 20547 (java) S 20530 20532 18266 0 -1 4202560 2345 0 0 0 59 0 0 0 15 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20548] ppid=20530 vsize=13630716 CPUtime=0.56 cores=1,3,5,7
/proc/20532/task/20548/stat : 20548 (java) S 20530 20532 18266 0 -1 4202560 7488 0 0 0 56 0 0 0 15 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 1 0 0 0
[pid=20532/tid=20549] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20549/stat : 20549 (java) S 20530 20532 18266 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907306393 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
[pid=20532/tid=20550] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20550/stat : 20550 (java) S 20530 20532 18266 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905120477 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 3 0 0 0
[pid=20532/tid=20551] ppid=20530 vsize=13630716 CPUtime=0 cores=1,3,5,7
/proc/20532/task/20551/stat : 20551 (java) S 20530 20532 18266 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 905120519 13957853184 94241 33554432000 1073741824 1073778376 140735671753056 18446744073709551615 231907307008 0 4 0 16800975 18446604466855520256 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13630716

Child status: 143
Real time (s): 1794.37
CPU time (s): 1800.18
CPU user time (s): 1799.89
CPU system time (s): 0.289955
CPU usage (%): 100.324
Max. virtual memory (cumulated for all children) (KiB): 13640024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.289955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101131
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46242
involuntary context switches= 18295

runsolver used 7.76682 second user time and 19.0151 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-04 02:54:58
IDJOB=3458936
IDBENCH=2270
IDSOLVER=1952
FILE ID=node114/3458936-1307148898
RUNJOBID= node114-1307147089-20118
PBS_JOBID= 13508802
Free space on /tmp= 73924 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458936-1307148898/watcher-3458936-1307148898 -o /tmp/evaluation-result-3458936-1307148898/solver-3458936-1307148898 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458936-1307148898.opb

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

MD5SUM BENCH= 4acf18ad1cd52676d2699a99f210ed0a
RANDOM SEED=136503091

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29456368 kB
Buffers:        298348 kB
Cached:         455188 kB
SwapCached:      10712 kB
Active:        2755524 kB
Inactive:       467208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29456368 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:            4788 kB
Writeback:           0 kB
AnonPages:     2465644 kB
Mapped:          29456 kB
Slab:           141816 kB
PageTables:      63276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 121599172 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73912 MiB
End job on node114 at 2011-06-04 03:24:54