Trace number 4080728

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 PB 2.3.6 Res+CP PB16SAT (TO)25891 1800.24 908.452

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
MD5SUM3247d1c2d88b8e4a3c1b4f888e937620
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25559
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1343
Total number of constraints2405
Number of constraints which are clauses2405
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 constraint1
Maximum length of a constraint55
Number of terms in the objective function 690
Biggest coefficient in the objective function 2072
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1098481
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2072
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1098481
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4080728-1465252333.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.25/0.29	c ... done. Wall clock time 0.176s.
0.25/0.29	c declared #vars     1343
0.25/0.29	c #constraints  2405
0.48/0.30	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.48/0.30	c constraints type 
0.48/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 649
0.48/0.30	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
0.48/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1753
0.48/0.30	c 2405 constraints processed.
0.48/0.30	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.48/0.30	c constraints type 
0.48/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1753
0.48/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 649
0.48/0.30	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.48/0.30	c 2405 constraints processed.
0.48/0.30	c objective function length is 690 literals
0.48/0.32	c And the winner is solver0
0.59/0.80	c SATISFIABLE
0.59/0.80	c OPTIMIZING...
0.59/0.80	c Got one! Elapsed wall clock time (in seconds):0.683
0.59/0.80	o 34935
0.59/0.82	c And the winner is solver0
0.64/1.31	c Got one! Elapsed wall clock time (in seconds):1.195
0.64/1.31	o 33633
0.64/1.34	c And the winner is solver0
1.09/1.83	c Got one! Elapsed wall clock time (in seconds):1.71
1.09/1.83	o 32389
1.09/1.84	c And the winner is solver0
1.14/2.33	c Got one! Elapsed wall clock time (in seconds):2.216
1.14/2.33	o 31145
1.14/2.36	c And the winner is solver0
1.33/2.84	c Got one! Elapsed wall clock time (in seconds):2.72
1.33/2.84	o 29901
2.28/3.19	c And the winner is solver1
2.53/3.34	c Got one! Elapsed wall clock time (in seconds):3.224
2.53/3.34	o 28657
3.56/3.82	c cleaning 2534 clauses out of 5068 with flag 12329/5068
5.69/4.70	c cleaning 4263 clauses out of 8534 with flag 35132/11068
7.51/5.69	c cleaning 5583 clauses out of 11271 with flag 62630/18068
10.19/6.90	c cleaning 6841 clauses out of 13688 with flag 94850/26068
12.83/8.25	c cleaning 7922 clauses out of 15847 with flag 129889/35068
16.11/9.82	c cleaning 8959 clauses out of 17926 with flag 170013/45069
19.59/11.57	c cleaning 9974 clauses out of 19966 with flag 223829/56068
23.45/13.48	c cleaning 10997 clauses out of 21993 with flag 273431/68069
27.85/15.67	c cleaning 11989 clauses out of 23995 with flag 323457/81068
32.76/18.02	c cleaning 12990 clauses out of 26006 with flag 379735/95068
37.56/20.41	c cleaning 13982 clauses out of 28016 with flag 446011/110068
42.92/23.00	c cleaning 15018 clauses out of 30035 with flag 509203/126069
47.92/25.56	c cleaning 15999 clauses out of 32016 with flag 561387/143068
53.86/28.43	c cleaning 17006 clauses out of 34017 with flag 613407/161068
56.06/29.57	c And the winner is solver1
56.22/29.86	c Got one! Elapsed wall clock time (in seconds):29.738
56.22/29.86	o 28198
57.90/30.75	c cleaning 14887 clauses out of 29786 with flag 17036/173843
59.70/31.65	c cleaning 10428 clauses out of 20898 with flag 37361/179842
61.70/32.65	c cleaning 8735 clauses out of 17470 with flag 60735/186842
64.10/33.88	c cleaning 8364 clauses out of 16735 with flag 91932/194842
67.48/35.41	c cleaning 8672 clauses out of 17371 with flag 129607/203842
70.68/37.02	c cleaning 9342 clauses out of 18699 with flag 172931/213842
74.08/38.79	c cleaning 10144 clauses out of 20357 with flag 222472/224842
78.10/40.74	c cleaning 11100 clauses out of 22213 with flag 264875/236842
82.23/42.75	c cleaning 12057 clauses out of 24113 with flag 304184/249842
86.63/44.93	c cleaning 13025 clauses out of 26059 with flag 346723/263845
91.44/47.31	c cleaning 14015 clauses out of 28033 with flag 394594/278844
96.43/49.85	c cleaning 15005 clauses out of 30016 with flag 443621/294842
101.96/52.54	c cleaning 16003 clauses out of 32012 with flag 495804/311843
107.76/55.42	c cleaning 16997 clauses out of 34008 with flag 551164/329842
113.77/58.48	c cleaning 18003 clauses out of 36011 with flag 609860/348842
120.37/61.78	c cleaning 19002 clauses out of 38008 with flag 674721/368842
126.19/64.60	c And the winner is solver1
126.21/64.87	c Got one! Elapsed wall clock time (in seconds):64.756
126.21/64.87	o 28012
127.89/65.77	c cleaning 20654 clauses out of 41311 with flag 14210/391147
129.71/66.68	c cleaning 13324 clauses out of 26657 with flag 32057/397147
131.90/67.72	c cleaning 10167 clauses out of 20333 with flag 53030/404147
134.48/68.98	c cleaning 9081 clauses out of 18169 with flag 76903/412150
137.08/70.24	c cleaning 9031 clauses out of 18085 with flag 103812/421147
139.89/71.63	c cleaning 9518 clauses out of 19056 with flag 134240/431149
143.07/73.22	c cleaning 10262 clauses out of 20536 with flag 168366/442147
146.87/75.12	c cleaning 11137 clauses out of 22274 with flag 205859/454147
150.89/77.13	c cleaning 12066 clauses out of 24137 with flag 255964/467147
155.09/79.22	c cleaning 13036 clauses out of 26071 with flag 302928/481147
160.02/81.67	c cleaning 13984 clauses out of 28035 with flag 358692/496147
165.22/84.22	c cleaning 15020 clauses out of 30051 with flag 418029/512147
170.63/87.00	c cleaning 16014 clauses out of 32032 with flag 490638/529148
176.81/90.02	c cleaning 17004 clauses out of 34017 with flag 568248/547147
183.01/93.14	c cleaning 18002 clauses out of 36013 with flag 632516/566147
190.77/97.32	c cleaning 19000 clauses out of 38012 with flag 698079/586148
197.57/100.72	c cleaning 20001 clauses out of 40011 with flag 762201/607147
204.57/104.22	c cleaning 20997 clauses out of 42010 with flag 831902/629147
211.98/107.96	c cleaning 22001 clauses out of 44013 with flag 910912/652147
220.23/112.08	c cleaning 23004 clauses out of 46013 with flag 990388/676148
228.83/116.32	c cleaning 24004 clauses out of 48008 with flag 1067180/701147
237.71/120.74	c cleaning 25001 clauses out of 50004 with flag 1152697/727147
246.92/125.36	c cleaning 25997 clauses out of 52003 with flag 1237370/754147
256.72/130.24	c cleaning 27001 clauses out of 54008 with flag 1337435/782149
267.52/135.50	c cleaning 27996 clauses out of 56006 with flag 1451168/811148
278.13/140.89	c cleaning 28989 clauses out of 58009 with flag 1571131/841147
289.68/146.56	c cleaning 30004 clauses out of 60020 with flag 1709371/872147
300.89/152.14	c cleaning 30989 clauses out of 62017 with flag 1846501/904148
312.83/158.04	c cleaning 32003 clauses out of 64030 with flag 1991266/937150
325.43/164.36	c cleaning 33000 clauses out of 66024 with flag 2145340/971147
338.57/170.83	c cleaning 34009 clauses out of 68024 with flag 2285124/1006147
351.56/177.35	c cleaning 34970 clauses out of 70015 with flag 2438660/1042147
365.58/184.29	c cleaning 36019 clauses out of 72045 with flag 2598090/1079147
379.58/191.23	c cleaning 36972 clauses out of 74026 with flag 2781555/1117147
394.73/198.78	c cleaning 38021 clauses out of 76055 with flag 2944011/1156148
410.33/206.45	c cleaning 39014 clauses out of 78033 with flag 3087199/1196147
425.73/214.15	c cleaning 40005 clauses out of 80019 with flag 3226509/1237147
440.74/221.67	c cleaning 40999 clauses out of 82016 with flag 3369400/1279149
458.23/230.92	c cleaning 42006 clauses out of 84015 with flag 3512104/1322147
474.43/239.06	c cleaning 43004 clauses out of 86009 with flag 3646224/1366147
492.25/247.78	c cleaning 44003 clauses out of 88006 with flag 3788393/1411148
509.05/256.15	c cleaning 44995 clauses out of 90006 with flag 3982707/1457151
526.85/265.06	c cleaning 45985 clauses out of 92007 with flag 4201420/1504147
545.64/274.47	c cleaning 46998 clauses out of 94022 with flag 4398049/1552147
564.45/283.84	c cleaning 48013 clauses out of 96025 with flag 4607950/1601148
571.05/287.17	c And the winner is solver0
584.47/300.49	c Got one! Elapsed wall clock time (in seconds):300.37
584.47/300.49	o 27553
586.81/301.61	c cleaning 36211 clauses out of 72432 with flag 13565/1625568
588.82/302.62	c cleaning 21108 clauses out of 42221 with flag 29732/1631568
590.82/303.67	c cleaning 14054 clauses out of 28114 with flag 48439/1638569
593.22/304.82	c cleaning 11023 clauses out of 22059 with flag 72761/1646568
595.81/306.11	c cleaning 10018 clauses out of 20036 with flag 100180/1655568
598.61/307.60	c cleaning 10004 clauses out of 20018 with flag 131286/1665568
602.16/309.21	c cleaning 10498 clauses out of 21014 with flag 162616/1676568
605.55/310.90	c cleaning 11258 clauses out of 22516 with flag 199228/1688568
609.35/312.90	c cleaning 12127 clauses out of 24259 with flag 243350/1701569
613.74/315.03	c cleaning 13052 clauses out of 26131 with flag 287905/1715568
618.54/317.40	c cleaning 14038 clauses out of 28080 with flag 334808/1730569
618.94/317.68	c And the winner is solver1
619.12/318.00	c Got one! Elapsed wall clock time (in seconds):317.877
619.12/318.00	o 27242
620.11/318.59	c cleaning 9921 clauses out of 19854 with flag 10991/1736381
621.91/319.45	c cleaning 7964 clauses out of 15931 with flag 28075/1742379
624.07/320.47	c cleaning 7481 clauses out of 14967 with flag 48304/1749379
626.27/321.57	c cleaning 7738 clauses out of 15486 with flag 72774/1757379
628.87/322.85	c cleaning 8374 clauses out of 16748 with flag 100971/1766379
631.88/324.38	c cleaning 9188 clauses out of 18375 with flag 134392/1776380
635.28/326.09	c cleaning 10093 clauses out of 20188 with flag 174027/1787381
639.10/327.94	c cleaning 11025 clauses out of 22093 with flag 220550/1799379
643.15/329.97	c And the winner is solver1
643.43/330.04	c Got one! Elapsed wall clock time (in seconds):329.924
643.43/330.04	o 26355
644.93/330.83	c cleaning 14120 clauses out of 28248 with flag 14016/1816559
646.53/331.67	c cleaning 10064 clauses out of 20128 with flag 31851/1822559
648.53/332.66	c cleaning 8530 clauses out of 17064 with flag 54986/1829559
650.93/333.86	c cleaning 8269 clauses out of 16537 with flag 83769/1837562
653.72/335.22	c cleaning 8614 clauses out of 17265 with flag 114612/1846559
656.54/336.64	c cleaning 9325 clauses out of 18653 with flag 145174/1856561
659.80/338.25	c cleaning 10163 clauses out of 20326 with flag 176680/1867559
663.21/339.92	c cleaning 11073 clauses out of 22163 with flag 214130/1879559
667.00/341.85	c cleaning 12043 clauses out of 24091 with flag 253764/1892560
671.00/343.80	c cleaning 13022 clauses out of 26047 with flag 296351/1906559
675.80/346.21	c cleaning 14012 clauses out of 28025 with flag 346258/1921559
680.94/348.78	c cleaning 15004 clauses out of 30013 with flag 399196/1937559
686.12/351.31	c cleaning 16006 clauses out of 32011 with flag 453585/1954561
691.12/353.89	c cleaning 16998 clauses out of 34003 with flag 509113/1972559
697.32/356.95	c cleaning 18000 clauses out of 36005 with flag 567766/1991559
704.19/360.39	c cleaning 18998 clauses out of 38005 with flag 630013/2011559
710.99/363.75	c cleaning 19998 clauses out of 40007 with flag 694901/2032559
718.19/367.37	c cleaning 21001 clauses out of 42010 with flag 763175/2054560
726.13/371.27	c cleaning 22005 clauses out of 44009 with flag 835737/2077560
734.33/375.39	c cleaning 23003 clauses out of 46006 with flag 914554/2101562
743.48/379.84	c cleaning 23996 clauses out of 48000 with flag 997806/2126559
752.27/384.21	c cleaning 24997 clauses out of 50004 with flag 1084503/2152559
761.84/388.90	c cleaning 25998 clauses out of 52010 with flag 1187677/2179562
771.44/393.71	c cleaning 27005 clauses out of 54009 with flag 1278528/2207559
781.63/398.78	c cleaning 27998 clauses out of 56004 with flag 1373408/2236559
793.04/404.48	c cleaning 28998 clauses out of 58006 with flag 1467422/2266559
804.37/410.09	c cleaning 30001 clauses out of 60008 with flag 1572993/2297559
816.34/415.92	c cleaning 31001 clauses out of 62007 with flag 1693263/2329559
827.92/421.79	c cleaning 31997 clauses out of 64006 with flag 1829717/2362559
839.92/427.74	c cleaning 33003 clauses out of 66009 with flag 1966977/2396559
852.12/433.82	c cleaning 34003 clauses out of 68008 with flag 2093190/2431561
865.30/440.33	c cleaning 34996 clauses out of 70003 with flag 2232749/2467559
879.86/447.51	c cleaning 35996 clauses out of 72007 with flag 2363990/2504559
895.03/455.01	c cleaning 37004 clauses out of 74011 with flag 2497651/2542559
908.63/461.88	c cleaning 37984 clauses out of 76008 with flag 2634161/2581560
923.42/469.23	c cleaning 39011 clauses out of 78024 with flag 2782845/2621560
940.22/477.53	c cleaning 40005 clauses out of 80012 with flag 2908926/2662559
958.23/487.25	c cleaning 40993 clauses out of 82007 with flag 3046476/2704559
975.62/495.70	c cleaning 42007 clauses out of 84014 with flag 3199454/2747559
992.73/504.27	c cleaning 42998 clauses out of 86009 with flag 3367003/2791561
1009.87/512.75	c cleaning 44002 clauses out of 88009 with flag 3541162/2836559
1027.47/521.52	c cleaning 44980 clauses out of 90007 with flag 3723340/2882559
1044.87/530.30	c cleaning 46014 clauses out of 92027 with flag 3899512/2929559
1063.65/539.62	c cleaning 47001 clauses out of 94013 with flag 4069756/2977559
1082.47/549.02	c cleaning 48006 clauses out of 96013 with flag 4244259/3026560
1101.06/558.34	c cleaning 48997 clauses out of 98007 with flag 4440951/3076560
1120.46/568.05	c cleaning 49983 clauses out of 100009 with flag 4627751/3127559
1140.45/578.05	c cleaning 51011 clauses out of 102027 with flag 4848336/3179560
1161.66/588.65	c cleaning 52008 clauses out of 104016 with flag 5052073/3232560
1182.65/599.17	c cleaning 53004 clauses out of 106007 with flag 5287326/3286559
1205.66/610.62	c cleaning 54003 clauses out of 108006 with flag 5483338/3341562
1229.66/622.61	c cleaning 55001 clauses out of 110001 with flag 5660975/3397560
1253.05/634.35	c cleaning 56000 clauses out of 112000 with flag 5888611/3454560
1275.85/645.76	c cleaning 56991 clauses out of 113999 with flag 6133673/3512559
1284.44/650.07	c And the winner is solver0
1286.32/651.71	c Got one! Elapsed wall clock time (in seconds):651.593
1286.32/651.71	o 26018
1289.09/653.11	c cleaning 43248 clauses out of 86501 with flag 14201/3542052
1291.64/654.35	c cleaning 24623 clauses out of 49251 with flag 33030/3548050
1293.84/655.43	c cleaning 15809 clauses out of 31628 with flag 54715/3555050
1296.04/656.57	c cleaning 11903 clauses out of 23818 with flag 80722/3563049
1298.65/657.88	c cleaning 10440 clauses out of 20915 with flag 111361/3572049
1301.64/659.35	c cleaning 10235 clauses out of 20475 with flag 149670/3582049
1304.84/660.98	c cleaning 10620 clauses out of 21241 with flag 192732/3593050
1308.44/662.73	c cleaning 11305 clauses out of 22620 with flag 239399/3605049
1312.24/664.63	c cleaning 12153 clauses out of 24315 with flag 287554/3618049
1316.46/666.72	c cleaning 13083 clauses out of 26165 with flag 334975/3632052
1321.41/669.10	c cleaning 14040 clauses out of 28079 with flag 391714/3647049
1326.01/671.46	c cleaning 15018 clauses out of 30040 with flag 442564/3663050
1331.21/674.03	c cleaning 16009 clauses out of 32021 with flag 502367/3680049
1336.81/676.87	c cleaning 17000 clauses out of 34012 with flag 569618/3698049
1342.61/679.74	c cleaning 18002 clauses out of 36013 with flag 631057/3717050
1348.62/682.76	c cleaning 19004 clauses out of 38010 with flag 693999/3737049
1356.00/686.31	c cleaning 20002 clauses out of 40006 with flag 765348/3758049
1363.40/690.02	c cleaning 20999 clauses out of 42004 with flag 848884/3780049
1371.86/694.11	c cleaning 21998 clauses out of 44006 with flag 928872/3803050
1381.36/698.70	c cleaning 23000 clauses out of 46007 with flag 1016840/3827049
1389.56/702.87	c cleaning 24001 clauses out of 48010 with flag 1101797/3852052
1398.93/707.42	c cleaning 24996 clauses out of 50006 with flag 1201766/3878049
1408.51/712.22	c cleaning 26002 clauses out of 52010 with flag 1305222/3905049
1418.31/717.18	c cleaning 27001 clauses out of 54009 with flag 1415691/3933050
1427.91/721.97	c cleaning 28003 clauses out of 56007 with flag 1516461/3962049
1437.51/726.76	c cleaning 29003 clauses out of 58005 with flag 1623733/3992050
1448.26/732.07	c cleaning 29990 clauses out of 60001 with flag 1727951/4023049
1459.46/737.61	c cleaning 31006 clauses out of 62011 with flag 1848892/4055049
1470.65/743.23	c cleaning 32003 clauses out of 64005 with flag 1981634/4088049
1482.47/749.14	c cleaning 33000 clauses out of 66003 with flag 2109334/4122050
1494.46/755.16	c cleaning 34001 clauses out of 68003 with flag 2244406/4157050
1507.85/761.83	c cleaning 34986 clauses out of 70001 with flag 2369844/4193049
1520.85/768.30	c cleaning 36005 clauses out of 72017 with flag 2498734/4230051
1534.45/775.12	c cleaning 37004 clauses out of 74013 with flag 2625125/4268052
1548.05/781.99	c cleaning 38001 clauses out of 76006 with flag 2755228/4307049
1562.64/789.25	c cleaning 39002 clauses out of 78005 with flag 2892674/4347049
1577.64/796.79	c cleaning 40000 clauses out of 80004 with flag 3034527/4388050
1592.66/804.25	c cleaning 41001 clauses out of 82004 with flag 3181585/4430050
1608.44/812.13	c cleaning 41990 clauses out of 84002 with flag 3334064/4473049
1623.84/819.82	c cleaning 43006 clauses out of 86012 with flag 3497633/4517049
1639.84/827.82	c cleaning 44000 clauses out of 88006 with flag 3677611/4562049
1657.23/836.51	c cleaning 44985 clauses out of 90006 with flag 3858499/4608049
1675.36/845.59	c cleaning 46007 clauses out of 92021 with flag 4017283/4655049
1694.35/855.00	c cleaning 47006 clauses out of 94016 with flag 4178410/4703051
1713.56/864.63	c cleaning 47997 clauses out of 96009 with flag 4359745/4752050
1733.36/874.55	c cleaning 49003 clauses out of 98012 with flag 4525379/4802050
1752.94/884.39	c cleaning 50002 clauses out of 100008 with flag 4697469/4853049
1772.34/894.08	c cleaning 50993 clauses out of 102006 with flag 4880280/4905049
1774.14/894.98	c And the winner is solver0
1775.65/896.37	c Got one! Elapsed wall clock time (in seconds):896.251
1775.65/896.37	o 25891
1778.37/897.69	c cleaning 30879 clauses out of 61757 with flag 13747/4915793
1780.57/898.78	c cleaning 18428 clauses out of 36875 with flag 30555/4921790
1782.77/899.90	c cleaning 12711 clauses out of 25448 with flag 51167/4928791
1785.17/901.05	c cleaning 10357 clauses out of 20736 with flag 75848/4936790
1787.75/902.31	c cleaning 9685 clauses out of 19379 with flag 104319/4945790
1790.66/903.75	c cleaning 9843 clauses out of 19694 with flag 136255/4955790
1793.87/905.37	c cleaning 10404 clauses out of 20852 with flag 177407/4966791
1797.46/907.19	c cleaning 11221 clauses out of 22447 with flag 223363/4978790
1800.06/908.41	c >>>>>>>>>> Solver number 0 (8 answers) <<<<<<<<<<<<<<<<<<
1800.06/908.41	c starts		: 92566
1800.06/908.41	c conflicts		: 4987089
1800.06/908.41	c decisions		: 39160232
1800.06/908.41	c propagations		: 2457483405
1800.06/908.41	c inspects		: 6536432959
1800.06/908.41	c shortcuts		: 0
1800.06/908.41	c learnt literals	: 0
1800.06/908.41	c learnt binary clauses	: 0
1800.06/908.41	c learnt ternary clauses	: 0
1800.06/908.41	c learnt constraints	: 4987089
1800.06/908.41	c ignored constraints	: 0
1800.06/908.41	c root simplifications	: 0
1800.06/908.41	c removed literals (reason simplification)	: 18227767
1800.06/908.41	c reason swapping (by a shorter reason)	: 0
1800.06/908.41	c Calls to reduceDB	: 204
1800.06/908.41	c Number of update (reduction) of LBD	: 2114661
1800.06/908.41	c Imported unit clauses	: 0
1800.06/908.41	c number of reductions to clauses (during analyze)	: 0
1800.06/908.41	c number of learned constraints concerned by reduction	: 0
1800.06/908.41	c number of learning phase by resolution	: 0
1800.06/908.41	c number of learning phase by cutting planes	: 0
1800.06/908.41	c speed (assignments/second)	: 4249062.269282573
1800.06/908.41	c non guided choices	0
1800.06/908.41	c learnt constraints type 
1800.06/908.41	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19525
1800.06/908.41	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.06/908.41	c starts		: 43
1800.06/908.41	c conflicts		: 6046
1800.06/908.41	c decisions		: 96750
1800.06/908.41	c propagations		: 611499
1800.06/908.41	c inspects		: 149294541
1800.06/908.41	c shortcuts		: 0
1800.06/908.41	c learnt literals	: 0
1800.06/908.41	c learnt binary clauses	: 0
1800.06/908.41	c learnt ternary clauses	: 0
1800.06/908.41	c learnt constraints	: 6043
1800.06/908.41	c ignored constraints	: 0
1800.06/908.41	c root simplifications	: 0
1800.06/908.41	c removed literals (reason simplification)	: 0
1800.06/908.41	c reason swapping (by a shorter reason)	: 0
1800.06/908.41	c Calls to reduceDB	: 0
1800.06/908.41	c Number of update (reduction) of LBD	: 0
1800.06/908.41	c Imported unit clauses	: 0
1800.06/908.41	c number of reductions to clauses (during analyze)	: 0
1800.06/908.41	c number of learned constraints concerned by reduction	: 0
1800.06/908.41	c number of learning phase by resolution	: 0
1800.06/908.41	c number of learning phase by cutting planes	: 0
1800.06/908.41	c speed (assignments/second)	: 51150.06273525721
1800.06/908.41	c non guided choices	0
1800.06/908.42	c learnt constraints type 
1800.06/908.42	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1
1800.06/908.42	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6042
1800.06/908.42	s SATISFIABLE
1800.06/908.42	c Found 13 solution(s)
1800.06/908.42	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 x1341 -x1342 x1343 
1800.06/908.42	c objective function=25891
1800.06/908.42	c Total wall clock time (in seconds): 908.304

Verifier Data 

OK	25891

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4080728-1465252333/watcher-4080728-1465252333 -o /tmp/evaluation-result-4080728-1465252333/solver-4080728-1465252333 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15694 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080728-1465252333.opb 

pid=18208
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: 4.13 4.13 3.97 5/199 18211
/proc/meminfo: memFree=29597940/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9488 CPUtime=0 cores=1,3,5,7
/proc/18211/stat : 18211 (java) R 18208 18211 15677 0 -1 4202496 475 0 0 0 0 0 0 0 20 0 1 0 107166089 9715712 130 33554432000 1073741824 1073778376 140736768124944 140736768122072 273909081328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2323 140 104 9 0 71 0

[startup+0.100055 s]
/proc/loadavg: 4.13 4.13 3.97 5/199 18211
/proc/meminfo: memFree=29597940/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/18211/stat : 18211 (java) S 18208 18211 15677 0 -1 4202496 4389 0 1 0 8 1 0 0 20 0 18 0 107166089 9787879424 6028 33554432000 1073741824 1073778376 140736768124944 140736768116080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2389619 6028 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 4.13 4.13 3.97 5/199 18211
/proc/meminfo: memFree=29597940/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9558476 CPUtime=0.25 cores=1,3,5,7
/proc/18211/stat : 18211 (java) S 18208 18211 15677 0 -1 4202496 4682 0 1 0 24 1 0 0 20 0 18 0 107166089 9787879424 6773 33554432000 1073741824 1073778376 140736768124944 140736768116080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2389619 6773 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.300236 s]
/proc/loadavg: 4.13 4.13 3.97 5/199 18211
/proc/meminfo: memFree=29597940/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9558476 CPUtime=0.48 cores=1,3,5,7
/proc/18211/stat : 18211 (java) S 18208 18211 15677 0 -1 4202496 5772 0 1 0 47 1 0 0 20 0 18 0 107166089 9787879424 9058 33554432000 1073741824 1073778376 140736768124944 140736768116080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2389619 9059 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700221 s]
/proc/loadavg: 4.13 4.13 3.97 5/199 18211
/proc/meminfo: memFree=29597940/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9824732 CPUtime=0.59 cores=1,3,5,7
/proc/18211/stat : 18211 (java) S 18208 18211 15677 0 -1 4202496 5938 0 1 0 56 3 0 0 20 0 19 0 107166089 10060525568 10144 33554432000 1073741824 1073778376 140736768124944 140736768116080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2456183 10144 2249 9 0 2446860 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9824732

[startup+1.50083 s]
/proc/loadavg: 4.13 4.13 3.97 3/218 18236
/proc/meminfo: memFree=29562404/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/18211/stat : 18211 (java) S 18208 18211 15677 0 -1 4202496 12320 0 1 0 98 7 0 0 20 0 19 0 107166089 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140736768116080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2456183 16209 2251 9 0 2446860 0
[pid=18211/tid=18213] ppid=18208 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/18211/task/18213/stat : 18213 (java) S 18208 18211 15677 0 -1 4202560 2424 0 1 0 29 0 0 0 20 0 19 0 107166090 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382730261368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18214] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18214/stat : 18214 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166091 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382691752616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18215] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18215/stat : 18215 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166091 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382690700072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18216] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18216/stat : 18216 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166091 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382689647528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18217] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18217/stat : 18217 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166091 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382688594984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18218] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18218/stat : 18218 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166091 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382687541416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18219] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18219/stat : 18219 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166091 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382686488872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18220] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18220/stat : 18220 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166091 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382685436328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18221] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18221/stat : 18221 (java) S 18208 18211 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107166091 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382566345256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18222] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18222/stat : 18222 (java) S 18208 18211 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107166092 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382554147432 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18223] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18223/stat : 18223 (java) S 18208 18211 15677 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107166093 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382553093752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18224] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18224/stat : 18224 (java) S 18208 18211 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107166093 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382552041096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18225] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18225/stat : 18225 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166095 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140382550989840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18226] ppid=18208 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/18211/task/18226/stat : 18226 (java) S 18208 18211 15677 0 -1 4202560 2214 0 0 0 19 0 0 0 20 0 19 0 107166095 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140381811370040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18227] ppid=18208 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/18211/task/18227/stat : 18227 (java) R 18208 18211 15677 0 -1 4202560 6340 0 0 0 32 0 0 0 20 0 19 0 107166095 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140381810294696 140382734378470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18228] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18228/stat : 18228 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166095 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140381809265144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18229] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18229/stat : 18229 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166095 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140381808212808 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18233] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18233/stat : 18233 (java) S 18208 18211 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107166120 10060525568 16209 33554432000 1073741824 1073778376 140736768124944 140381804000936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9824732

[startup+3.10078 s]
/proc/loadavg: 4.13 4.13 3.97 3/218 18242
/proc/meminfo: memFree=29533112/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/18211/stat : 18211 (java) S 18208 18211 15677 0 -1 4202496 14002 0 1 0 218 10 0 0 20 0 22 0 107166089 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140736768116080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2456183 23660 2264 9 0 2446860 0
[pid=18211/tid=18213] ppid=18208 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/18211/task/18213/stat : 18213 (java) S 18208 18211 15677 0 -1 4202560 2427 0 1 0 31 0 0 0 20 0 22 0 107166090 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382730261368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18214] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18214/stat : 18214 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382691752616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18215] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18215/stat : 18215 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382690700072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18216] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18216/stat : 18216 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382689647528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18217] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18217/stat : 18217 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382688594984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18218] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18218/stat : 18218 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382687541416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18219] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18219/stat : 18219 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382686488872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18220] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18220/stat : 18220 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382685436328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18221] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18221/stat : 18221 (java) S 18208 18211 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382566345256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18222] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18222/stat : 18222 (java) S 18208 18211 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107166092 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382554147432 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18223] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18223/stat : 18223 (java) S 18208 18211 15677 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 107166093 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382553093752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18224] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18224/stat : 18224 (java) S 18208 18211 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107166093 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382552041096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18225] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18225/stat : 18225 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140382550989840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18226] ppid=18208 vsize=9824732 CPUtime=0.49 cores=1,3,5,7
/proc/18211/task/18226/stat : 18226 (java) R 18208 18211 15677 0 -1 4202560 3688 0 0 0 49 0 0 0 20 0 22 0 107166095 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140381811370040 140382738011843 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18227] ppid=18208 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/18211/task/18227/stat : 18227 (java) R 18208 18211 15677 0 -1 4202560 6513 0 0 0 69 0 0 0 20 0 22 0 107166095 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140381810317496 140382736214910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18228] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18228/stat : 18228 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140381809265144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18229] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18229/stat : 18229 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140381808212808 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18233] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18233/stat : 18233 (java) S 18208 18211 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107166120 10060525568 23660 33554432000 1073741824 1073778376 140736768124944 140381804000936 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9824732
heavy processes:
  %CPU=28 pid=1798 uid=0 cmd=

[startup+6.301 s]
/proc/loadavg: 4.28 4.16 3.99 5/221 18251
/proc/meminfo: memFree=29422556/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9824732 CPUtime=8.97 cores=1,3,5,7
/proc/18211/stat : 18211 (java) S 18208 18211 15677 0 -1 4202496 14246 0 1 0 880 17 0 0 20 0 22 0 107166089 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140736768116080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2456183 50779 2285 9 0 2446860 0
[pid=18211/tid=18213] ppid=18208 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/18211/task/18213/stat : 18213 (java) S 18208 18211 15677 0 -1 4202560 2427 0 1 0 31 0 0 0 20 0 22 0 107166090 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382730261368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18214] ppid=18208 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18211/task/18214/stat : 18214 (java) S 18208 18211 15677 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 107166091 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382691752616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18215] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18215/stat : 18215 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382690700072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18216] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18216/stat : 18216 (java) S 18208 18211 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382689647528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18217] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18217/stat : 18217 (java) S 18208 18211 15677 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382688594984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18218] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18218/stat : 18218 (java) S 18208 18211 15677 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 107166091 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382687541416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18219] ppid=18208 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18211/task/18219/stat : 18219 (java) S 18208 18211 15677 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 107166091 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382686488872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18220] ppid=18208 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18211/task/18220/stat : 18220 (java) S 18208 18211 15677 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 107166091 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382685436328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18221] ppid=18208 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/18211/task/18221/stat : 18221 (java) S 18208 18211 15677 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 107166091 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382566345256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18222] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18222/stat : 18222 (java) S 18208 18211 15677 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 107166092 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382554147432 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18223] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18223/stat : 18223 (java) S 18208 18211 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107166093 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382553093752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18224] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18224/stat : 18224 (java) S 18208 18211 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107166093 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382552041096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18225] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18225/stat : 18225 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140382550989840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18226] ppid=18208 vsize=9824732 CPUtime=0.66 cores=1,3,5,7
/proc/18211/task/18226/stat : 18226 (java) S 18208 18211 15677 0 -1 4202560 3693 0 0 0 66 0 0 0 20 0 22 0 107166095 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140381811370040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18227] ppid=18208 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/18211/task/18227/stat : 18227 (java) S 18208 18211 15677 0 -1 4202560 6557 0 0 0 108 0 0 0 20 0 22 0 107166095 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140381810317496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18228] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18228/stat : 18228 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140381809265144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18229] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18229/stat : 18229 (java) S 18208 18211 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140381808212808 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18248] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18248/stat : 18248 (java) S 18208 18211 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107166374 10060525568 50779 33554432000 1073741824 1073778376 140736768124944 140381807158824 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18249] ppid=18208 vsize=9824732 CPUtime=2.89 cores=1,3,5,7

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


[startup+822.301 s]
/proc/loadavg: 3.46 3.88 3.95 4/220 18882
/proc/meminfo: memFree=25245908/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9824732 CPUtime=1628.84 cores=1,3,5,7
/proc/18211/stat : 18211 (java) S 18208 18211 15677 0 -1 4202496 24480 0 1 0 162639 245 0 0 20 0 22 0 107166089 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140736768116080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2456183 988796 2294 9 0 2446860 0
[pid=18211/tid=18213] ppid=18208 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/18211/task/18213/stat : 18213 (java) S 18208 18211 15677 0 -1 4202560 2434 0 1 0 34 3 0 0 20 0 22 0 107166090 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382730261368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18214] ppid=18208 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/18211/task/18214/stat : 18214 (java) S 18208 18211 15677 0 -1 4202560 626 0 0 0 216 17 0 0 20 0 22 0 107166091 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382691752616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18215] ppid=18208 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/18211/task/18215/stat : 18215 (java) S 18208 18211 15677 0 -1 4202560 679 0 0 0 190 21 0 0 20 0 22 0 107166091 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382690700072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18216] ppid=18208 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/18211/task/18216/stat : 18216 (java) S 18208 18211 15677 0 -1 4202560 685 0 0 0 191 22 0 0 20 0 22 0 107166091 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382689647528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18217] ppid=18208 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/18211/task/18217/stat : 18217 (java) S 18208 18211 15677 0 -1 4202560 684 0 0 0 169 14 0 0 20 0 22 0 107166091 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382688594984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18218] ppid=18208 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/18211/task/18218/stat : 18218 (java) S 18208 18211 15677 0 -1 4202560 715 0 0 0 214 20 0 0 20 0 22 0 107166091 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382687541416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18219] ppid=18208 vsize=9824732 CPUtime=1.9 cores=1,3,5,7
/proc/18211/task/18219/stat : 18219 (java) S 18208 18211 15677 0 -1 4202560 753 0 0 0 170 20 0 0 20 0 22 0 107166091 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382686488872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18220] ppid=18208 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/18211/task/18220/stat : 18220 (java) S 18208 18211 15677 0 -1 4202560 669 0 0 0 200 19 0 0 20 0 22 0 107166091 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382685436328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18221] ppid=18208 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/18211/task/18221/stat : 18221 (java) S 18208 18211 15677 0 -1 4202560 677 0 0 0 190 19 0 0 20 0 22 0 107166091 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382566345256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18222] ppid=18208 vsize=9824732 CPUtime=3.6 cores=1,3,5,7
/proc/18211/task/18222/stat : 18222 (java) S 18208 18211 15677 0 -1 4202560 3070 0 0 0 354 6 0 0 20 0 22 0 107166092 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382554147432 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18223] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18223/stat : 18223 (java) S 18208 18211 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107166093 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382553093752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18224] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18224/stat : 18224 (java) S 18208 18211 15677 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107166093 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382552041096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18225] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18225/stat : 18225 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140382550989840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18226] ppid=18208 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/18211/task/18226/stat : 18226 (java) S 18208 18211 15677 0 -1 4202560 3694 0 0 0 72 0 0 0 20 0 22 0 107166095 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140381811370040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18227] ppid=18208 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/18211/task/18227/stat : 18227 (java) S 18208 18211 15677 0 -1 4202560 6580 0 0 0 132 0 0 0 20 0 22 0 107166095 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140381810317496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18228] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18228/stat : 18228 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140381809265144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18229] ppid=18208 vsize=9824732 CPUtime=0.24 cores=1,3,5,7
/proc/18211/task/18229/stat : 18229 (java) S 18208 18211 15677 0 -1 4202560 48 0 0 0 11 13 0 0 20 0 22 0 107166095 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140381808212808 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18278] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18278/stat : 18278 (java) S 18208 18211 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107199094 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140381804000040 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18806] ppid=18208 vsize=9824732 CPUtime=169.79 cores=1,3,5,7
/proc/18211/task/18806/stat : 18806 (java) R 18208 18211 15677 0 -1 4202560 4 0 0 0 16977 2 0 0 20 0 22 0 107231261 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140381806096160 140382567173635 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18807] ppid=18208 vsize=9824732 CPUtime=169.82 cores=1,3,5,7
/proc/18211/task/18807/stat : 18807 (java) R 18208 18211 15677 0 -1 4202560 7 0 0 0 16980 2 0 0 20 0 22 0 107231261 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140381807156240 140382567529373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18808] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18808/stat : 18808 (java) S 18208 18211 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107231261 10060525568 988796 33554432000 1073741824 1073778376 140736768124944 140381805053096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1628.84
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 3.66 3.84 3.93 5/221 18957
/proc/meminfo: memFree=23579244/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9824732 CPUtime=1748.95 cores=1,3,5,7
/proc/18211/stat : 18211 (java) S 18208 18211 15677 0 -1 4202496 24540 0 1 0 174647 248 0 0 20 0 22 0 107166089 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140736768116080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2456183 1000057 2294 9 0 2446860 0
[pid=18211/tid=18213] ppid=18208 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/18211/task/18213/stat : 18213 (java) S 18208 18211 15677 0 -1 4202560 2434 0 1 0 34 3 0 0 20 0 22 0 107166090 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382730261368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18214] ppid=18208 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/18211/task/18214/stat : 18214 (java) S 18208 18211 15677 0 -1 4202560 633 0 0 0 218 18 0 0 20 0 22 0 107166091 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382691752616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18215] ppid=18208 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/18211/task/18215/stat : 18215 (java) S 18208 18211 15677 0 -1 4202560 683 0 0 0 193 21 0 0 20 0 22 0 107166091 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382690700072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18216] ppid=18208 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/18211/task/18216/stat : 18216 (java) S 18208 18211 15677 0 -1 4202560 697 0 0 0 194 22 0 0 20 0 22 0 107166091 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382689647528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18217] ppid=18208 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/18211/task/18217/stat : 18217 (java) S 18208 18211 15677 0 -1 4202560 686 0 0 0 172 14 0 0 20 0 22 0 107166091 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382688594984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18218] ppid=18208 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/18211/task/18218/stat : 18218 (java) S 18208 18211 15677 0 -1 4202560 736 0 0 0 220 21 0 0 20 0 22 0 107166091 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382687541416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18219] ppid=18208 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/18211/task/18219/stat : 18219 (java) S 18208 18211 15677 0 -1 4202560 753 0 0 0 172 20 0 0 20 0 22 0 107166091 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382686488872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18220] ppid=18208 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/18211/task/18220/stat : 18220 (java) S 18208 18211 15677 0 -1 4202560 670 0 0 0 203 19 0 0 20 0 22 0 107166091 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382685436328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18221] ppid=18208 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/18211/task/18221/stat : 18221 (java) S 18208 18211 15677 0 -1 4202560 683 0 0 0 193 19 0 0 20 0 22 0 107166091 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382566345256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18222] ppid=18208 vsize=9824732 CPUtime=3.6 cores=1,3,5,7
/proc/18211/task/18222/stat : 18222 (java) S 18208 18211 15677 0 -1 4202560 3072 0 0 0 354 6 0 0 20 0 22 0 107166092 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382554147432 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18223] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18223/stat : 18223 (java) S 18208 18211 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107166093 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382553093752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18224] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18224/stat : 18224 (java) S 18208 18211 15677 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107166093 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382552041096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18225] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18225/stat : 18225 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140382550989840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18226] ppid=18208 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/18211/task/18226/stat : 18226 (java) S 18208 18211 15677 0 -1 4202560 3694 0 0 0 72 0 0 0 20 0 22 0 107166095 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140381811370040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18227] ppid=18208 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/18211/task/18227/stat : 18227 (java) S 18208 18211 15677 0 -1 4202560 6580 0 0 0 132 0 0 0 20 0 22 0 107166095 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140381810317496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18228] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18228/stat : 18228 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140381809265144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18229] ppid=18208 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/18211/task/18229/stat : 18229 (java) S 18208 18211 15677 0 -1 4202560 52 0 0 0 12 14 0 0 20 0 22 0 107166095 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140381808212808 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18278] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18278/stat : 18278 (java) S 18208 18211 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107199094 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140381804000040 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18806] ppid=18208 vsize=9824732 CPUtime=229.71 cores=1,3,5,7
/proc/18211/task/18806/stat : 18806 (java) R 18208 18211 15677 0 -1 4202560 4 0 0 0 22968 3 0 0 20 0 22 0 107231261 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140381806096160 140382567008060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18807] ppid=18208 vsize=9824732 CPUtime=229.76 cores=1,3,5,7
/proc/18211/task/18807/stat : 18807 (java) R 18208 18211 15677 0 -1 4202560 8 0 0 0 22973 3 0 0 20 0 22 0 107231261 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140381807156400 140382567169469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18808] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18808/stat : 18808 (java) S 18208 18211 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107231261 10060525568 1000057 33554432000 1073741824 1073778376 140736768124944 140381805053096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1748.95
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+908.401 s]
/proc/loadavg: 4.01 3.90 3.95 5/218 19101
/proc/meminfo: memFree=26243724/32872528 swapFree=15540/1663004
[pid=18211] ppid=18208 vsize=9824732 CPUtime=1800.06 cores=1,3,5,7
/proc/18211/stat : 18211 (java) S 18208 18211 15677 0 -1 4202496 24623 0 1 0 179749 257 0 0 20 0 22 0 107166089 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140736768116080 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18211/statm: 2456183 1002660 2294 9 0 2446860 0
[pid=18211/tid=18213] ppid=18208 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/18211/task/18213/stat : 18213 (java) S 18208 18211 15677 0 -1 4202560 2434 0 1 0 35 3 0 0 20 0 22 0 107166090 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382730261368 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18214] ppid=18208 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/18211/task/18214/stat : 18214 (java) S 18208 18211 15677 0 -1 4202560 638 0 0 0 229 18 0 0 20 0 22 0 107166091 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382691752616 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18215] ppid=18208 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/18211/task/18215/stat : 18215 (java) S 18208 18211 15677 0 -1 4202560 683 0 0 0 196 21 0 0 20 0 22 0 107166091 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382690700072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18216] ppid=18208 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/18211/task/18216/stat : 18216 (java) S 18208 18211 15677 0 -1 4202560 718 0 0 0 201 22 0 0 20 0 22 0 107166091 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382689647528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18217] ppid=18208 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/18211/task/18217/stat : 18217 (java) S 18208 18211 15677 0 -1 4202560 695 0 0 0 175 14 0 0 20 0 22 0 107166091 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382688594984 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18218] ppid=18208 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/18211/task/18218/stat : 18218 (java) S 18208 18211 15677 0 -1 4202560 736 0 0 0 224 21 0 0 20 0 22 0 107166091 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382687541416 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18219] ppid=18208 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/18211/task/18219/stat : 18219 (java) S 18208 18211 15677 0 -1 4202560 755 0 0 0 185 21 0 0 20 0 22 0 107166091 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382686488872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18220] ppid=18208 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/18211/task/18220/stat : 18220 (java) S 18208 18211 15677 0 -1 4202560 683 0 0 0 212 20 0 0 20 0 22 0 107166091 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382685436328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18221] ppid=18208 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/18211/task/18221/stat : 18221 (java) S 18208 18211 15677 0 -1 4202560 695 0 0 0 197 19 0 0 20 0 22 0 107166091 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382566345256 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18222] ppid=18208 vsize=9824732 CPUtime=3.61 cores=1,3,5,7
/proc/18211/task/18222/stat : 18222 (java) S 18208 18211 15677 0 -1 4202560 3075 0 0 0 354 7 0 0 20 0 22 0 107166092 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382554147432 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18223] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18223/stat : 18223 (java) S 18208 18211 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107166093 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382553093752 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18224] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18224/stat : 18224 (java) S 18208 18211 15677 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 107166093 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382552041096 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18225] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18225/stat : 18225 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140382550989840 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18226] ppid=18208 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/18211/task/18226/stat : 18226 (java) S 18208 18211 15677 0 -1 4202560 3694 0 0 0 72 0 0 0 20 0 22 0 107166095 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140381811370040 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18227] ppid=18208 vsize=9824732 CPUtime=1.32 cores=1,3,5,7
/proc/18211/task/18227/stat : 18227 (java) S 18208 18211 15677 0 -1 4202560 6580 0 0 0 132 0 0 0 20 0 22 0 107166095 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140381810317496 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18228] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18228/stat : 18228 (java) S 18208 18211 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107166095 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140381809265144 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18211/tid=18229] ppid=18208 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/18211/task/18229/stat : 18229 (java) S 18208 18211 15677 0 -1 4202560 54 0 0 0 12 14 0 0 20 0 22 0 107166095 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140381808212808 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18278] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18278/stat : 18278 (java) S 18208 18211 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107199094 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140381804000040 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18211/tid=18958] ppid=18208 vsize=9824732 CPUtime=11.86 cores=1,3,5,7
/proc/18211/task/18958/stat : 18958 (java) R 18208 18211 15677 0 -1 4202560 3 0 0 0 1186 0 0 0 20 0 22 0 107255727 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140381807149216 140382567125215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18211/tid=18959] ppid=18208 vsize=9824732 CPUtime=11.86 cores=1,3,5,7
/proc/18211/task/18959/stat : 18959 (java) R 18208 18211 15677 0 -1 4202560 7 0 0 0 1186 0 0 0 20 0 22 0 107255727 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140381806104336 140382567560833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18211/tid=18960] ppid=18208 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18211/task/18960/stat : 18960 (java) S 18208 18211 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107255735 10060525568 1002660 33554432000 1073741824 1073778376 140736768124944 140381805053480 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18211 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 908.452
CPU time (s): 1800.24
CPU user time (s): 1797.51
CPU system time (s): 2.73258
CPU usage (%): 198.166
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.51
system time used= 2.73258
maximum resident set size= 4010764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24666
page faults= 1
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23475
involuntary context switches= 20803

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.46317 second user time and 7.8648 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-07 00:32:13
IDJOB=4080728
IDBENCH=25047
IDSOLVER=2543
FILE ID=node134/4080728-1465252333
RUNJOBID= node134-1465243580-15694
PBS_JOBID= 19843249
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080728-1465252333/watcher-4080728-1465252333 -o /tmp/evaluation-result-4080728-1465252333/solver-4080728-1465252333 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15694 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4080728-1465252333.opb

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

MD5SUM BENCH= 3247d1c2d88b8e4a3c1b4f888e937620
RANDOM SEED=112283207

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29599228 kB
Buffers:           48320 kB
Cached:           120216 kB
SwapCached:         1804 kB
Active:           799920 kB
Inactive:          97576 kB
Active(anon):     730028 kB
Inactive(anon):     1040 kB
Active(file):      69892 kB
Inactive(file):    96536 kB
Unevictable:     1663004 kB
Mlocked:           15540 kB
SwapTotal:      67108856 kB
SwapFree:       67098296 kB
Dirty:               536 kB
Writeback:             0 kB
AnonPages:       2400984 kB
Mapped:            15312 kB
Shmem:                 0 kB
Slab:             568392 kB
SReclaimable:      12304 kB
SUnreclaim:       556088 kB
KernelStack:        1696 kB
PageTables:         8712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2845200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2318336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node134 at 2016-06-07 00:47:22