Trace number 3717870

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28OPTIMUM 856.975 851.226

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/academics/
normalized-warehouse1_wcsp.wbo
MD5SUMe84f9fd9c38a67d9707b8aa628966b83
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark674555
Best CPU time to get the best result obtained on this benchmark208.351
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables418
Total number of constraints818
Number of soft constraints779
Number of constraints which are clauses779
Number of constraints which are cardinality constraints (but not clauses)39
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 2939907
Min constraint cost 1
Max constraint cost 2939907
Sum of constraints costs 1138582091
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 20
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120528
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose 2 learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3717870-1338254589.wbo
0.10/0.11	c reading problem ... 
0.25/0.20	c ... done. Wall clock time 0.092s.
0.25/0.20	c declared #vars     418
0.25/0.20	c internal #vars     1197
0.25/0.20	c #constraints  858
0.25/0.20	c constraints type 
0.25/0.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 400
0.25/0.20	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
0.25/0.20	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 437
0.25/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.25/0.20	c 858 constraints processed.
0.25/0.20	c objective function length is 779 literals
0.25/0.23	c SATISFIABLE
0.25/0.23	c OPTIMIZING...
0.25/0.23	c Got one! Elapsed wall clock time (in seconds):0.116
0.25/0.23	o 716425
1.15/0.75	c cleaning 2496 clauses out of 5000 with flag 19451/5000
1.60/1.16	c cleaning 4250 clauses out of 8504 with flag 44950/11000
2.12/1.60	c cleaning 5624 clauses out of 11256 with flag 73760/18002
2.64/2.11	c cleaning 6814 clauses out of 13630 with flag 111752/26000
3.15/2.69	c cleaning 7908 clauses out of 15821 with flag 151382/35005
3.86/3.35	c cleaning 8945 clauses out of 17908 with flag 193808/45000
4.56/4.07	c cleaning 9982 clauses out of 19964 with flag 238222/56001
5.37/4.82	c cleaning 10980 clauses out of 21981 with flag 284905/68000
6.27/5.74	c cleaning 11997 clauses out of 24001 with flag 339978/81000
7.28/6.71	c cleaning 12993 clauses out of 26005 with flag 402890/95001
8.29/7.73	c cleaning 13987 clauses out of 28011 with flag 466063/110000
9.40/8.81	c cleaning 14999 clauses out of 30024 with flag 538570/126000
10.51/9.99	c cleaning 16012 clauses out of 32025 with flag 611684/143000
11.83/11.21	c cleaning 16996 clauses out of 34015 with flag 682981/161002
13.04/12.48	c cleaning 17996 clauses out of 36019 with flag 762675/180002
14.35/13.77	c cleaning 19008 clauses out of 38021 with flag 835280/200000
15.86/15.21	c cleaning 19996 clauses out of 40013 with flag 917950/221000
17.37/16.71	c cleaning 20990 clauses out of 42017 with flag 1002591/243000
18.37/17.73	c Got one! Elapsed wall clock time (in seconds):17.616
18.37/17.73	o 714895
18.81/18.15	c cleaning 20854 clauses out of 41730 with flag 21748/263703
19.21/18.57	c cleaning 13434 clauses out of 26877 with flag 44409/269704
19.71/19.02	c cleaning 10186 clauses out of 20441 with flag 71176/276702
20.22/19.52	c cleaning 9107 clauses out of 18255 with flag 103312/284702
20.73/20.09	c cleaning 9067 clauses out of 18148 with flag 136961/293702
21.44/20.73	c cleaning 9536 clauses out of 19083 with flag 173778/303704
22.14/21.46	c cleaning 10264 clauses out of 20545 with flag 216917/314702
22.94/22.21	c cleaning 11134 clauses out of 22281 with flag 264600/326702
23.75/23.01	c cleaning 12067 clauses out of 24147 with flag 314018/339702
24.55/23.87	c cleaning 13039 clauses out of 26081 with flag 365975/353703
25.45/24.78	c cleaning 14013 clauses out of 28041 with flag 417787/368702
26.45/25.77	c cleaning 15000 clauses out of 30028 with flag 475118/384702
27.57/26.88	c cleaning 16000 clauses out of 32032 with flag 536452/401706
28.77/28.09	c cleaning 17004 clauses out of 34029 with flag 609070/419703
30.17/29.40	c cleaning 18008 clauses out of 36024 with flag 686828/438702
31.58/30.83	c cleaning 18993 clauses out of 38016 with flag 772966/458702
32.99/32.28	c cleaning 19992 clauses out of 40023 with flag 860554/479702
34.61/33.80	c cleaning 21006 clauses out of 42032 with flag 946701/501703
36.13/35.36	c cleaning 22003 clauses out of 44025 with flag 1030820/524702
37.93/37.11	c cleaning 22999 clauses out of 46022 with flag 1119076/548702
39.75/38.99	c cleaning 24009 clauses out of 48025 with flag 1218644/573704
41.66/40.81	c cleaning 25002 clauses out of 50014 with flag 1320312/599702
43.57/42.77	c cleaning 25989 clauses out of 52012 with flag 1429946/626702
45.58/44.71	c cleaning 27004 clauses out of 54023 with flag 1542472/654702
47.69/46.82	c cleaning 28000 clauses out of 56019 with flag 1658523/683702
49.69/48.84	c cleaning 29010 clauses out of 58019 with flag 1771160/713702
52.12/51.24	c cleaning 29996 clauses out of 60010 with flag 1886665/744703
54.54/53.69	c cleaning 30990 clauses out of 62013 with flag 2008008/776702
57.05/56.15	c cleaning 31985 clauses out of 64024 with flag 2142094/809703
59.55/58.63	c cleaning 33005 clauses out of 66039 with flag 2267970/843703
62.15/61.26	c cleaning 34004 clauses out of 68033 with flag 2413141/878702
64.86/63.97	c cleaning 35001 clauses out of 70029 with flag 2560746/914702
67.66/66.72	c cleaning 36011 clauses out of 72028 with flag 2698066/951702
70.59/69.69	c cleaning 37002 clauses out of 74017 with flag 2844300/989702
73.60/72.67	c cleaning 37982 clauses out of 76015 with flag 2976313/1028702
76.71/75.75	c cleaning 39012 clauses out of 78033 with flag 3120901/1068702
79.62/78.68	c cleaning 39993 clauses out of 80021 with flag 3282686/1109702
82.83/81.86	c cleaning 41006 clauses out of 82030 with flag 3444834/1151704
86.33/85.33	c cleaning 41994 clauses out of 84022 with flag 3610123/1194702
89.75/88.70	c cleaning 43005 clauses out of 86029 with flag 3767819/1238703
93.27/92.28	c cleaning 44005 clauses out of 88023 with flag 3928643/1283702
97.00/95.95	c cleaning 45001 clauses out of 90018 with flag 4099443/1329702
100.93/99.88	c cleaning 45995 clauses out of 92017 with flag 4288367/1376702
104.89/103.73	c cleaning 46995 clauses out of 94022 with flag 4473754/1424702
109.10/107.96	c cleaning 48003 clauses out of 96028 with flag 4651173/1473703
113.11/111.99	c cleaning 49002 clauses out of 98025 with flag 4839103/1523703
117.04/115.87	c cleaning 50000 clauses out of 100022 with flag 5033923/1574702
120.77/119.57	c cleaning 50995 clauses out of 102022 with flag 5215191/1626702
125.39/124.12	c cleaning 52005 clauses out of 104028 with flag 5445960/1679703
129.70/128.47	c cleaning 53000 clauses out of 106022 with flag 5669692/1733702
134.11/132.89	c cleaning 54011 clauses out of 108023 with flag 5883211/1788703
138.63/137.34	c cleaning 54999 clauses out of 110011 with flag 6090396/1844702
143.03/141.80	c cleaning 56001 clauses out of 112013 with flag 6314942/1901703
147.94/146.65	c cleaning 57000 clauses out of 114011 with flag 6541486/1959702
153.25/151.95	c cleaning 57995 clauses out of 116011 with flag 6786901/2018702
158.06/156.79	c cleaning 58996 clauses out of 118016 with flag 7015293/2078702
163.00/161.70	c cleaning 59983 clauses out of 120020 with flag 7234212/2139702
167.91/166.52	c cleaning 61009 clauses out of 122037 with flag 7444566/2201702
173.53/172.14	c cleaning 62009 clauses out of 124028 with flag 7685520/2264702
179.05/177.61	c cleaning 63000 clauses out of 126019 with flag 7911549/2328702
184.27/182.84	c cleaning 64004 clauses out of 128020 with flag 8125789/2393703
189.88/188.43	c cleaning 64987 clauses out of 130015 with flag 8339991/2459702
195.39/193.99	c cleaning 65998 clauses out of 132029 with flag 8574190/2526703
200.91/199.41	c cleaning 67002 clauses out of 134030 with flag 8785737/2594702
206.93/205.45	c cleaning 68009 clauses out of 136028 with flag 9031887/2663702
212.74/211.29	c cleaning 69000 clauses out of 138020 with flag 9294089/2733703
219.06/217.59	c cleaning 69995 clauses out of 140019 with flag 9552489/2804702
224.78/223.23	c cleaning 71000 clauses out of 142025 with flag 9826296/2876703
230.80/229.29	c cleaning 71995 clauses out of 144025 with flag 10084983/2949703
237.61/236.08	c cleaning 73006 clauses out of 146029 with flag 10361035/3023702
243.83/242.29	c cleaning 73997 clauses out of 148023 with flag 10648541/3098702
249.97/248.31	c cleaning 75003 clauses out of 150028 with flag 10951309/3174704
257.09/255.48	c cleaning 75998 clauses out of 152023 with flag 11245304/3251702
263.93/262.22	c cleaning 77004 clauses out of 154025 with flag 11543832/3329702
270.65/268.97	c cleaning 78002 clauses out of 156021 with flag 11831122/3408702
277.57/275.81	c cleaning 79006 clauses out of 158023 with flag 12132800/3488706
284.59/282.83	c cleaning 80003 clauses out of 160015 with flag 12431650/3569704
292.11/290.37	c cleaning 80984 clauses out of 162010 with flag 12732282/3651702
299.01/297.30	c cleaning 82005 clauses out of 164027 with flag 13051746/3734703
305.94/304.18	c cleaning 82995 clauses out of 166022 with flag 13368131/3818703
306.50/304.63	c Got one! Elapsed wall clock time (in seconds):304.522
306.50/304.63	o 712774
306.99/305.16	c cleaning 47299 clauses out of 94616 with flag 12950/3830292
307.51/305.60	c cleaning 26649 clauses out of 53317 with flag 30855/3836292
307.93/306.03	c cleaning 16826 clauses out of 33668 with flag 51964/3843292
308.34/306.48	c cleaning 12408 clauses out of 24843 with flag 76712/3851293
308.96/307.00	c cleaning 10700 clauses out of 21434 with flag 104498/3860292
309.27/307.34	c Got one! Elapsed wall clock time (in seconds):307.229
309.27/307.34	o 705762
309.27/307.35	c Got one! Elapsed wall clock time (in seconds):307.239
309.27/307.35	o 702290
309.61/307.64	c cleaning 11032 clauses out of 22088 with flag 14471/3871646
309.93/307.97	c cleaning 8519 clauses out of 17056 with flag 33703/3877646
310.33/308.36	c cleaning 7752 clauses out of 15537 with flag 55902/3884646
310.84/308.81	c cleaning 7872 clauses out of 15785 with flag 80174/3892646
311.24/309.25	c Got one! Elapsed wall clock time (in seconds):309.14
311.24/309.25	o 701860
311.56/309.54	c cleaning 10483 clauses out of 20980 with flag 13664/3905713
311.87/309.90	c cleaning 8235 clauses out of 16496 with flag 32676/3911712
312.40/310.31	c cleaning 7619 clauses out of 15261 with flag 54730/3918712
312.81/310.78	c cleaning 7811 clauses out of 15642 with flag 82951/3926712
313.33/311.29	c cleaning 8406 clauses out of 16833 with flag 112369/3935714
313.95/311.87	c cleaning 9194 clauses out of 18425 with flag 145042/3945712
314.56/312.49	c cleaning 10098 clauses out of 20231 with flag 179580/3956712
315.25/313.16	c cleaning 11053 clauses out of 22133 with flag 218480/3968712
316.06/313.91	c cleaning 12036 clauses out of 24080 with flag 261800/3981712
316.96/314.84	c cleaning 13012 clauses out of 26045 with flag 320146/3995713
317.88/315.77	c cleaning 14010 clauses out of 28034 with flag 379455/4010714
319.00/316.85	c cleaning 15002 clauses out of 30025 with flag 441035/4026715
320.10/317.97	c cleaning 16008 clauses out of 32020 with flag 503700/4043712
321.20/319.07	c cleaning 16995 clauses out of 34012 with flag 568293/4061712
322.50/320.33	c cleaning 18009 clauses out of 36017 with flag 639885/4080712
323.80/321.69	c cleaning 18995 clauses out of 38008 with flag 715544/4100712
325.22/323.08	c cleaning 19995 clauses out of 40013 with flag 789634/4121712
326.82/324.60	c cleaning 20982 clauses out of 42018 with flag 872256/4143712
328.33/326.15	c cleaning 22006 clauses out of 44036 with flag 952199/4166712
329.94/327.74	c cleaning 23008 clauses out of 46032 with flag 1031943/4190714
331.65/329.45	c cleaning 24011 clauses out of 48022 with flag 1121836/4215712
333.46/331.22	c cleaning 24998 clauses out of 50011 with flag 1214404/4241712
335.28/333.05	c cleaning 26003 clauses out of 52014 with flag 1304898/4268713
337.20/334.99	c cleaning 26996 clauses out of 54010 with flag 1393006/4296712
339.21/336.96	c cleaning 27994 clauses out of 56014 with flag 1488304/4325712
341.42/339.11	c cleaning 29004 clauses out of 58022 with flag 1600234/4355714
343.75/341.46	c cleaning 29996 clauses out of 60016 with flag 1722128/4386712
346.07/343.73	c cleaning 30994 clauses out of 62020 with flag 1834424/4418712
348.37/346.09	c cleaning 32012 clauses out of 64026 with flag 1958189/4451712
350.88/348.51	c cleaning 33006 clauses out of 66015 with flag 2079751/4485713
353.59/351.22	c cleaning 33997 clauses out of 68008 with flag 2218290/4520712
356.29/353.93	c cleaning 34993 clauses out of 70011 with flag 2347852/4556712
358.90/356.58	c cleaning 35995 clauses out of 72018 with flag 2484732/4593712
361.81/359.48	c cleaning 37001 clauses out of 74025 with flag 2628660/4631714
364.71/362.31	c Got one! Elapsed wall clock time (in seconds):362.198
364.71/362.31	o 700215
365.11/362.78	c cleaning 40448 clauses out of 80919 with flag 14834/4675609
365.62/363.21	c cleaning 23213 clauses out of 46471 with flag 33357/4681609
366.02/363.68	c cleaning 15121 clauses out of 30259 with flag 58953/4688610
366.64/364.22	c cleaning 11555 clauses out of 23137 with flag 88078/4696609
367.14/364.76	c cleaning 10274 clauses out of 20583 with flag 123269/4705610
367.77/365.38	c cleaning 10137 clauses out of 20308 with flag 157411/4715609
368.47/366.08	c cleaning 10560 clauses out of 21171 with flag 198407/4726609
369.28/366.81	c cleaning 11292 clauses out of 22612 with flag 239890/4738610
370.12/367.60	c cleaning 12151 clauses out of 24320 with flag 288500/4751610
370.94/368.47	c cleaning 13068 clauses out of 26168 with flag 341730/4765609
371.93/369.42	c cleaning 14045 clauses out of 28100 with flag 393871/4780609
372.94/370.47	c cleaning 15026 clauses out of 30055 with flag 459551/4796609
374.07/371.58	c cleaning 16012 clauses out of 32029 with flag 523597/4813609
375.28/372.78	c cleaning 16999 clauses out of 34017 with flag 591346/4831609
376.59/374.05	c cleaning 17994 clauses out of 36018 with flag 661836/4850609
378.00/375.41	c cleaning 19002 clauses out of 38026 with flag 734506/4870611
379.40/376.84	c cleaning 19994 clauses out of 40024 with flag 803580/4891611
380.80/378.29	c cleaning 21003 clauses out of 42029 with flag 883114/4913610
382.43/379.86	c cleaning 21996 clauses out of 44026 with flag 976908/4936610
384.13/381.53	c cleaning 23005 clauses out of 46029 with flag 1069635/4960609
385.83/383.23	c cleaning 24004 clauses out of 48024 with flag 1165650/4985609
387.54/384.95	c cleaning 24998 clauses out of 50020 with flag 1259499/5011609
389.44/386.87	c cleaning 26004 clauses out of 52022 with flag 1361139/5038609
391.46/388.82	c cleaning 27006 clauses out of 54020 with flag 1461513/5066611
393.46/390.82	c cleaning 27997 clauses out of 56013 with flag 1557939/5095610
395.48/392.88	c cleaning 29004 clauses out of 58017 with flag 1647453/5125611
397.88/395.27	c cleaning 29997 clauses out of 60011 with flag 1764671/5156609
400.29/397.65	c cleaning 30997 clauses out of 62014 with flag 1885767/5188609
402.79/400.17	c cleaning 31996 clauses out of 64017 with flag 2005028/5221609
405.41/402.74	c cleaning 32994 clauses out of 66022 with flag 2134690/5255610
408.01/405.36	c cleaning 34009 clauses out of 68027 with flag 2259196/5290609
411.14/408.14	c cleaning 34996 clauses out of 70020 with flag 2374612/5326611
413.92/410.86	c cleaning 36004 clauses out of 72022 with flag 2509343/5363609
416.74/413.64	c cleaning 36996 clauses out of 74019 with flag 2635774/5401610
419.75/416.66	c cleaning 37996 clauses out of 76022 with flag 2783308/5440609
422.95/419.81	c cleaning 39004 clauses out of 78029 with flag 2944640/5480612
425.96/422.89	c cleaning 40005 clauses out of 80023 with flag 3104043/5521610
429.06/425.92	c cleaning 40998 clauses out of 82017 with flag 3256367/5563609
432.38/429.25	c cleaning 41999 clauses out of 84019 with flag 3407969/5606609
435.90/432.74	c cleaning 43010 clauses out of 86020 with flag 3570916/5650609
439.32/436.13	c cleaning 43992 clauses out of 88010 with flag 3730959/5695609
442.63/439.42	c cleaning 45008 clauses out of 90018 with flag 3872314/5741609
446.25/443.01	c cleaning 45989 clauses out of 92010 with flag 4036021/5788609
449.87/446.63	c cleaning 46989 clauses out of 94021 with flag 4210030/5836609
453.59/450.35	c cleaning 48009 clauses out of 96033 with flag 4395105/5885610
457.20/453.91	c cleaning 48996 clauses out of 98023 with flag 4566938/5935609
461.12/457.87	c cleaning 49993 clauses out of 100027 with flag 4741183/5986609
464.83/461.53	c cleaning 51002 clauses out of 102036 with flag 4923338/6038611
468.95/465.68	c cleaning 52004 clauses out of 104034 with flag 5120551/6091611
473.06/469.75	c cleaning 53012 clauses out of 106028 with flag 5346371/6145609
477.48/474.13	c cleaning 53993 clauses out of 108017 with flag 5544697/6200610
481.70/478.32	c cleaning 54997 clauses out of 110023 with flag 5730435/6256609
485.90/482.51	c cleaning 56009 clauses out of 112028 with flag 5933927/6313611
490.00/486.68	c cleaning 56999 clauses out of 114017 with flag 6128745/6371609
495.05/491.69	c cleaning 57987 clauses out of 116018 with flag 6344178/6430609
499.77/496.33	c cleaning 59006 clauses out of 118034 with flag 6543978/6490612
504.71/501.21	c cleaning 60003 clauses out of 120025 with flag 6733097/6551609
509.92/506.41	c cleaning 60996 clauses out of 122023 with flag 6925048/6613610
514.85/511.36	c cleaning 62012 clauses out of 124027 with flag 7100023/6676610
516.27/512.75	c Got one! Elapsed wall clock time (in seconds):512.638
516.27/512.75	o 699154
516.27/512.75	c Got one! Elapsed wall clock time (in seconds):512.642
516.27/512.75	o 689120
516.38/512.86	c Got one! Elapsed wall clock time (in seconds):512.752
516.38/512.86	o 687894
516.38/512.87	c Got one! Elapsed wall clock time (in seconds):512.755
516.38/512.87	o 685768
516.72/513.15	c cleaning 43949 clauses out of 87910 with flag 8536/6702505
517.14/513.58	c cleaning 24974 clauses out of 49960 with flag 25378/6708504
517.54/513.99	c cleaning 15984 clauses out of 31987 with flag 46568/6715505
517.95/514.39	c Got one! Elapsed wall clock time (in seconds):514.276
517.95/514.39	o 680619
517.95/514.39	c Got one! Elapsed wall clock time (in seconds):514.278
517.95/514.39	o 674985
518.28/514.70	c cleaning 14045 clauses out of 28117 with flag 13015/6727619
518.78/515.10	c cleaning 10027 clauses out of 20072 with flag 37751/6733619
519.20/515.55	c cleaning 8514 clauses out of 17046 with flag 65619/6740620
519.70/516.07	c cleaning 8248 clauses out of 16531 with flag 96627/6748619
520.32/516.64	c cleaning 8631 clauses out of 17283 with flag 131456/6757619
520.94/517.29	c cleaning 9315 clauses out of 18652 with flag 167703/6767619
521.77/518.00	c cleaning 10153 clauses out of 20337 with flag 213254/6778619
522.47/518.74	c cleaning 11088 clauses out of 22184 with flag 258154/6790619
523.29/519.53	c cleaning 12033 clauses out of 24096 with flag 302910/6803619
524.21/520.43	c cleaning 13017 clauses out of 26063 with flag 355039/6817619
525.12/521.40	c cleaning 14014 clauses out of 28046 with flag 410392/6832619
526.26/522.42	c cleaning 15010 clauses out of 30032 with flag 467638/6848619
527.37/523.56	c cleaning 15999 clauses out of 32022 with flag 543342/6865619
528.59/524.73	c cleaning 17002 clauses out of 34025 with flag 609540/6883621
529.80/525.95	c cleaning 18002 clauses out of 36023 with flag 679680/6902621
531.10/527.22	c cleaning 19001 clauses out of 38019 with flag 756511/6922619
532.52/528.65	c cleaning 19993 clauses out of 40018 with flag 847015/6943619
534.05/530.18	c cleaning 20994 clauses out of 42025 with flag 931120/6965619
535.58/531.68	c cleaning 22002 clauses out of 44031 with flag 1014871/6988619
537.30/533.33	c cleaning 23003 clauses out of 46031 with flag 1104918/7012621
539.03/535.06	c cleaning 23995 clauses out of 48026 with flag 1194651/7037619
540.84/536.83	c cleaning 25007 clauses out of 50031 with flag 1298933/7063619
542.73/538.76	c cleaning 25997 clauses out of 52024 with flag 1406566/7090619
544.65/540.68	c cleaning 27009 clauses out of 54031 with flag 1506271/7118623
546.66/542.67	c cleaning 27986 clauses out of 56018 with flag 1619367/7147619
548.76/544.78	c cleaning 29000 clauses out of 58032 with flag 1728677/7177619
550.98/546.99	c cleaning 29998 clauses out of 60033 with flag 1845486/7208620
553.28/549.26	c cleaning 31009 clauses out of 62034 with flag 1956774/7240619
555.59/551.57	c cleaning 32008 clauses out of 64027 with flag 2079707/7273621
558.10/554.01	c cleaning 32993 clauses out of 66017 with flag 2194512/7307619
560.63/556.52	c cleaning 34002 clauses out of 68024 with flag 2311834/7342619
563.26/559.12	c cleaning 34990 clauses out of 70022 with flag 2431968/7378619
566.08/561.92	c cleaning 36007 clauses out of 72032 with flag 2576994/7415619
568.89/564.76	c cleaning 36991 clauses out of 74025 with flag 2710988/7453619
571.81/567.60	c cleaning 38005 clauses out of 76036 with flag 2850514/7492621
574.92/570.80	c cleaning 39008 clauses out of 78029 with flag 3005499/7532619
578.03/573.80	c cleaning 40006 clauses out of 80021 with flag 3155628/7573619
581.13/576.90	c cleaning 40995 clauses out of 82015 with flag 3310523/7615619
584.64/580.49	c cleaning 42010 clauses out of 84020 with flag 3486495/7658619
588.05/583.88	c cleaning 42998 clauses out of 86011 with flag 3644379/7702620
591.25/587.07	c cleaning 44002 clauses out of 88014 with flag 3807427/7747621
594.68/590.48	c cleaning 44997 clauses out of 90010 with flag 3958007/7793619
598.21/593.96	c cleaning 45996 clauses out of 92013 with flag 4120663/7840619
601.62/597.37	c cleaning 47002 clauses out of 94017 with flag 4270867/7888619
605.13/600.89	c cleaning 47998 clauses out of 96015 with flag 4451461/7937619
608.94/604.62	c cleaning 49002 clauses out of 98019 with flag 4633878/7987621
612.56/608.28	c cleaning 50006 clauses out of 100015 with flag 4806438/8038619
616.46/612.14	c cleaning 50990 clauses out of 102010 with flag 4984433/8090620
620.37/616.06	c cleaning 51999 clauses out of 104019 with flag 5163446/8143619
624.38/620.00	c cleaning 52996 clauses out of 106020 with flag 5343879/8197619
626.68/622.33	c Got one! Elapsed wall clock time (in seconds):622.221
626.68/622.33	o 674555
627.19/622.83	c cleaning 46949 clauses out of 93913 with flag 14528/8238508
627.62/623.30	c cleaning 26473 clauses out of 52964 with flag 31640/8244508
628.13/623.72	c cleaning 16734 clauses out of 33491 with flag 54143/8251508
628.53/624.17	c cleaning 12361 clauses out of 24757 with flag 78179/8259508
629.04/624.67	c cleaning 10681 clauses out of 21396 with flag 105413/8268508
629.67/625.23	c cleaning 10342 clauses out of 20718 with flag 139304/8278511
630.27/625.86	c cleaning 10683 clauses out of 21373 with flag 174165/8289508
630.98/626.55	c cleaning 11334 clauses out of 22690 with flag 211546/8301508
631.79/627.33	c cleaning 12168 clauses out of 24357 with flag 250041/8314509
632.62/628.19	c cleaning 13081 clauses out of 26189 with flag 290241/8328509
633.52/629.09	c cleaning 14031 clauses out of 28107 with flag 334571/8343508
634.54/630.09	c cleaning 15028 clauses out of 30076 with flag 386064/8359508
635.66/631.18	c cleaning 16015 clauses out of 32049 with flag 445246/8376509
636.86/632.32	c cleaning 17008 clauses out of 34033 with flag 503341/8394508
638.09/633.56	c cleaning 18005 clauses out of 36026 with flag 571201/8413509
639.50/634.90	c cleaning 18997 clauses out of 38020 with flag 644008/8433508
640.82/636.28	c cleaning 19995 clauses out of 40023 with flag 724267/8454508
642.34/637.77	c cleaning 21006 clauses out of 42030 with flag 802984/8476510
643.95/639.36	c cleaning 21992 clauses out of 44023 with flag 887931/8499509
645.66/641.04	c cleaning 23004 clauses out of 46031 with flag 975361/8523509
647.40/642.73	c cleaning 23998 clauses out of 48027 with flag 1062465/8548509
649.21/644.58	c cleaning 25006 clauses out of 50029 with flag 1154815/8574509
651.13/646.42	c cleaning 25988 clauses out of 52022 with flag 1242475/8601508
653.14/648.43	c cleaning 27013 clauses out of 54035 with flag 1340370/8629509
655.06/650.38	c cleaning 27999 clauses out of 56021 with flag 1432614/8658508
657.27/652.58	c cleaning 28992 clauses out of 58023 with flag 1539100/8688509
659.38/654.64	c cleaning 29993 clauses out of 60030 with flag 1640462/8719508
661.70/656.97	c cleaning 31003 clauses out of 62038 with flag 1753010/8751509
664.03/659.30	c cleaning 31997 clauses out of 64035 with flag 1867933/8784509
666.55/661.79	c cleaning 33011 clauses out of 66037 with flag 1984649/8818508
669.18/664.34	c cleaning 33987 clauses out of 68026 with flag 2105541/8853508
671.67/666.86	c cleaning 34997 clauses out of 70039 with flag 2220698/8889508
674.19/669.36	c cleaning 36012 clauses out of 72042 with flag 2331764/8926508
677.09/672.27	c cleaning 37000 clauses out of 74030 with flag 2461337/8964508
679.90/675.06	c cleaning 37999 clauses out of 76030 with flag 2597453/9003508
683.32/678.45	c cleaning 39010 clauses out of 78032 with flag 2753326/9043509
686.74/681.80	c cleaning 40000 clauses out of 80021 with flag 2897275/9084508
689.96/685.02	c cleaning 41000 clauses out of 82022 with flag 3037067/9126509
692.96/688.06	c cleaning 41997 clauses out of 84021 with flag 3168231/9169508
696.28/691.30	c cleaning 43009 clauses out of 86024 with flag 3317141/9213508
700.00/695.04	c cleaning 43989 clauses out of 88016 with flag 3486156/9258509
703.73/698.78	c cleaning 44999 clauses out of 90026 with flag 3656966/9304508
707.33/702.32	c cleaning 46011 clauses out of 92028 with flag 3819771/9351509
711.14/706.19	c cleaning 46996 clauses out of 94016 with flag 3989134/9399508
714.84/709.88	c cleaning 48001 clauses out of 96020 with flag 4153061/9448508
718.85/713.86	c cleaning 49003 clauses out of 98020 with flag 4343039/9498509
722.85/717.83	c cleaning 49998 clauses out of 100016 with flag 4511279/9549508
727.06/722.08	c cleaning 51005 clauses out of 102018 with flag 4691755/9601508
731.17/726.14	c cleaning 52004 clauses out of 104013 with flag 4887270/9654508
735.38/730.31	c cleaning 52994 clauses out of 106011 with flag 5055044/9708510
739.80/734.75	c cleaning 54008 clauses out of 108018 with flag 5231444/9763512
744.72/739.63	c cleaning 54989 clauses out of 110006 with flag 5448192/9819508
749.93/744.80	c cleaning 55995 clauses out of 112017 with flag 5691784/9876508
754.97/749.84	c cleaning 56996 clauses out of 114023 with flag 5906044/9934509
760.28/755.18	c cleaning 58007 clauses out of 116026 with flag 6133099/9993508
765.80/760.63	c cleaning 59003 clauses out of 118019 with flag 6368291/10053508
771.12/765.91	c cleaning 59991 clauses out of 120017 with flag 6592034/10114509
776.25/771.01	c cleaning 60999 clauses out of 122025 with flag 6810545/10176508
781.47/776.25	c cleaning 62012 clauses out of 124027 with flag 7041741/10239509
786.77/781.55	c cleaning 62996 clauses out of 126014 with flag 7278329/10303509
792.59/787.30	c cleaning 63993 clauses out of 128017 with flag 7521079/10368508
798.21/792.97	c cleaning 65001 clauses out of 130024 with flag 7754837/10434508
803.73/798.49	c cleaning 65997 clauses out of 132023 with flag 7981823/10501508
809.65/804.32	c cleaning 67004 clauses out of 134026 with flag 8233733/10569508
815.49/810.12	c cleaning 67999 clauses out of 136023 with flag 8478617/10638509
821.90/816.54	c cleaning 69002 clauses out of 138023 with flag 8734867/10708508
828.41/823.02	c cleaning 70005 clauses out of 140021 with flag 8998800/10779508
835.61/830.23	c cleaning 70986 clauses out of 142016 with flag 9289279/10851508
841.83/836.44	c cleaning 72006 clauses out of 144031 with flag 9547420/10924509
848.34/842.94	c cleaning 73007 clauses out of 146024 with flag 9807532/10998510
854.87/849.40	c cleaning 74002 clauses out of 148013 with flag 10089777/11073508
856.73/851.22	c starts		: 314
856.73/851.22	c conflicts		: 11096299
856.73/851.22	c decisions		: 34712902
856.73/851.22	c propagations		: 1507733304
856.73/851.22	c inspects		: 5806505983
856.73/851.22	c shortcuts		: 0
856.73/851.22	c learnt literals	: 15
856.73/851.22	c learnt binary clauses	: 9
856.73/851.22	c learnt ternary clauses	: 109
856.73/851.22	c learnt constraints	: 11096283
856.73/851.22	c ignored constraints	: 0
856.73/851.22	c root simplifications	: 0
856.73/851.22	c removed literals (reason simplification)	: 0
856.73/851.22	c reason swapping (by a shorter reason)	: 0
856.73/851.22	c Calls to reduceDB	: 324
856.73/851.22	c Number of update (reduction) of LBD	: 4840393
856.73/851.22	c number of reductions to clauses (during analyze)	: 0
856.73/851.22	c number of learned constraints concerned by reduction	: 0
856.73/851.22	c number of learning phase by resolution	: 0
856.73/851.22	c number of learning phase by cutting planes	: 0
856.73/851.22	c speed (assignments/second)	: 1771711.1834961998
856.73/851.22	c non guided choices	461
856.73/851.22	c learnt constraints type 
856.73/851.22	c constraints type 
856.73/851.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 400
856.73/851.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
856.73/851.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 437
856.73/851.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
856.73/851.22	c 858 constraints processed.
856.73/851.22	s OPTIMUM FOUND
856.73/851.22	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 x383 -x384 x385 -x386 x387 -x388 x389 -x390 x391 -x392 x393 -x394 -x395 x396 x397 -x398 x399 -x400 x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 
856.73/851.22	c objective function=674555
856.73/851.22	c Total wall clock time (in seconds): 851.108

Verifier Data 

OK	674555

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-3717870-1338254589/watcher-3717870-1338254589 -o /tmp/evaluation-result-3717870-1338254589/solver-3717870-1338254589 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717870-1338254589.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4382
/proc/meminfo: memFree=30233188/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4382/stat : 4382 (java) R 4380 4382 919 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 291584775 9515008 184 33554432000 1073741824 1073778376 140735818979040 140735818970072 242167213495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4382/statm: 2323 184 142 9 0 71 0

[startup+0.02747 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4382
/proc/meminfo: memFree=30233188/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/4382/stat : 4382 (java) S 4380 4382 919 0 -1 4202496 2749 0 1 0 1 0 0 0 20 0 10 0 291584775 9233014784 3449 33554432000 1073741824 1073778376 140735243179680 140735243170816 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4382/statm: 2254154 3450 1531 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.100197 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4382
/proc/meminfo: memFree=30233188/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9558416 CPUtime=0.1 cores=0,2,4,6
/proc/4382/stat : 4382 (java) S 4380 4382 919 0 -1 4202496 4306 0 1 0 9 1 0 0 20 0 18 0 291584775 9787817984 5498 33554432000 1073741824 1073778376 140735243179680 140735243170816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4382/statm: 2389604 5498 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558416

[startup+0.300173 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4382
/proc/meminfo: memFree=30233188/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/4382/stat : 4382 (java) S 4380 4382 919 0 -1 4202496 7333 0 1 0 48 1 0 0 20 0 19 0 291584775 9855979520 8388 33554432000 1073741824 1073778376 140735243179680 140735243170816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4382/statm: 2406245 8327 2227 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9624980

[startup+0.700188 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 4382
/proc/meminfo: memFree=30233188/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9624980 CPUtime=1.15 cores=0,2,4,6
/proc/4382/stat : 4382 (java) S 4380 4382 919 0 -1 4202496 7645 0 1 0 113 2 0 0 20 0 19 0 291584775 9855979520 8889 33554432000 1073741824 1073778376 140735243179680 140735243170816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4382/statm: 2406245 8889 2242 9 0 2396937 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 9624980

[startup+1.50061 s]
/proc/loadavg: 2.16 2.03 2.01 3/213 4401
/proc/meminfo: memFree=30199584/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9624980 CPUtime=2.02 cores=0,2,4,6
/proc/4382/stat : 4382 (java) S 4380 4382 919 0 -1 4202496 7713 0 1 0 200 2 0 0 20 0 19 0 291584775 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 140735243170816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4382/statm: 2406245 10989 2270 9 0 2396937 0
[pid=4382/tid=4384] ppid=4380 vsize=9624980 CPUtime=1.44 cores=0,2,4,6
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 919 0 -1 4202560 2457 0 1 0 143 1 0 0 20 0 19 0 291584776 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880585949472 139880458343264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880429467944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880428415144 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880427362856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880426310056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880425257768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 919 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880424204968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880423152680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 919 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880422099880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 919 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880409901288 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880408847352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880407794952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880406743440 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=9624980 CPUtime=0.24 cores=0,2,4,6
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 919 0 -1 4202560 1642 0 0 0 24 0 0 0 20 0 19 0 291584782 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880405691064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 919 0 -1 4202560 2366 0 0 0 26 0 0 0 20 0 19 0 291584782 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880404638264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880403586168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880402533576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291584797 9855979520 10989 33554432000 1073741824 1073778376 140735243179680 139880401478568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9624980

[startup+3.10055 s]
/proc/loadavg: 2.16 2.03 2.01 3/213 4401
/proc/meminfo: memFree=30194868/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9624980 CPUtime=3.66 cores=0,2,4,6
/proc/4382/stat : 4382 (java) S 4380 4382 919 0 -1 4202496 7726 0 1 0 364 2 0 0 20 0 19 0 291584775 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 140735243170816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4382/statm: 2406245 11510 2271 9 0 2396937 0
[pid=4382/tid=4384] ppid=4380 vsize=9624980 CPUtime=3.01 cores=0,2,4,6
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 919 0 -1 4202560 2458 0 1 0 300 1 0 0 20 0 19 0 291584776 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880585949472 139880458297253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880429467944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 919 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880428415144 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880427362856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880426310056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880425257768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880424204968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 919 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880423152680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 919 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880422099880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=9624980 CPUtime=0.03 cores=0,2,4,6
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 919 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 19 0 291584779 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880409901288 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880408847352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880407794952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880406743440 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 919 0 -1 4202560 1646 0 0 0 26 0 0 0 20 0 19 0 291584782 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880405691064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 919 0 -1 4202560 2366 0 0 0 27 0 0 0 20 0 19 0 291584782 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880404638264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880403586168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880402533576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291584797 9855979520 11510 33554432000 1073741824 1073778376 140735243179680 139880401478568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9624980

[startup+6.30061 s]
/proc/loadavg: 2.15 2.03 2.01 3/213 4401
/proc/meminfo: memFree=30194992/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9624980 CPUtime=6.88 cores=0,2,4,6
/proc/4382/stat : 4382 (java) S 4380 4382 919 0 -1 4202496 7740 0 1 0 686 2 0 0 20 0 19 0 291584775 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 140735243170816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4382/statm: 2406245 11335 2271 9 0 2396937 0
[pid=4382/tid=4384] ppid=4380 vsize=9624980 CPUtime=6.15 cores=0,2,4,6
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 919 0 -1 4202560 2463 0 1 0 614 1 0 0 20 0 19 0 291584776 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880585949472 139880458296992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 919 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880429467944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880428415144 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880427362856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 919 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880426310056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 919 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880425257768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 919 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880424204968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880423152680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 919 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291584778 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880422099880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 919 0 -1 4202560 30 0 0 0 8 0 0 0 20 0 19 0 291584779 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880409901288 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880408847352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880407794952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880406743440 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=9624980 CPUtime=0.26 cores=0,2,4,6
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 919 0 -1 4202560 1646 0 0 0 26 0 0 0 20 0 19 0 291584782 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880405691064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=9624980 CPUtime=0.27 cores=0,2,4,6
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 919 0 -1 4202560 2366 0 0 0 27 0 0 0 20 0 19 0 291584782 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880404638264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880403586168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880402533576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291584797 9855979520 11335 33554432000 1073741824 1073778376 140735243179680 139880401478568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 919 0 -1 4202560 89 0 0 0 72 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880429467944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=9624980 CPUtime=0.79 cores=0,2,4,6
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 919 0 -1 4202560 128 0 0 0 77 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880428415144 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=9624980 CPUtime=0.78 cores=0,2,4,6
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 919 0 -1 4202560 124 0 0 0 75 3 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880427362856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 919 0 -1 4202560 93 0 0 0 69 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880426310056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=9624980 CPUtime=0.79 cores=0,2,4,6
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 919 0 -1 4202560 176 0 0 0 78 1 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880425257768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=9624980 CPUtime=0.84 cores=0,2,4,6
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 919 0 -1 4202560 109 0 0 0 84 0 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880424204968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=9624980 CPUtime=0.72 cores=0,2,4,6
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 919 0 -1 4202560 43 0 0 0 70 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880423152680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=9624980 CPUtime=0.82 cores=0,2,4,6
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 919 0 -1 4202560 137 0 0 0 80 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880422099880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=9624980 CPUtime=7.03 cores=0,2,4,6
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 919 0 -1 4202560 98 0 0 0 700 3 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880409901288 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880408847352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880407794952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880406743440 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 919 0 -1 4202560 1671 0 0 0 49 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880405691064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 919 0 -1 4202560 9021 0 0 0 66 2 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880404638264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880403586168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 919 0 -1 4202560 49 0 0 0 7 7 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880402533576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291584797 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880401478568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 855.83
Current children cumulated vsize (KiB) 9624980

[startup+850.701 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 4407
/proc/meminfo: memFree=29916856/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9624980 CPUtime=856.22 cores=0,2,4,6
/proc/4382/stat : 4382 (java) S 4380 4382 919 0 -1 4202496 15711 0 1 0 85596 26 0 0 20 0 19 0 291584775 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 140735243170816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4382/statm: 2406245 27859 2277 9 0 2396937 0
[pid=4382/tid=4384] ppid=4380 vsize=9624980 CPUtime=841.66 cores=0,2,4,6
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 919 0 -1 4202560 2793 0 1 0 84151 15 0 0 20 0 19 0 291584776 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880585949472 139880458459158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=9624980 CPUtime=0.74 cores=0,2,4,6
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 919 0 -1 4202560 89 0 0 0 72 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880429467944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=9624980 CPUtime=0.79 cores=0,2,4,6
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 919 0 -1 4202560 128 0 0 0 77 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880428415144 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=9624980 CPUtime=0.78 cores=0,2,4,6
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 919 0 -1 4202560 124 0 0 0 75 3 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880427362856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 919 0 -1 4202560 93 0 0 0 69 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880426310056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=9624980 CPUtime=0.79 cores=0,2,4,6
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 919 0 -1 4202560 176 0 0 0 78 1 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880425257768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=9624980 CPUtime=0.84 cores=0,2,4,6
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 919 0 -1 4202560 109 0 0 0 84 0 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880424204968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=9624980 CPUtime=0.72 cores=0,2,4,6
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 919 0 -1 4202560 43 0 0 0 70 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880423152680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=9624980 CPUtime=0.82 cores=0,2,4,6
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 919 0 -1 4202560 137 0 0 0 80 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880422099880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=9624980 CPUtime=7.03 cores=0,2,4,6
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 919 0 -1 4202560 98 0 0 0 700 3 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880409901288 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880408847352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880407794952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880406743440 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=9624980 CPUtime=0.49 cores=0,2,4,6
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 919 0 -1 4202560 1671 0 0 0 49 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880405691064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 919 0 -1 4202560 9021 0 0 0 66 2 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880404638264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880403586168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 919 0 -1 4202560 49 0 0 0 7 7 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880402533576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291584797 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880401478568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 856.22
Current children cumulated vsize (KiB) 9624980

[startup+851.101 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 4407
/proc/meminfo: memFree=29916856/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9624980 CPUtime=856.63 cores=0,2,4,6
/proc/4382/stat : 4382 (java) S 4380 4382 919 0 -1 4202496 15712 0 1 0 85637 26 0 0 20 0 19 0 291584775 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 140735243170816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4382/statm: 2406245 27859 2277 9 0 2396937 0
[pid=4382/tid=4384] ppid=4380 vsize=9624980 CPUtime=842.06 cores=0,2,4,6
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 919 0 -1 4202560 2793 0 1 0 84191 15 0 0 20 0 19 0 291584776 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880585950104 139880458538000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=9624980 CPUtime=0.74 cores=0,2,4,6
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 919 0 -1 4202560 89 0 0 0 72 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880429467944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=9624980 CPUtime=0.79 cores=0,2,4,6
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 919 0 -1 4202560 128 0 0 0 77 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880428415144 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=9624980 CPUtime=0.78 cores=0,2,4,6
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 919 0 -1 4202560 124 0 0 0 75 3 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880427362856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 919 0 -1 4202560 93 0 0 0 69 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880426310056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=9624980 CPUtime=0.79 cores=0,2,4,6
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 919 0 -1 4202560 176 0 0 0 78 1 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880425257768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=9624980 CPUtime=0.84 cores=0,2,4,6
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 919 0 -1 4202560 109 0 0 0 84 0 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880424204968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=9624980 CPUtime=0.72 cores=0,2,4,6
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 919 0 -1 4202560 43 0 0 0 70 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880423152680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=9624980 CPUtime=0.82 cores=0,2,4,6
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 919 0 -1 4202560 137 0 0 0 80 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880422099880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=9624980 CPUtime=7.03 cores=0,2,4,6
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 919 0 -1 4202560 98 0 0 0 700 3 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880409901288 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880408847352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880407794952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880406743440 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 919 0 -1 4202560 1672 0 0 0 50 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880405691064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 919 0 -1 4202560 9021 0 0 0 66 2 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880404638264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880403586168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 919 0 -1 4202560 49 0 0 0 7 7 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880402533576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291584797 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880401478568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 856.63
Current children cumulated vsize (KiB) 9624980

[startup+851.201 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 4407
/proc/meminfo: memFree=29916856/32873648 swapFree=7112/7112
[pid=4382] ppid=4380 vsize=9624980 CPUtime=856.73 cores=0,2,4,6
/proc/4382/stat : 4382 (java) S 4380 4382 919 0 -1 4202496 15712 0 1 0 85647 26 0 0 20 0 19 0 291584775 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 140735243170816 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4382/statm: 2406245 27859 2277 9 0 2396937 0
[pid=4382/tid=4384] ppid=4380 vsize=9624980 CPUtime=842.16 cores=0,2,4,6
/proc/4382/task/4384/stat : 4384 (java) R 4380 4382 919 0 -1 4202560 2793 0 1 0 84201 15 0 0 20 0 19 0 291584776 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880585950104 139880458538000 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4385] ppid=4380 vsize=9624980 CPUtime=0.74 cores=0,2,4,6
/proc/4382/task/4385/stat : 4385 (java) S 4380 4382 919 0 -1 4202560 89 0 0 0 72 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880429467944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4386] ppid=4380 vsize=9624980 CPUtime=0.79 cores=0,2,4,6
/proc/4382/task/4386/stat : 4386 (java) S 4380 4382 919 0 -1 4202560 128 0 0 0 77 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880428415144 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4387] ppid=4380 vsize=9624980 CPUtime=0.78 cores=0,2,4,6
/proc/4382/task/4387/stat : 4387 (java) S 4380 4382 919 0 -1 4202560 124 0 0 0 75 3 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880427362856 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4388] ppid=4380 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/4382/task/4388/stat : 4388 (java) S 4380 4382 919 0 -1 4202560 93 0 0 0 69 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880426310056 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4389] ppid=4380 vsize=9624980 CPUtime=0.79 cores=0,2,4,6
/proc/4382/task/4389/stat : 4389 (java) S 4380 4382 919 0 -1 4202560 176 0 0 0 78 1 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880425257768 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4390] ppid=4380 vsize=9624980 CPUtime=0.84 cores=0,2,4,6
/proc/4382/task/4390/stat : 4390 (java) S 4380 4382 919 0 -1 4202560 109 0 0 0 84 0 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880424204968 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4391] ppid=4380 vsize=9624980 CPUtime=0.72 cores=0,2,4,6
/proc/4382/task/4391/stat : 4391 (java) S 4380 4382 919 0 -1 4202560 43 0 0 0 70 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880423152680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4392] ppid=4380 vsize=9624980 CPUtime=0.82 cores=0,2,4,6
/proc/4382/task/4392/stat : 4392 (java) S 4380 4382 919 0 -1 4202560 137 0 0 0 80 2 0 0 20 0 19 0 291584778 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880422099880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4382/tid=4393] ppid=4380 vsize=9624980 CPUtime=7.03 cores=0,2,4,6
/proc/4382/task/4393/stat : 4393 (java) S 4380 4382 919 0 -1 4202560 98 0 0 0 700 3 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880409901288 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4394] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4394/stat : 4394 (java) S 4380 4382 919 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880408847352 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4395] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4395/stat : 4395 (java) S 4380 4382 919 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291584779 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880407794952 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4396] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4396/stat : 4396 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880406743440 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4382/tid=4397] ppid=4380 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/4382/task/4397/stat : 4397 (java) S 4380 4382 919 0 -1 4202560 1672 0 0 0 50 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880405691064 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4398] ppid=4380 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/4382/task/4398/stat : 4398 (java) S 4380 4382 919 0 -1 4202560 9021 0 0 0 66 2 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880404638264 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4399] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4399/stat : 4399 (java) S 4380 4382 919 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880403586168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4382/tid=4400] ppid=4380 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/4382/task/4400/stat : 4400 (java) S 4380 4382 919 0 -1 4202560 49 0 0 0 7 7 0 0 20 0 19 0 291584782 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880402533576 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4382/tid=4401] ppid=4380 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/4382/task/4401/stat : 4401 (java) S 4380 4382 919 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291584797 9855979520 27859 33554432000 1073741824 1073778376 140735243179680 139880401478568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 856.73
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 851.226
CPU time (s): 856.975
CPU user time (s): 856.433
CPU system time (s): 0.541917
CPU usage (%): 100.675
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 856.433
system time used= 0.541917
maximum resident set size= 118092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15723
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27233
involuntary context switches= 22352

runsolver used 1.82772 second user time and 4.47032 second system time

The end

Launcher Data 

Begin job on node126 at 2012-05-29 03:23:09
IDJOB=3717870
IDBENCH=79446
IDSOLVER=2301
FILE ID=node126/3717870-1338254589
RUNJOBID= node126-1338248585-2144
PBS_JOBID= 14624661
Free space on /tmp= 71360 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/academics/normalized-warehouse1_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717870-1338254589/watcher-3717870-1338254589 -o /tmp/evaluation-result-3717870-1338254589/solver-3717870-1338254589 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3717870-1338254589.wbo

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

MD5SUM BENCH= e84f9fd9c38a67d9707b8aa628966b83
RANDOM SEED=1486006709

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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		: 2666.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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		: 2666.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30233560 kB
Buffers:          426396 kB
Cached:           730448 kB
SwapCached:        17756 kB
Active:          1454760 kB
Inactive:         314764 kB
Active(anon):     594316 kB
Inactive(anon):    20452 kB
Active(file):     860444 kB
Inactive(file):   294312 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:               432 kB
Writeback:             0 kB
AnonPages:        606888 kB
Mapped:            17848 kB
Shmem:                 0 kB
Slab:             727460 kB
SReclaimable:     171456 kB
SUnreclaim:       556004 kB
KernelStack:        1576 kB
PageTables:         5336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1019940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    567296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71360 MiB
End job on node126 at 2012-05-29 03:37:20