Trace number 3688729

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)-14 1800.08 1784.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_5.opb
MD5SUM1a8c058c181490cb899ec7074b22bfb3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark1797.4
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.2.v20120418
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.08/0.11	c Pseudo Boolean Optimization by upper bound
0.08/0.11	c --- Begin Solver configuration ---
0.08/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.11	c No reason simplification
0.08/0.11	c Armin Biere (Picosat) restarts strategy
0.08/0.11	c Glucose learned constraints deletion strategy
0.08/0.11	c timeout=2147483s
0.08/0.11	c DB Simplification allowed=false
0.08/0.11	c c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3688729-1337886924.opb
0.08/0.11	c reading problem ... 
0.46/0.39	c ... done. Wall clock time 0.279s.
0.46/0.39	c declared #vars     200
0.46/0.39	c internal #vars     3262
0.46/0.39	c #constraints  6426
0.46/0.39	c constraints type 
0.46/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
0.46/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.46/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.46/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
0.46/0.39	c 6426 constraints processed.
0.46/0.39	c objective function length is 100 literals
1.52/0.76	c SATISFIABLE
1.52/0.76	c OPTIMIZING...
1.52/0.76	c Got one! Elapsed wall clock time (in seconds):0.645
1.52/0.76	o -7
1.64/0.84	c Got one! Elapsed wall clock time (in seconds):0.731
1.64/0.84	o -8
2.11/1.29	c cleaning 3072 clauses out of 6152 with flag 5012/6152
2.78/1.81	c cleaning 4534 clauses out of 9073 with flag 11005/12145
3.70/2.43	c cleaning 5767 clauses out of 11540 with flag 18006/19146
4.90/3.13	c cleaning 6898 clauses out of 13795 with flag 26028/27168
5.64/3.82	c cleaning 7935 clauses out of 15870 with flag 35001/36141
5.64/3.85	c Got one! Elapsed wall clock time (in seconds):3.739
5.64/3.85	o -9
6.15/4.33	c cleaning 6500 clauses out of 13030 with flag 5006/41236
6.85/5.00	c cleaning 6220 clauses out of 12530 with flag 11006/47236
7.36/5.55	c cleaning 6621 clauses out of 13308 with flag 18004/54234
8.15/6.39	c cleaning 7330 clauses out of 14691 with flag 26008/62238
8.87/7.00	c cleaning 8164 clauses out of 16353 with flag 35000/71230
9.58/7.71	c cleaning 9106 clauses out of 18211 with flag 45022/81252
10.51/8.62	c cleaning 10041 clauses out of 20086 with flag 56003/92233
11.53/9.60	c cleaning 11016 clauses out of 22042 with flag 68000/104230
12.34/10.42	c cleaning 12013 clauses out of 24026 with flag 81000/117230
13.25/11.33	c cleaning 13000 clauses out of 26013 with flag 95000/131230
14.35/12.40	c cleaning 13999 clauses out of 28014 with flag 110001/146231
15.38/13.49	c cleaning 14997 clauses out of 30015 with flag 126001/162231
16.78/14.81	c cleaning 15986 clauses out of 32017 with flag 143000/179230
18.30/16.37	c cleaning 17015 clauses out of 34037 with flag 161006/197236
19.42/17.48	c cleaning 18001 clauses out of 36019 with flag 180003/216233
20.53/18.51	c cleaning 19008 clauses out of 38017 with flag 200002/236232
21.86/19.84	c cleaning 20001 clauses out of 40009 with flag 221002/257232
23.79/21.75	c cleaning 21003 clauses out of 42006 with flag 243000/279230
26.02/23.95	c cleaning 21999 clauses out of 44003 with flag 266000/302230
28.13/26.06	c cleaning 22996 clauses out of 46004 with flag 290000/326230
30.04/27.93	c cleaning 24025 clauses out of 48050 with flag 315042/351272
32.45/30.36	c cleaning 24973 clauses out of 49991 with flag 341008/377238
35.20/33.06	c cleaning 26013 clauses out of 52031 with flag 368021/404251
37.92/35.70	c cleaning 27001 clauses out of 54002 with flag 396005/432235
40.13/37.97	c cleaning 27995 clauses out of 55996 with flag 425000/461230
42.45/40.22	c cleaning 28993 clauses out of 58006 with flag 455005/491235
44.58/42.37	c cleaning 29999 clauses out of 60009 with flag 486001/522231
47.23/44.97	c cleaning 30996 clauses out of 62010 with flag 518001/554231
49.96/47.67	c cleaning 32007 clauses out of 64017 with flag 551004/587234
53.00/50.69	c cleaning 32998 clauses out of 66007 with flag 585001/621231
55.91/53.57	c cleaning 34000 clauses out of 68008 with flag 620000/656230
58.94/56.52	c cleaning 35006 clauses out of 70015 with flag 656007/692237
62.08/59.69	c cleaning 35999 clauses out of 72004 with flag 693002/729232
65.02/62.57	c cleaning 36989 clauses out of 74006 with flag 731003/767233
65.14/62.68	c Got one! Elapsed wall clock time (in seconds):62.564
65.14/62.68	o -10
65.53/63.04	c cleaning 21231 clauses out of 42461 with flag 4005/772677
65.93/63.48	c cleaning 13613 clauses out of 27226 with flag 10001/778673
66.46/63.97	c cleaning 10278 clauses out of 20612 with flag 17000/785672
66.98/64.50	c cleaning 9160 clauses out of 18335 with flag 25001/793673
67.49/64.99	c cleaning 9085 clauses out of 18175 with flag 34001/802673
68.09/65.52	c cleaning 9539 clauses out of 19089 with flag 44000/812672
68.71/66.15	c cleaning 10252 clauses out of 20550 with flag 55000/823672
69.43/66.81	c cleaning 11145 clauses out of 22299 with flag 67001/835673
70.15/67.52	c cleaning 12079 clauses out of 24159 with flag 80006/848678
70.97/68.32	c cleaning 13036 clauses out of 26076 with flag 94002/862674
71.78/69.19	c cleaning 14018 clauses out of 28038 with flag 109000/877672
71.90/69.28	c Got one! Elapsed wall clock time (in seconds):69.165
71.90/69.28	o -11
72.23/69.57	c cleaning 9534 clauses out of 19103 with flag 4000/882755
72.63/69.95	c cleaning 7781 clauses out of 15572 with flag 10003/888758
73.07/70.40	c cleaning 7376 clauses out of 14788 with flag 17000/895755
73.58/70.86	c cleaning 7692 clauses out of 15412 with flag 25000/903755
74.10/71.38	c cleaning 8337 clauses out of 16720 with flag 34000/912755
74.72/71.96	c cleaning 9198 clauses out of 18398 with flag 44015/922770
75.44/72.66	c cleaning 10092 clauses out of 20186 with flag 55001/933756
76.15/73.37	c cleaning 11033 clauses out of 22093 with flag 67000/945755
76.96/74.10	c cleaning 12027 clauses out of 24065 with flag 80005/958760
77.81/74.92	c cleaning 13013 clauses out of 26033 with flag 94000/972755
78.83/75.98	c cleaning 14010 clauses out of 28022 with flag 109002/987757
79.96/77.04	c cleaning 15009 clauses out of 30018 with flag 125008/1003763
81.10/78.14	c cleaning 15993 clauses out of 32004 with flag 142003/1020758
82.42/79.42	c cleaning 17000 clauses out of 34010 with flag 160002/1038757
83.74/80.72	c cleaning 18004 clauses out of 36008 with flag 179000/1057755
85.07/82.04	c cleaning 19003 clauses out of 38007 with flag 199003/1077758
86.47/83.43	c cleaning 19999 clauses out of 40003 with flag 220002/1098757
87.91/84.86	c cleaning 20991 clauses out of 42003 with flag 242001/1120756
89.63/86.51	c cleaning 22005 clauses out of 44011 with flag 265000/1143755
91.15/88.08	c cleaning 23003 clauses out of 46007 with flag 289001/1167756
92.97/89.83	c cleaning 23991 clauses out of 48003 with flag 314000/1192755
94.69/91.56	c cleaning 24990 clauses out of 50012 with flag 340000/1218755
96.62/93.47	c cleaning 26009 clauses out of 52023 with flag 367001/1245756
98.63/95.46	c cleaning 26994 clauses out of 54014 with flag 395001/1273756
100.55/97.39	c cleaning 28005 clauses out of 56019 with flag 424000/1302755
102.76/99.55	c cleaning 28985 clauses out of 58014 with flag 454000/1332755
105.20/101.91	c cleaning 30002 clauses out of 60029 with flag 485000/1363755
107.72/104.48	c cleaning 31012 clauses out of 62031 with flag 517004/1395759
110.64/107.34	c cleaning 32002 clauses out of 64015 with flag 550000/1428755
113.28/109.96	c cleaning 32999 clauses out of 66014 with flag 584001/1462756
116.31/112.95	c cleaning 34003 clauses out of 68015 with flag 619001/1497756
118.72/115.39	c cleaning 35005 clauses out of 70027 with flag 655016/1533771
121.83/118.49	c cleaning 35999 clauses out of 72006 with flag 692000/1570755
124.85/121.41	c cleaning 37003 clauses out of 74013 with flag 730006/1608761
127.97/124.59	c cleaning 37996 clauses out of 76018 with flag 769014/1647769
131.58/128.16	c cleaning 38983 clauses out of 78008 with flag 809000/1687755
134.83/131.30	c cleaning 40013 clauses out of 80025 with flag 850000/1728755
137.78/134.25	c cleaning 41000 clauses out of 82014 with flag 892002/1770757
141.00/137.46	c cleaning 41994 clauses out of 84012 with flag 935000/1813755
144.23/140.61	c cleaning 43006 clauses out of 86024 with flag 979006/1857761
148.26/144.67	c cleaning 43990 clauses out of 88012 with flag 1024000/1902755
152.19/148.59	c cleaning 45012 clauses out of 90029 with flag 1070007/1948762
155.95/152.22	c cleaning 46005 clauses out of 92015 with flag 1117005/1995760
159.70/155.90	c cleaning 46998 clauses out of 94007 with flag 1165002/2043757
163.52/159.73	c cleaning 48003 clauses out of 96008 with flag 1214001/2092756
168.17/164.32	c cleaning 48984 clauses out of 98007 with flag 1264003/2142758
172.80/168.90	c cleaning 50012 clauses out of 100032 with flag 1315012/2193767
177.37/173.41	c cleaning 51005 clauses out of 102012 with flag 1367004/2245759
182.01/178.00	c cleaning 51997 clauses out of 104005 with flag 1420002/2298757
186.83/182.84	c cleaning 53002 clauses out of 106015 with flag 1474009/2352764
190.77/186.76	c cleaning 53994 clauses out of 108005 with flag 1529001/2407756
195.82/191.75	c cleaning 54992 clauses out of 110010 with flag 1585000/2463755
201.07/196.95	c cleaning 56002 clauses out of 112021 with flag 1642003/2520758
205.40/201.29	c cleaning 57001 clauses out of 114017 with flag 1700001/2578756
211.66/207.41	c cleaning 57997 clauses out of 116020 with flag 1759005/2637760
217.39/213.11	c cleaning 59007 clauses out of 118034 with flag 1819016/2697771
223.83/219.56	c cleaning 60003 clauses out of 120013 with flag 1880002/2758757
231.30/226.98	c cleaning 60993 clauses out of 122010 with flag 1942002/2820757
236.95/232.51	c cleaning 61999 clauses out of 124017 with flag 2005002/2883757
243.40/238.92	c cleaning 63005 clauses out of 126017 with flag 2069001/2947756
249.28/244.76	c cleaning 63993 clauses out of 128015 with flag 2134004/3012759
255.67/251.07	c cleaning 65010 clauses out of 130032 with flag 2200014/3078769
263.79/259.12	c cleaning 65993 clauses out of 132010 with flag 2267002/3145757
270.72/266.02	c cleaning 67004 clauses out of 134015 with flag 2335000/3213755
277.85/273.13	c cleaning 67988 clauses out of 136011 with flag 2404000/3282755
285.40/280.62	c cleaning 69013 clauses out of 138035 with flag 2474012/3352767
292.98/288.19	c cleaning 69982 clauses out of 140011 with flag 2545001/3423756
301.74/296.84	c cleaning 71004 clauses out of 142028 with flag 2617000/3495755
309.50/304.53	c cleaning 72007 clauses out of 144035 with flag 2690011/3568766
316.14/311.14	c cleaning 73004 clauses out of 146017 with flag 2764000/3642755
326.21/321.17	c cleaning 74001 clauses out of 148022 with flag 2839009/3717764
333.78/328.61	c cleaning 74997 clauses out of 150014 with flag 2915002/3793757
342.36/337.12	c cleaning 76012 clauses out of 152027 with flag 2992012/3870767
350.73/345.45	c cleaning 76975 clauses out of 154004 with flag 3070001/3948756
358.60/353.22	c cleaning 78010 clauses out of 156028 with flag 3149000/4027755
366.48/361.00	c cleaning 79009 clauses out of 158020 with flag 3229002/4107757
374.71/369.20	c cleaning 80000 clauses out of 160012 with flag 3310003/4188758
384.55/379.06	c cleaning 80997 clauses out of 162009 with flag 3392000/4270755
393.40/387.83	c cleaning 82000 clauses out of 164018 with flag 3475006/4353761
402.11/396.53	c cleaning 83007 clauses out of 166014 with flag 3559002/4437757
412.79/407.11	c cleaning 83997 clauses out of 168007 with flag 3644002/4522757
426.60/420.80	c cleaning 84985 clauses out of 170009 with flag 3730001/4608756
437.67/431.81	c cleaning 86006 clauses out of 172027 with flag 3817004/4695759
446.82/440.91	c cleaning 87005 clauses out of 174017 with flag 3905000/4783755
457.27/451.30	c cleaning 88001 clauses out of 176012 with flag 3994000/4872755
464.65/458.63	c cleaning 88997 clauses out of 178012 with flag 4084001/4962756
472.28/466.25	c cleaning 90002 clauses out of 180014 with flag 4175000/5053755
476.32/470.20	c Got one! Elapsed wall clock time (in seconds):470.09
476.32/470.20	o -12
478.04/471.95	c cleaning 76893 clauses out of 153785 with flag 5014/5117528
478.91/472.71	c cleaning 41439 clauses out of 82878 with flag 11000/5123514
479.52/473.38	c cleaning 24221 clauses out of 48442 with flag 18003/5130517
480.15/473.93	c cleaning 16107 clauses out of 32218 with flag 26000/5138514
480.66/474.42	c cleaning 12553 clauses out of 25111 with flag 35000/5147514
481.38/475.11	c cleaning 11274 clauses out of 22566 with flag 45008/5157522
482.00/475.78	c cleaning 11136 clauses out of 22286 with flag 56002/5168516
482.71/476.46	c cleaning 11572 clauses out of 23148 with flag 68000/5180514
483.44/477.15	c cleaning 12286 clauses out of 24576 with flag 81000/5193514
484.17/477.89	c cleaning 13137 clauses out of 26290 with flag 95000/5207514
485.09/478.71	c cleaning 14069 clauses out of 28153 with flag 110000/5222514
485.95/479.60	c cleaning 15040 clauses out of 30085 with flag 126001/5238515
486.95/480.55	c cleaning 16016 clauses out of 32044 with flag 143000/5255514
487.87/481.49	c cleaning 17007 clauses out of 34028 with flag 161000/5273514
489.00/482.59	c cleaning 18011 clauses out of 36021 with flag 180000/5292514
490.21/483.78	c cleaning 18990 clauses out of 38010 with flag 200000/5312514
491.56/485.05	c cleaning 20007 clauses out of 40020 with flag 221000/5333514
492.89/486.32	c cleaning 21002 clauses out of 42013 with flag 243000/5355514
494.10/487.50	c cleaning 22003 clauses out of 44014 with flag 266003/5378517
495.41/488.83	c cleaning 22999 clauses out of 46008 with flag 290000/5402514
497.03/490.43	c cleaning 24001 clauses out of 48009 with flag 315000/5427514
498.65/492.02	c cleaning 24998 clauses out of 50008 with flag 341000/5453514
500.27/493.64	c cleaning 25999 clauses out of 52010 with flag 368000/5480514
502.39/495.77	c cleaning 27007 clauses out of 54015 with flag 396004/5508518
504.32/497.61	c cleaning 27989 clauses out of 56004 with flag 425000/5537514
506.35/499.68	c cleaning 29008 clauses out of 58015 with flag 455000/5567514
508.70/501.95	c cleaning 29996 clauses out of 60007 with flag 486000/5598514
511.05/504.24	c cleaning 31003 clauses out of 62011 with flag 518000/5630514
513.99/507.14	c cleaning 32002 clauses out of 64008 with flag 551000/5663514
516.62/509.75	c cleaning 32991 clauses out of 66006 with flag 585000/5697514
519.23/512.30	c cleaning 34007 clauses out of 68015 with flag 620000/5732514
521.75/514.84	c cleaning 34976 clauses out of 70008 with flag 656000/5768514
524.57/517.65	c cleaning 36016 clauses out of 72033 with flag 693001/5805515
527.51/520.57	c cleaning 37008 clauses out of 74021 with flag 731005/5843519
530.75/523.77	c cleaning 38006 clauses out of 76012 with flag 770004/5882518
534.38/527.31	c cleaning 39001 clauses out of 78002 with flag 810000/5922514
537.72/530.63	c cleaning 40001 clauses out of 80001 with flag 851000/5963514
541.85/534.79	c cleaning 40996 clauses out of 82000 with flag 893000/6005514
545.18/538.02	c cleaning 41990 clauses out of 84004 with flag 936000/6048514
548.41/541.23	c cleaning 43001 clauses out of 86014 with flag 980000/6092514
551.64/544.43	c cleaning 43997 clauses out of 88013 with flag 1025000/6137514
554.95/547.79	c cleaning 45005 clauses out of 90022 with flag 1071006/6183520
558.68/551.41	c cleaning 46004 clauses out of 92015 with flag 1118004/6230518
562.52/555.23	c cleaning 47003 clauses out of 94008 with flag 1166001/6278515
566.55/559.25	c cleaning 47991 clauses out of 96005 with flag 1215001/6327515
570.58/563.28	c cleaning 48994 clauses out of 98014 with flag 1265001/6377515
574.62/567.29	c cleaning 50006 clauses out of 100020 with flag 1316001/6428515
578.87/571.44	c cleaning 50997 clauses out of 102013 with flag 1368000/6480514
583.69/576.21	c cleaning 52001 clauses out of 104019 with flag 1421003/6533517
588.71/581.22	c cleaning 53007 clauses out of 106015 with flag 1475000/6587514
594.03/586.55	c cleaning 54001 clauses out of 108009 with flag 1530001/6642515
599.36/591.88	c cleaning 54993 clauses out of 110008 with flag 1586001/6698515
604.92/597.35	c cleaning 56004 clauses out of 112017 with flag 1643003/6755517
610.46/602.86	c cleaning 56992 clauses out of 114010 with flag 1701000/6813514
615.38/607.76	c cleaning 58006 clauses out of 116018 with flag 1760000/6872514
620.31/612.69	c cleaning 59002 clauses out of 118012 with flag 1820000/6932514
625.57/617.89	c cleaning 59998 clauses out of 120010 with flag 1881000/6993514
631.52/623.71	c cleaning 60993 clauses out of 122012 with flag 1943000/7055514
636.77/628.99	c cleaning 62006 clauses out of 124021 with flag 2006002/7118516
643.00/635.17	c cleaning 62984 clauses out of 126014 with flag 2070001/7182515
648.37/640.47	c cleaning 64011 clauses out of 128029 with flag 2135000/7247514
654.30/646.37	c cleaning 65004 clauses out of 130020 with flag 2201002/7313516
660.35/652.35	c cleaning 66001 clauses out of 132014 with flag 2268000/7380514
667.06/659.05	c cleaning 67001 clauses out of 134013 with flag 2336000/7448514
674.08/666.08	c cleaning 68005 clauses out of 136012 with flag 2405000/7517514
680.81/672.75	c cleaning 69000 clauses out of 138010 with flag 2475003/7587517
688.37/680.24	c cleaning 70000 clauses out of 140007 with flag 2546000/7658514
694.91/686.79	c cleaning 70992 clauses out of 142007 with flag 2618000/7730514
702.17/693.90	c cleaning 72005 clauses out of 144021 with flag 2691006/7803520
710.10/701.88	c cleaning 72998 clauses out of 146011 with flag 2765001/7877515
718.12/709.82	c cleaning 74004 clauses out of 148014 with flag 2840002/7952516
726.33/718.05	c cleaning 75003 clauses out of 150010 with flag 2916002/8028516
730.75/722.43	c Got one! Elapsed wall clock time (in seconds):722.317
730.75/722.43	o -13
731.95/723.67	c cleaning 62662 clauses out of 125324 with flag 5000/8078833
732.68/724.36	c cleaning 34331 clauses out of 68665 with flag 11003/8084836
733.20/724.85	c cleaning 20661 clauses out of 41331 with flag 18000/8091833
733.70/725.33	c cleaning 14328 clauses out of 28671 with flag 26001/8099834
734.13/725.79	c cleaning 11656 clauses out of 23342 with flag 35000/8108833
734.76/726.32	c cleaning 10817 clauses out of 21689 with flag 45003/8118836
735.27/726.87	c cleaning 10935 clauses out of 21872 with flag 56003/8129836
735.89/727.48	c cleaning 11464 clauses out of 22935 with flag 68001/8141834
736.63/728.14	c cleaning 12229 clauses out of 24470 with flag 81000/8154833
737.35/728.85	c cleaning 13116 clauses out of 26241 with flag 95000/8168833
738.16/729.60	c cleaning 14062 clauses out of 28126 with flag 110001/8183834
738.98/730.44	c cleaning 15030 clauses out of 30064 with flag 126001/8199834
739.80/731.29	c cleaning 16016 clauses out of 32033 with flag 143000/8216833
740.92/732.37	c cleaning 16995 clauses out of 34017 with flag 161000/8234833
742.05/733.47	c cleaning 18009 clauses out of 36022 with flag 180000/8253833
743.29/734.66	c cleaning 19006 clauses out of 38015 with flag 200002/8273835
744.51/735.90	c cleaning 19999 clauses out of 40007 with flag 221000/8294833
745.93/737.20	c cleaning 21001 clauses out of 42013 with flag 243005/8316838
747.26/738.50	c cleaning 21999 clauses out of 44008 with flag 266001/8339834
748.58/739.89	c cleaning 23003 clauses out of 46010 with flag 290002/8363835
750.09/741.37	c cleaning 23998 clauses out of 48006 with flag 315001/8388834
751.60/742.83	c cleaning 24996 clauses out of 50007 with flag 341000/8414833
753.33/744.57	c cleaning 26001 clauses out of 52013 with flag 368002/8441835
755.05/746.30	c cleaning 26991 clauses out of 54010 with flag 396000/8469833
756.89/748.03	c cleaning 28008 clauses out of 56020 with flag 425001/8498834
758.80/749.95	c cleaning 29001 clauses out of 58011 with flag 455000/8528833
760.91/752.02	c cleaning 29997 clauses out of 60011 with flag 486001/8559834
763.25/754.31	c cleaning 31002 clauses out of 62013 with flag 518000/8591833
765.47/756.58	c cleaning 31999 clauses out of 64012 with flag 551001/8624834
768.22/759.24	c cleaning 33004 clauses out of 66013 with flag 585001/8658834
771.13/762.14	c cleaning 33992 clauses out of 68008 with flag 620000/8693833
774.06/765.05	c cleaning 35001 clauses out of 70016 with flag 656000/8729833
776.89/767.86	c cleaning 36001 clauses out of 72015 with flag 693000/8766833
779.92/770.85	c cleaning 36998 clauses out of 74015 with flag 731001/8804834
782.96/773.80	c cleaning 38006 clauses out of 76017 with flag 770001/8843834
786.18/777.03	c cleaning 38998 clauses out of 78010 with flag 810000/8883833
789.62/780.45	c cleaning 40005 clauses out of 80013 with flag 851001/8924834
793.03/783.80	c cleaning 40995 clauses out of 82007 with flag 893000/8966833
796.86/787.65	c cleaning 41994 clauses out of 84016 with flag 936004/9009837
800.57/791.35	c cleaning 43001 clauses out of 86020 with flag 980002/9053835
804.00/794.72	c cleaning 44006 clauses out of 88017 with flag 1025000/9098833
807.52/798.24	c cleaning 45004 clauses out of 90011 with flag 1071000/9144833
810.85/801.50	c cleaning 46003 clauses out of 92007 with flag 1118000/9191833
814.39/805.09	c cleaning 47001 clauses out of 94005 with flag 1166001/9239834
818.02/808.62	c cleaning 48001 clauses out of 96003 with flag 1215000/9288833
822.15/812.79	c cleaning 48987 clauses out of 98002 with flag 1265000/9338833
826.06/816.67	c cleaning 49997 clauses out of 100015 with flag 1316000/9389833
830.19/820.72	c cleaning 50998 clauses out of 102026 with flag 1368008/9441841
834.55/825.06	c cleaning 52004 clauses out of 104023 with flag 1421003/9494836
838.91/829.38	c cleaning 53004 clauses out of 106016 with flag 1475000/9548833
843.73/834.16	c cleaning 54002 clauses out of 108016 with flag 1530004/9603837
848.67/839.06	c cleaning 55003 clauses out of 110010 with flag 1586000/9659833
854.20/844.59	c cleaning 56004 clauses out of 112007 with flag 1643000/9716833
860.05/850.31	c cleaning 56994 clauses out of 114003 with flag 1701000/9774833
865.60/855.83	c cleaning 58001 clauses out of 116009 with flag 1760000/9833833
871.13/861.37	c cleaning 59003 clauses out of 118008 with flag 1820000/9893833
877.25/867.49	c cleaning 59975 clauses out of 120005 with flag 1881000/9954833
882.69/872.87	c cleaning 61013 clauses out of 122030 with flag 1943000/10016833
888.43/878.50	c cleaning 62009 clauses out of 124018 with flag 2006001/10079834
894.67/884.77	c cleaning 62994 clauses out of 126008 with flag 2070000/10143833
900.96/890.94	c cleaning 63999 clauses out of 128018 with flag 2135004/10208837
907.98/897.96	c cleaning 65000 clauses out of 130016 with flag 2201001/10274834
915.33/905.26	c cleaning 66006 clauses out of 132017 with flag 2268002/10341835
921.36/911.26	c cleaning 66991 clauses out of 134010 with flag 2336001/10409834
928.08/917.98	c cleaning 68004 clauses out of 136018 with flag 2405000/10478833
935.64/925.40	c cleaning 69002 clauses out of 138023 with flag 2475009/10548842
942.87/932.65	c cleaning 70003 clauses out of 140012 with flag 2546000/10619833
950.00/939.79	c cleaning 70997 clauses out of 142010 with flag 2618001/10691834
957.54/947.20	c cleaning 71996 clauses out of 144012 with flag 2691000/10764833
965.16/954.83	c cleaning 73002 clauses out of 146017 with flag 2765001/10838834
972.01/961.62	c cleaning 74000 clauses out of 148014 with flag 2840000/10913833
979.85/969.48	c cleaning 74991 clauses out of 150014 with flag 2916000/10989833
987.90/977.49	c cleaning 76009 clauses out of 152023 with flag 2993000/11066833
996.83/986.30	c cleaning 76987 clauses out of 154014 with flag 3071000/11144833
1004.78/994.24	c cleaning 78009 clauses out of 156028 with flag 3150001/11223834
1012.91/1002.38	c cleaning 79006 clauses out of 158020 with flag 3230002/11303835
1023.14/1012.52	c cleaning 79997 clauses out of 160014 with flag 3311002/11384835
1031.67/1021.01	c cleaning 81002 clauses out of 162017 with flag 3393002/11466835
1041.49/1030.84	c cleaning 81995 clauses out of 164013 with flag 3476000/11549833
1050.76/1040.08	c cleaning 83000 clauses out of 166020 with flag 3560002/11633835
1061.64/1050.85	c cleaning 84002 clauses out of 168019 with flag 3645001/11718834
1072.29/1061.47	c cleaning 85008 clauses out of 170019 with flag 3731003/11804836
1083.14/1072.21	c cleaning 85999 clauses out of 172008 with flag 3818000/11891833
1094.26/1083.31	c cleaning 86991 clauses out of 174009 with flag 3906000/11979833
1105.59/1094.64	c cleaning 87996 clauses out of 176018 with flag 3995000/12068833
1116.83/1105.85	c cleaning 88998 clauses out of 178022 with flag 4085000/12158833
1130.61/1119.52	c cleaning 90006 clauses out of 180024 with flag 4176000/12249833
1144.21/1133.06	c cleaning 90996 clauses out of 182018 with flag 4268000/12341833
1155.89/1144.64	c cleaning 91996 clauses out of 184022 with flag 4361000/12434833
1166.98/1155.61	c cleaning 93011 clauses out of 186029 with flag 4455003/12528836
1178.75/1167.34	c cleaning 93999 clauses out of 188015 with flag 4550000/12623833
1191.53/1180.00	c cleaning 95001 clauses out of 190016 with flag 4646000/12719833
1199.48/1187.98	c Got one! Elapsed wall clock time (in seconds):1187.862
1199.48/1187.98	o -14
1201.17/1189.69	c cleaning 90026 clauses out of 180053 with flag 5001/12804871
1202.00/1190.44	c cleaning 47982 clauses out of 96026 with flag 11000/12810870
1202.63/1191.04	c cleaning 27514 clauses out of 55045 with flag 18001/12817871
1203.14/1191.51	c cleaning 17751 clauses out of 35531 with flag 26001/12825871
1203.56/1191.98	c cleaning 13370 clauses out of 26779 with flag 35000/12834870
1204.18/1192.59	c cleaning 11668 clauses out of 23409 with flag 45000/12844870
1204.81/1193.18	c cleaning 11350 clauses out of 22743 with flag 56002/12855872
1205.54/1193.81	c cleaning 11694 clauses out of 23396 with flag 68005/12867875
1206.15/1194.50	c cleaning 12324 clauses out of 24697 with flag 81000/12880870
1206.97/1195.25	c cleaning 13180 clauses out of 26375 with flag 95002/12894872
1207.82/1196.05	c cleaning 14092 clauses out of 28193 with flag 110000/12909870
1208.65/1196.89	c cleaning 15050 clauses out of 30103 with flag 126002/12925872
1209.57/1197.80	c cleaning 16023 clauses out of 32058 with flag 143007/12942877
1210.70/1198.81	c cleaning 17015 clauses out of 34030 with flag 161002/12960872
1211.73/1199.86	c cleaning 18004 clauses out of 36014 with flag 180001/12979871
1212.96/1201.04	c cleaning 19000 clauses out of 38009 with flag 200000/12999870
1214.37/1202.40	c cleaning 20004 clauses out of 40014 with flag 221005/13020875
1215.70/1203.73	c cleaning 20997 clauses out of 42005 with flag 243000/13042870
1217.12/1205.15	c cleaning 22000 clauses out of 44008 with flag 266000/13065870
1218.53/1206.57	c cleaning 22990 clauses out of 46008 with flag 290000/13089870
1220.25/1208.20	c cleaning 24010 clauses out of 48020 with flag 315002/13114872
1221.98/1209.92	c cleaning 24999 clauses out of 50008 with flag 341000/13140870
1223.71/1211.64	c cleaning 25997 clauses out of 52011 with flag 368002/13167872
1225.63/1213.56	c cleaning 27002 clauses out of 54013 with flag 396001/13195871
1227.75/1215.68	c cleaning 27991 clauses out of 56012 with flag 425002/13224872
1229.79/1217.67	c cleaning 28998 clauses out of 58020 with flag 455001/13254871
1231.81/1219.68	c cleaning 30010 clauses out of 60024 with flag 486003/13285873
1233.93/1221.71	c cleaning 31002 clauses out of 62013 with flag 518002/13317872
1236.25/1224.08	c cleaning 32002 clauses out of 64010 with flag 551001/13350871
1238.68/1226.46	c cleaning 33001 clauses out of 66009 with flag 585002/13384872
1241.30/1229.01	c cleaning 33994 clauses out of 68012 with flag 620006/13419876
1243.93/1231.67	c cleaning 35002 clauses out of 70012 with flag 656000/13455870
1247.06/1234.75	c cleaning 35983 clauses out of 72010 with flag 693000/13492870
1250.09/1237.80	c cleaning 37007 clauses out of 74028 with flag 731001/13530871
1253.21/1240.89	c cleaning 38002 clauses out of 76020 with flag 770000/13569870
1256.73/1244.39	c cleaning 38992 clauses out of 78018 with flag 810000/13609870
1260.37/1247.91	c cleaning 39996 clauses out of 80026 with flag 851000/13650870
1264.10/1251.68	c cleaning 41010 clauses out of 82035 with flag 893005/13692875
1268.22/1255.70	c cleaning 42003 clauses out of 84023 with flag 936003/13735873
1272.74/1260.24	c cleaning 42998 clauses out of 86017 with flag 980000/13779870
1277.26/1264.74	c cleaning 43998 clauses out of 88020 with flag 1025001/13824871
1281.50/1268.98	c cleaning 45004 clauses out of 90023 with flag 1071002/13870872
1286.93/1274.31	c cleaning 45996 clauses out of 92018 with flag 1118001/13917871
1291.98/1279.38	c cleaning 47002 clauses out of 94021 with flag 1166000/13965870
1297.40/1284.72	c cleaning 47997 clauses out of 96019 with flag 1215000/14014870
1302.13/1289.47	c cleaning 48992 clauses out of 98022 with flag 1265000/14064870
1307.57/1294.84	c cleaning 49998 clauses out of 100031 with flag 1316001/14115871
1313.90/1301.11	c cleaning 51007 clauses out of 102033 with flag 1368001/14167871
1320.13/1307.38	c cleaning 52005 clauses out of 104025 with flag 1421000/14220870
1327.64/1314.89	c cleaning 53001 clauses out of 106020 with flag 1475000/14274870
1334.68/1321.83	c cleaning 53999 clauses out of 108020 with flag 1530001/14329871
1341.71/1328.81	c cleaning 54993 clauses out of 110020 with flag 1586000/14385870
1348.02/1335.10	c cleaning 56005 clauses out of 112029 with flag 1643002/14442872
1354.57/1341.60	c cleaning 56992 clauses out of 114022 with flag 1701000/14500870
1362.31/1349.33	c cleaning 57999 clauses out of 116031 with flag 1760001/14559871
1371.87/1358.83	c cleaning 59002 clauses out of 118031 with flag 1820000/14619870
1382.61/1369.55	c cleaning 60008 clauses out of 120029 with flag 1881000/14680870
1392.75/1379.67	c cleaning 61001 clauses out of 122024 with flag 1943003/14742873
1401.48/1388.37	c cleaning 61998 clauses out of 124021 with flag 2006001/14805871
1410.87/1397.61	c cleaning 62999 clauses out of 126022 with flag 2070000/14869870
1421.50/1408.23	c cleaning 63998 clauses out of 128023 with flag 2135000/14934870
1430.23/1416.97	c cleaning 64998 clauses out of 130025 with flag 2201000/15000870
1439.84/1426.58	c cleaning 65998 clauses out of 132028 with flag 2268001/15067871
1449.19/1435.82	c cleaning 66994 clauses out of 134031 with flag 2336002/15135872
1456.02/1442.60	c cleaning 68005 clauses out of 136038 with flag 2405003/15204873
1463.06/1449.67	c cleaning 69008 clauses out of 138034 with flag 2475004/15274874
1469.81/1456.35	c cleaning 70000 clauses out of 140024 with flag 2546002/15345872
1477.99/1464.47	c cleaning 70993 clauses out of 142024 with flag 2618002/15417872
1484.14/1470.56	c cleaning 72000 clauses out of 144029 with flag 2691000/15490870
1490.57/1476.93	c cleaning 73003 clauses out of 146029 with flag 2765000/15564870
1498.02/1484.39	c cleaning 74002 clauses out of 148028 with flag 2840002/15639872
1506.37/1492.65	c cleaning 75007 clauses out of 150024 with flag 2916000/15715870
1513.99/1500.24	c cleaning 76001 clauses out of 152018 with flag 2993001/15792871
1522.55/1508.77	c cleaning 77001 clauses out of 154020 with flag 3071004/15870874
1531.59/1517.71	c cleaning 77994 clauses out of 156015 with flag 3150000/15949870
1542.10/1528.22	c cleaning 79002 clauses out of 158023 with flag 3230002/16029872
1551.23/1537.39	c cleaning 80001 clauses out of 160019 with flag 3311000/16110870
1559.88/1545.93	c cleaning 80995 clauses out of 162019 with flag 3393001/16192871
1568.94/1554.98	c cleaning 81999 clauses out of 164023 with flag 3476000/16275870
1579.99/1565.97	c cleaning 82995 clauses out of 166024 with flag 3560000/16359870
1591.12/1577.04	c cleaning 84002 clauses out of 168032 with flag 3645003/16444873
1601.17/1587.10	c cleaning 84996 clauses out of 170027 with flag 3731000/16530870
1611.03/1596.81	c cleaning 86002 clauses out of 172032 with flag 3818001/16617871
1621.49/1607.20	c cleaning 87006 clauses out of 174030 with flag 3906001/16705871
1632.05/1617.78	c cleaning 88008 clauses out of 176025 with flag 3995002/16794872
1641.90/1627.54	c cleaning 88999 clauses out of 178019 with flag 4085004/16884874
1652.13/1637.75	c cleaning 89998 clauses out of 180016 with flag 4176000/16975870
1662.09/1647.67	c cleaning 91002 clauses out of 182021 with flag 4268003/17067873
1671.43/1656.95	c cleaning 92006 clauses out of 184019 with flag 4361003/17160873
1683.07/1668.50	c cleaning 92997 clauses out of 186012 with flag 4455002/17254872
1694.46/1679.82	c cleaning 93993 clauses out of 188014 with flag 4550001/17349871
1705.10/1690.45	c cleaning 95005 clauses out of 190023 with flag 4646003/17445873
1716.62/1701.97	c cleaning 95989 clauses out of 192016 with flag 4743001/17542871
1727.87/1713.14	c cleaning 96998 clauses out of 194026 with flag 4841000/17640870
1738.51/1723.73	c cleaning 98004 clauses out of 196031 with flag 4940003/17739873
1748.79/1734.00	c cleaning 99013 clauses out of 198030 with flag 5040006/17839876
1759.85/1744.83	c cleaning 99997 clauses out of 200013 with flag 5141002/17940872
1772.29/1757.23	c cleaning 100997 clauses out of 202014 with flag 5243000/18042870
1783.46/1768.39	c cleaning 101998 clauses out of 204017 with flag 5346000/18145870
1796.28/1781.15	c cleaning 103007 clauses out of 206019 with flag 5450000/18249870
1800.08/1784.81	c starts		: 357
1800.08/1784.81	c conflicts		: 18300919
1800.08/1784.81	c decisions		: 37267119
1800.08/1784.81	c propagations		: 246085769
1800.08/1784.81	c inspects		: 16494561326
1800.08/1784.81	c shortcuts		: 0
1800.08/1784.81	c learnt literals	: 0
1800.08/1784.81	c learnt binary clauses	: 3
1800.08/1784.81	c learnt ternary clauses	: 21368
1800.08/1784.81	c learnt constraints	: 18300920
1800.08/1784.81	c ignored constraints	: 0
1800.08/1784.81	c root simplifications	: 0
1800.08/1784.81	c removed literals (reason simplification)	: 0
1800.08/1784.81	c reason swapping (by a shorter reason)	: 0
1800.08/1784.81	c Calls to reduceDB	: 401
1800.08/1784.81	c number of reductions to clauses (during analyze)	: 0
1800.08/1784.81	c number of learned constraints concerned by reduction	: 0
1800.08/1784.81	c number of learning phase by resolution	: 0
1800.08/1784.81	c number of learning phase by cutting planes	: 0
1800.08/1784.81	c speed (assignments/second)	: 137908.78441613755
1800.08/1784.81	c non guided choices	0
1800.08/1784.84	c learnt constraints type 
1800.08/1784.84	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.08/1784.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 154293
1800.08/1784.84	c constraints type 
1800.08/1784.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3062
1800.08/1784.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 203
1800.08/1784.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
1800.08/1784.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3062
1800.08/1784.84	c 6427 constraints processed.
1800.08/1784.84	s SATISFIABLE
1800.08/1784.84	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 
1800.08/1784.84	c objective function=-14
1800.08/1784.84	c Total wall clock time (in seconds): 1784.73

Verifier Data 

OK	-14

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688729-1337886924/watcher-3688729-1337886924 -o /tmp/evaluation-result-3688729-1337886924/solver-3688729-1337886924 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688729-1337886924.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11189
/proc/meminfo: memFree=28462468/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/11189/stat : 11189 (java) D 11187 11189 8709 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 254817296 9515008 176 33554432000 1073741824 1073778376 140733510812960 140733510795688 213419639696 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 2323 176 133 9 0 71 0

[startup+0.013462 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11189
/proc/meminfo: memFree=28462468/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/11189/stat : 11189 (java) S 11187 11189 8709 0 -1 4202496 1216 0 0 0 0 0 0 0 20 0 2 0 254817296 95129600 927 33554432000 1073741824 1073778376 140734095811664 140734095802800 213422997565 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11189/statm: 23225 927 703 9 0 16769 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 92900

[startup+0.100292 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11189
/proc/meminfo: memFree=28462468/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/11189/stat : 11189 (java) S 11187 11189 8709 0 -1 4202496 4350 0 1 0 8 0 0 0 20 0 18 0 254817296 9787813888 5021 33554432000 1073741824 1073778376 140734095811664 140734095802800 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11189/statm: 2389603 5021 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300294 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11189
/proc/meminfo: memFree=28462468/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=9558412 CPUtime=0.46 cores=1,3,5,7
/proc/11189/stat : 11189 (java) S 11187 11189 8709 0 -1 4202496 6068 0 1 0 45 1 0 0 20 0 18 0 254817296 9787813888 8321 33554432000 1073741824 1073778376 140734095811664 140734095802800 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11189/statm: 2389603 8321 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700305 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 11189
/proc/meminfo: memFree=28462468/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/11189/stat : 11189 (java) S 11187 11189 8709 0 -1 4202496 13595 0 1 0 149 3 0 0 20 0 19 0 254817296 9855975424 14792 33554432000 1073741824 1073778376 140734095811664 140734095802800 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11189/statm: 2406244 14792 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9624976

[startup+1.50079 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11208
/proc/meminfo: memFree=28409748/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=9624976 CPUtime=2.45 cores=1,3,5,7
/proc/11189/stat : 11189 (java) S 11187 11189 8709 0 -1 4202496 13688 0 1 0 242 3 0 0 20 0 19 0 254817296 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 140734095802800 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11189/statm: 2406244 19984 2281 9 0 2396937 0
[pid=11189/tid=11191] ppid=11187 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (java) R 11187 11189 8709 0 -1 4202560 2521 0 1 0 143 0 0 0 20 0 19 0 254817297 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907286237336 139907159080779 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11192] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (java) S 11187 11189 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907129928104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11193] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11193/stat : 11193 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907128875560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11194] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11194/stat : 11194 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907127822504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11195] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11195/stat : 11195 (java) S 11187 11189 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907126769960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11196] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11196/stat : 11196 (java) S 11187 11189 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907125717928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11197] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11197/stat : 11197 (java) S 11187 11189 8709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907124665384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11198] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11198/stat : 11198 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907123612328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11199] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11199/stat : 11199 (java) S 11187 11189 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907122559784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11200] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11200/stat : 11200 (java) S 11187 11189 8709 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 254817299 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907110361448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11201] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11201/stat : 11201 (java) S 11187 11189 8709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907109307768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11202] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11202/stat : 11202 (java) S 11187 11189 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907108254600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11203] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11203/stat : 11203 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907107203344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11204] ppid=11187 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/11189/task/11204/stat : 11204 (java) S 11187 11189 8709 0 -1 4202560 5841 0 0 0 47 2 0 0 20 0 19 0 254817302 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907106151224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11205] ppid=11187 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/11189/task/11205/stat : 11205 (java) S 11187 11189 8709 0 -1 4202560 4077 0 0 0 46 0 0 0 20 0 19 0 254817302 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907105098680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11206] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11206/stat : 11206 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907104045816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11207] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11207/stat : 11207 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907102993480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11208] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11208/stat : 11208 (java) S 11187 11189 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254817336 9855975424 19984 33554432000 1073741824 1073778376 140734095811664 139907101938728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9624976

[startup+3.10078 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 11208
/proc/meminfo: memFree=28379408/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=9624976 CPUtime=4.9 cores=1,3,5,7
/proc/11189/stat : 11189 (java) S 11187 11189 8709 0 -1 4202496 22163 0 1 0 485 5 0 0 20 0 19 0 254817296 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 140734095802800 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11189/statm: 2406244 23753 2282 9 0 2396937 0
[pid=11189/tid=11191] ppid=11187 vsize=9624976 CPUtime=2.98 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (java) R 11187 11189 8709 0 -1 4202560 2521 0 1 0 298 0 0 0 20 0 19 0 254817297 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907286237656 139907158967066 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11192] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (java) S 11187 11189 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907129928104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11193] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11193/stat : 11193 (java) S 11187 11189 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907128875560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11194] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11194/stat : 11194 (java) S 11187 11189 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907127822504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11195] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11195/stat : 11195 (java) S 11187 11189 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907126769960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11196] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11196/stat : 11196 (java) S 11187 11189 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907125717928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11197] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11197/stat : 11197 (java) S 11187 11189 8709 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907124665384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11198] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11198/stat : 11198 (java) S 11187 11189 8709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907123612328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11199] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11199/stat : 11199 (java) S 11187 11189 8709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907122559784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11200] ppid=11187 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/11189/task/11200/stat : 11200 (java) S 11187 11189 8709 0 -1 4202560 33 0 0 0 4 0 0 0 20 0 19 0 254817299 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907110361448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11201] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11201/stat : 11201 (java) S 11187 11189 8709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907109307768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11202] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11202/stat : 11202 (java) S 11187 11189 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907108254600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11203] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11203/stat : 11203 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907107203344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11204] ppid=11187 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/11189/task/11204/stat : 11204 (java) S 11187 11189 8709 0 -1 4202560 5844 0 0 0 49 2 0 0 20 0 19 0 254817302 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907106151224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11205] ppid=11187 vsize=9624976 CPUtime=1.27 cores=1,3,5,7
/proc/11189/task/11205/stat : 11205 (java) S 11187 11189 8709 0 -1 4202560 12520 0 0 0 124 3 0 0 20 0 19 0 254817302 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907105098680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11206] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11206/stat : 11206 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907104045816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11207] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11207/stat : 11207 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907102993480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11208] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11208/stat : 11208 (java) S 11187 11189 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254817336 9855975424 23753 33554432000 1073741824 1073778376 140734095811664 139907101938728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 9624976

[startup+6.3007 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11208
/proc/meminfo: memFree=28371464/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=9624976 CPUtime=8.15 cores=1,3,5,7
/proc/11189/stat : 11189 (java) S 11187 11189 8709 0 -1 4202496 22193 0 1 0 809 6 0 0 20 0 19 0 254817296 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 140734095802800 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11189/statm: 2406244 24413 2282 9 0 2396937 0
[pid=11189/tid=11191] ppid=11187 vsize=9624976 CPUtime=6.04 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (java) R 11187 11189 8709 0 -1 4202560 2526 0 1 0 604 0 0 0 20 0 19 0 254817297 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907286237472 139907158966929 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11192] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (java) S 11187 11189 8709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907129928104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11193] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11193/stat : 11193 (java) S 11187 11189 8709 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907128875560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11194] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11194/stat : 11194 (java) S 11187 11189 8709 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907127822504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11195] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11195/stat : 11195 (java) S 11187 11189 8709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907126769960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11196] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11196/stat : 11196 (java) S 11187 11189 8709 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907125717928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11197] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11197/stat : 11197 (java) S 11187 11189 8709 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907124665384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11198] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11198/stat : 11198 (java) S 11187 11189 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907123612328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11199] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11199/stat : 11199 (java) S 11187 11189 8709 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254817298 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907122559784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11200] ppid=11187 vsize=9624976 CPUtime=0.16 cores=1,3,5,7
/proc/11189/task/11200/stat : 11200 (java) S 11187 11189 8709 0 -1 4202560 35 0 0 0 16 0 0 0 20 0 19 0 254817299 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907110361448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11201] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11201/stat : 11201 (java) S 11187 11189 8709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907109307768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11202] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11202/stat : 11202 (java) S 11187 11189 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907108254600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11203] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11203/stat : 11203 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907107203344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11204] ppid=11187 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/11189/task/11204/stat : 11204 (java) S 11187 11189 8709 0 -1 4202560 5845 0 0 0 50 2 0 0 20 0 19 0 254817302 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907106151224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11205] ppid=11187 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/11189/task/11205/stat : 11205 (java) S 11187 11189 8709 0 -1 4202560 12520 0 0 0 127 3 0 0 20 0 19 0 254817302 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907105098680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11206] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11206/stat : 11206 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907104045816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11207] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11207/stat : 11207 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907102993480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11208] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11208/stat : 11208 (java) S 11187 11189 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254817336 9855975424 24413 33554432000 1073741824 1073778376 140734095811664 139907101938728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.15
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=11189/tid=11204] ppid=11187 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/11189/task/11204/stat : 11204 (java) S 11187 11189 8709 0 -1 4202560 5845 0 0 0 50 2 0 0 20 0 19 0 254817302 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907106151224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11205] ppid=11187 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/11189/task/11205/stat : 11205 (java) S 11187 11189 8709 0 -1 4202560 12524 0 0 0 135 3 0 0 20 0 19 0 254817302 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907105098680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11206] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11206/stat : 11206 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907104045816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11207] ppid=11187 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/11189/task/11207/stat : 11207 (java) S 11187 11189 8709 0 -1 4202560 95 0 0 0 36 33 0 0 20 0 19 0 254817302 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907102993480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11208] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11208/stat : 11208 (java) S 11187 11189 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254817336 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907101938728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1676.86
Current children cumulated vsize (KiB) 9624976

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 11282
/proc/meminfo: memFree=27215108/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=9624976 CPUtime=1737.1 cores=1,3,5,7
/proc/11189/stat : 11189 (java) S 11187 11189 8709 0 -1 4202496 25396 0 1 0 173622 88 0 0 20 0 19 0 254817296 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 140734095802800 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11189/statm: 2406244 70851 2283 9 0 2396937 0
[pid=11189/tid=11191] ppid=11187 vsize=9624976 CPUtime=1690.74 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (java) R 11187 11189 8709 0 -1 4202560 2937 0 1 0 169046 28 0 0 20 0 19 0 254817297 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907286237472 139907158967705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11192] ppid=11187 vsize=9624976 CPUtime=2.22 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (java) S 11187 11189 8709 0 -1 4202560 455 0 0 0 218 4 0 0 20 0 19 0 254817298 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907129928104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11193] ppid=11187 vsize=9624976 CPUtime=2.22 cores=1,3,5,7
/proc/11189/task/11193/stat : 11193 (java) S 11187 11189 8709 0 -1 4202560 226 0 0 0 219 3 0 0 20 0 19 0 254817298 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907128875560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11194] ppid=11187 vsize=9624976 CPUtime=2.1 cores=1,3,5,7
/proc/11189/task/11194/stat : 11194 (java) S 11187 11189 8709 0 -1 4202560 252 0 0 0 206 4 0 0 20 0 19 0 254817298 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907127822504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11195] ppid=11187 vsize=9624976 CPUtime=2.15 cores=1,3,5,7
/proc/11189/task/11195/stat : 11195 (java) S 11187 11189 8709 0 -1 4202560 349 0 0 0 211 4 0 0 20 0 19 0 254817298 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907126769960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11196] ppid=11187 vsize=9624976 CPUtime=2.16 cores=1,3,5,7
/proc/11189/task/11196/stat : 11196 (java) S 11187 11189 8709 0 -1 4202560 284 0 0 0 212 4 0 0 20 0 19 0 254817298 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907125717928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11197] ppid=11187 vsize=9624976 CPUtime=2.22 cores=1,3,5,7
/proc/11189/task/11197/stat : 11197 (java) S 11187 11189 8709 0 -1 4202560 412 0 0 0 217 5 0 0 20 0 19 0 254817298 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907124665384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11198] ppid=11187 vsize=9624976 CPUtime=2.04 cores=1,3,5,7
/proc/11189/task/11198/stat : 11198 (java) S 11187 11189 8709 0 -1 4202560 407 0 0 0 200 4 0 0 20 0 19 0 254817298 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907123612328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11199] ppid=11187 vsize=9624976 CPUtime=2.19 cores=1,3,5,7
/proc/11189/task/11199/stat : 11199 (java) S 11187 11189 8709 0 -1 4202560 272 0 0 0 215 4 0 0 20 0 19 0 254817298 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907122559784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11200] ppid=11187 vsize=9624976 CPUtime=21.91 cores=1,3,5,7
/proc/11189/task/11200/stat : 11200 (java) S 11187 11189 8709 0 -1 4202560 152 0 0 0 2187 4 0 0 20 0 19 0 254817299 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907110361448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11201] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11201/stat : 11201 (java) S 11187 11189 8709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907109307768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11202] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11202/stat : 11202 (java) S 11187 11189 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907108254600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11203] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11203/stat : 11203 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907107203344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11204] ppid=11187 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/11189/task/11204/stat : 11204 (java) S 11187 11189 8709 0 -1 4202560 5845 0 0 0 50 2 0 0 20 0 19 0 254817302 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907106151224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11205] ppid=11187 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/11189/task/11205/stat : 11205 (java) S 11187 11189 8709 0 -1 4202560 12524 0 0 0 135 3 0 0 20 0 19 0 254817302 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907105098680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11206] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11206/stat : 11206 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907104045816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11207] ppid=11187 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/11189/task/11207/stat : 11207 (java) S 11187 11189 8709 0 -1 4202560 99 0 0 0 38 34 0 0 20 0 19 0 254817302 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907102993480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11208] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11208/stat : 11208 (java) S 11187 11189 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254817336 9855975424 70851 33554432000 1073741824 1073778376 140734095811664 139907101938728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1737.1
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 11283
/proc/meminfo: memFree=27124624/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=9624976 CPUtime=1797.58 cores=1,3,5,7
/proc/11189/stat : 11189 (java) S 11187 11189 8709 0 -1 4202496 25479 0 1 0 179663 95 0 0 20 0 19 0 254817296 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 140734095802800 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11189/statm: 2406244 80579 2283 9 0 2396937 0
[pid=11189/tid=11191] ppid=11187 vsize=9624976 CPUtime=1749.85 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (java) R 11187 11189 8709 0 -1 4202560 2946 0 1 0 174955 30 0 0 20 0 19 0 254817297 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907286237472 139907159011388 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11192] ppid=11187 vsize=9624976 CPUtime=2.29 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (java) S 11187 11189 8709 0 -1 4202560 455 0 0 0 225 4 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907129928104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11193] ppid=11187 vsize=9624976 CPUtime=2.26 cores=1,3,5,7
/proc/11189/task/11193/stat : 11193 (java) S 11187 11189 8709 0 -1 4202560 232 0 0 0 223 3 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907128875560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11194] ppid=11187 vsize=9624976 CPUtime=2.18 cores=1,3,5,7
/proc/11189/task/11194/stat : 11194 (java) S 11187 11189 8709 0 -1 4202560 262 0 0 0 213 5 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907127822504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11195] ppid=11187 vsize=9624976 CPUtime=2.21 cores=1,3,5,7
/proc/11189/task/11195/stat : 11195 (java) S 11187 11189 8709 0 -1 4202560 349 0 0 0 217 4 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907126769960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11196] ppid=11187 vsize=9624976 CPUtime=2.25 cores=1,3,5,7
/proc/11189/task/11196/stat : 11196 (java) S 11187 11189 8709 0 -1 4202560 296 0 0 0 221 4 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907125717928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11197] ppid=11187 vsize=9624976 CPUtime=2.27 cores=1,3,5,7
/proc/11189/task/11197/stat : 11197 (java) S 11187 11189 8709 0 -1 4202560 418 0 0 0 222 5 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907124665384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11198] ppid=11187 vsize=9624976 CPUtime=2.14 cores=1,3,5,7
/proc/11189/task/11198/stat : 11198 (java) S 11187 11189 8709 0 -1 4202560 423 0 0 0 209 5 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907123612328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11199] ppid=11187 vsize=9624976 CPUtime=2.28 cores=1,3,5,7
/proc/11189/task/11199/stat : 11199 (java) S 11187 11189 8709 0 -1 4202560 288 0 0 0 223 5 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907122559784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11200] ppid=11187 vsize=9624976 CPUtime=22.48 cores=1,3,5,7
/proc/11189/task/11200/stat : 11200 (java) S 11187 11189 8709 0 -1 4202560 156 0 0 0 2244 4 0 0 20 0 19 0 254817299 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907110361448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11201] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11201/stat : 11201 (java) S 11187 11189 8709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907109307768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11202] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11202/stat : 11202 (java) S 11187 11189 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907108254600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11203] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11203/stat : 11203 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907107203344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11204] ppid=11187 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/11189/task/11204/stat : 11204 (java) S 11187 11189 8709 0 -1 4202560 5845 0 0 0 50 2 0 0 20 0 19 0 254817302 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907106151224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11205] ppid=11187 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/11189/task/11205/stat : 11205 (java) S 11187 11189 8709 0 -1 4202560 12524 0 0 0 135 3 0 0 20 0 19 0 254817302 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907105098680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11206] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11206/stat : 11206 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907104045816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11207] ppid=11187 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/11189/task/11207/stat : 11207 (java) S 11187 11189 8709 0 -1 4202560 103 0 0 0 39 36 0 0 20 0 19 0 254817302 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907102993480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11208] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11208/stat : 11208 (java) S 11187 11189 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254817336 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907101938728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 11283
/proc/meminfo: memFree=27124624/32873844 swapFree=6592/6592
[pid=11189] ppid=11187 vsize=9624976 CPUtime=1800.08 cores=1,3,5,7
/proc/11189/stat : 11189 (java) S 11187 11189 8709 0 -1 4202496 25479 0 1 0 179913 95 0 0 20 0 19 0 254817296 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 140734095802800 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/11189/statm: 2406244 80579 2283 9 0 2396937 0
[pid=11189/tid=11191] ppid=11187 vsize=9624976 CPUtime=1752.35 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (java) R 11187 11189 8709 0 -1 4202560 2946 0 1 0 175205 30 0 0 20 0 19 0 254817297 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907286237472 139907159064176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11192] ppid=11187 vsize=9624976 CPUtime=2.29 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (java) S 11187 11189 8709 0 -1 4202560 455 0 0 0 225 4 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907129928104 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11193] ppid=11187 vsize=9624976 CPUtime=2.26 cores=1,3,5,7
/proc/11189/task/11193/stat : 11193 (java) S 11187 11189 8709 0 -1 4202560 232 0 0 0 223 3 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907128875560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11194] ppid=11187 vsize=9624976 CPUtime=2.18 cores=1,3,5,7
/proc/11189/task/11194/stat : 11194 (java) S 11187 11189 8709 0 -1 4202560 262 0 0 0 213 5 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907127822504 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11195] ppid=11187 vsize=9624976 CPUtime=2.21 cores=1,3,5,7
/proc/11189/task/11195/stat : 11195 (java) S 11187 11189 8709 0 -1 4202560 349 0 0 0 217 4 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907126769960 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11196] ppid=11187 vsize=9624976 CPUtime=2.25 cores=1,3,5,7
/proc/11189/task/11196/stat : 11196 (java) S 11187 11189 8709 0 -1 4202560 296 0 0 0 221 4 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907125717928 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11197] ppid=11187 vsize=9624976 CPUtime=2.27 cores=1,3,5,7
/proc/11189/task/11197/stat : 11197 (java) S 11187 11189 8709 0 -1 4202560 418 0 0 0 222 5 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907124665384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11198] ppid=11187 vsize=9624976 CPUtime=2.14 cores=1,3,5,7
/proc/11189/task/11198/stat : 11198 (java) S 11187 11189 8709 0 -1 4202560 423 0 0 0 209 5 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907123612328 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11189/tid=11199] ppid=11187 vsize=9624976 CPUtime=2.28 cores=1,3,5,7
/proc/11189/task/11199/stat : 11199 (java) S 11187 11189 8709 0 -1 4202560 288 0 0 0 223 5 0 0 20 0 19 0 254817298 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907122559784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11200] ppid=11187 vsize=9624976 CPUtime=22.48 cores=1,3,5,7
/proc/11189/task/11200/stat : 11200 (java) S 11187 11189 8709 0 -1 4202560 156 0 0 0 2244 4 0 0 20 0 19 0 254817299 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907110361448 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11201] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11201/stat : 11201 (java) S 11187 11189 8709 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907109307768 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11202] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11202/stat : 11202 (java) S 11187 11189 8709 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254817300 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907108254600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11203] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11203/stat : 11203 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907107203344 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11204] ppid=11187 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/11189/task/11204/stat : 11204 (java) S 11187 11189 8709 0 -1 4202560 5845 0 0 0 50 2 0 0 20 0 19 0 254817302 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907106151224 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11205] ppid=11187 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/11189/task/11205/stat : 11205 (java) S 11187 11189 8709 0 -1 4202560 12524 0 0 0 135 3 0 0 20 0 19 0 254817302 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907105098680 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11206] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11206/stat : 11206 (java) S 11187 11189 8709 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254817302 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907104045816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11189/tid=11207] ppid=11187 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/11189/task/11207/stat : 11207 (java) S 11187 11189 8709 0 -1 4202560 103 0 0 0 39 36 0 0 20 0 19 0 254817302 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907102993480 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11208] ppid=11187 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11208/stat : 11208 (java) S 11187 11189 8709 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254817336 9855975424 80579 33554432000 1073741824 1073778376 140734095811664 139907101938728 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9624976

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

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

Child status: 143

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

Real time (s): 1784.85
CPU time (s): 1800.08
CPU user time (s): 1799.13
CPU system time (s): 0.95
CPU usage (%): 100.853
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.47
system time used= 1.24381
maximum resident set size= 322436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25511
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49193
involuntary context switches= 37049

runsolver used 6.38103 second user time and 15.5146 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-24 21:15:24
IDJOB=3688729
IDBENCH=48237
IDSOLVER=2269
FILE ID=node140/3688729-1337886924
RUNJOBID= node140-1337871881-8726
PBS_JOBID= 14620064
Free space on /tmp= 71680 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688729-1337886924/watcher-3688729-1337886924 -o /tmp/evaluation-result-3688729-1337886924/solver-3688729-1337886924 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688729-1337886924.opb

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

MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3
RANDOM SEED=1716902158

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28462740 kB
Buffers:          233352 kB
Cached:          3268632 kB
SwapCached:            0 kB
Active:           505416 kB
Inactive:        3121116 kB
Active(anon):     125940 kB
Inactive(anon):        0 kB
Active(file):     379476 kB
Inactive(file):  3121116 kB
Unevictable:        6592 kB
Mlocked:            6592 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               484 kB
Writeback:             4 kB
AnonPages:        135780 kB
Mapped:            22624 kB
Shmem:               200 kB
Slab:             640128 kB
SReclaimable:      82736 kB
SUnreclaim:       557392 kB
KernelStack:        1600 kB
PageTables:         4268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node140 at 2012-05-24 21:45:11