Trace number 3454015

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)-65 1800.33 1002.4

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_25_2.opb
MD5SUMe40e55fe30ea19a1cae02f7f820bc9fe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -78
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint25
Maximum length of a constraint45
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)15670
Sum of products size (including duplicates)31340
Number of different products7835
Sum of products size15670

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.1.v20110525
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.18-164.el5
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		9996466904
0.06/0.08	c Max memory 		10048897024
0.06/0.08	c Total memory 		10048897024
0.06/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3454015-1307194949.opb
0.11/0.11	c reading problem ... 
1.31/0.69	c ... done. Wall clock time 0.584s.
1.31/0.69	c #vars     8335
1.31/0.69	c #constraints  24005
1.31/0.69	c constraints type 
1.31/0.69	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7835
1.31/0.69	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1.31/0.69	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7835
1.31/0.69	c constraints type 
1.31/0.69	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7835
1.31/0.69	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1.31/0.69	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7835
1.90/0.85	c  And the winner is Resolution
2.31/1.24	c SATISFIABLE
2.31/1.24	c OPTIMIZING...
2.31/1.24	c Got one! Elapsed wall clock time (in seconds):1.13
2.31/1.24	o -55
3.35/1.50	c  And the winner is Resolution
3.38/1.75	c Got one! Elapsed wall clock time (in seconds):1.64
3.38/1.75	o -56
3.55/1.87	c  And the winner is Resolution
3.78/2.26	c Got one! Elapsed wall clock time (in seconds):2.15
3.78/2.26	o -57
3.88/2.32	c  And the winner is Resolution
3.99/2.78	c Got one! Elapsed wall clock time (in seconds):2.669
3.99/2.78	o -58
4.97/3.23	c  And the winner is Resolution
4.97/3.28	c Got one! Elapsed wall clock time (in seconds):3.174
4.97/3.28	o -60
5.50/3.53	c cleaning 4015 clauses out of 8030 with flag 2000/8030
6.93/4.27	c cleaning 5007 clauses out of 10016 with flag 8001/14031
7.66/4.60	c  And the winner is CuttingPlanes
7.66/4.86	c Got one! Elapsed wall clock time (in seconds):4.751
7.66/4.86	o -61
8.40/5.22	c cleaning 5272 clauses out of 10551 with flag 3001/19573
9.77/5.93	c cleaning 5636 clauses out of 11279 with flag 9001/25573
11.27/6.77	c cleaning 6318 clauses out of 12642 with flag 16000/32572
11.98/7.11	c  And the winner is Resolution
12.12/7.38	c Got one! Elapsed wall clock time (in seconds):7.27
12.12/7.38	o -62
12.81/7.73	c cleaning 5841 clauses out of 11701 with flag 3000/37949
14.08/8.47	c cleaning 5920 clauses out of 11860 with flag 9000/43949
15.81/9.35	c cleaning 6470 clauses out of 12940 with flag 16000/50949
17.68/10.30	c cleaning 7235 clauses out of 14470 with flag 24000/58949
19.78/11.47	c cleaning 8114 clauses out of 16235 with flag 33000/67949
22.07/12.67	c cleaning 9051 clauses out of 18121 with flag 43000/77949
24.75/14.07	c cleaning 10031 clauses out of 20070 with flag 54000/88949
27.79/15.60	c cleaning 11014 clauses out of 22041 with flag 66002/100951
30.87/17.26	c cleaning 12014 clauses out of 24027 with flag 79002/113951
34.73/19.24	c cleaning 13004 clauses out of 26012 with flag 93001/127950
38.38/21.11	c cleaning 13999 clauses out of 28008 with flag 108001/142950
42.57/23.32	c cleaning 15003 clauses out of 30008 with flag 124000/158949
47.22/25.74	c cleaning 15995 clauses out of 32005 with flag 141000/175949
52.05/28.29	c cleaning 16501 clauses out of 33010 with flag 158000/192949
56.28/30.48	c cleaning 16750 clauses out of 33509 with flag 175000/209949
61.28/33.07	c cleaning 16870 clauses out of 33760 with flag 192001/226950
66.66/35.83	c cleaning 16941 clauses out of 33890 with flag 209001/243950
71.46/38.36	c cleaning 16972 clauses out of 33948 with flag 226000/260949
76.85/41.11	c cleaning 16981 clauses out of 33976 with flag 243000/277949
81.33/43.52	c cleaning 16998 clauses out of 33995 with flag 260000/294949
86.11/46.02	c cleaning 16991 clauses out of 33997 with flag 277000/311949
91.07/48.61	c cleaning 17001 clauses out of 34006 with flag 294000/328949
95.83/51.11	c cleaning 16992 clauses out of 34005 with flag 311000/345949
101.28/54.06	c cleaning 17004 clauses out of 34014 with flag 328001/362950
106.43/56.77	c cleaning 16997 clauses out of 34009 with flag 345000/379949
112.17/59.75	c cleaning 17005 clauses out of 34012 with flag 362000/396949
117.13/62.33	c cleaning 16995 clauses out of 34007 with flag 379000/413949
121.54/64.79	c cleaning 16996 clauses out of 34012 with flag 396000/430949
127.05/67.64	c cleaning 16992 clauses out of 34016 with flag 413000/447949
132.57/70.55	c cleaning 17006 clauses out of 34025 with flag 430001/464950
137.68/73.25	c cleaning 17000 clauses out of 34018 with flag 447000/481949
142.48/75.90	c cleaning 16998 clauses out of 34019 with flag 464001/498950
147.96/78.79	c cleaning 17001 clauses out of 34020 with flag 481000/515949
153.66/81.74	c cleaning 16993 clauses out of 34019 with flag 498000/532949
158.57/84.32	c cleaning 17013 clauses out of 34026 with flag 515000/549949
164.33/87.41	c cleaning 17007 clauses out of 34014 with flag 532001/566950
170.81/90.81	c cleaning 16999 clauses out of 34006 with flag 549000/583949
177.48/94.33	c cleaning 16996 clauses out of 34007 with flag 566000/600949
179.56/95.57	c  And the winner is Resolution
180.53/96.47	c Got one! Elapsed wall clock time (in seconds):96.359
180.53/96.47	o -63
181.85/97.16	c cleaning 14054 clauses out of 28116 with flag 5000/612054
183.81/98.35	c cleaning 10025 clauses out of 20063 with flag 11001/618055
185.68/99.49	c cleaning 8514 clauses out of 17037 with flag 18000/625054
187.97/100.77	c cleaning 8258 clauses out of 16523 with flag 26000/633054
190.67/102.24	c cleaning 8631 clauses out of 17265 with flag 35000/642054
193.77/104.02	c cleaning 9314 clauses out of 18634 with flag 45000/652054
197.07/105.84	c cleaning 10154 clauses out of 20320 with flag 56000/663054
200.58/107.74	c cleaning 11083 clauses out of 22166 with flag 68000/675054
204.43/109.87	c cleaning 12034 clauses out of 24084 with flag 81001/688055
208.60/112.21	c cleaning 13016 clauses out of 26049 with flag 95000/702054
213.64/114.82	c cleaning 14016 clauses out of 28034 with flag 110001/717055
218.70/117.52	c cleaning 15008 clauses out of 30018 with flag 126001/733055
223.95/120.30	c cleaning 15998 clauses out of 32009 with flag 143000/750054
229.69/123.45	c cleaning 16503 clauses out of 33011 with flag 160000/767054
235.74/126.62	c cleaning 16752 clauses out of 33508 with flag 177000/784054
242.39/130.17	c cleaning 16878 clauses out of 33757 with flag 194001/801055
247.87/133.11	c cleaning 16940 clauses out of 33879 with flag 211001/818055
253.54/136.12	c cleaning 16968 clauses out of 33939 with flag 228001/835055
258.98/139.09	c cleaning 16973 clauses out of 33971 with flag 245001/852055
264.84/142.20	c cleaning 16994 clauses out of 33998 with flag 262001/869055
270.87/145.34	c cleaning 16995 clauses out of 34003 with flag 279000/886054
277.34/148.80	c cleaning 16998 clauses out of 34009 with flag 296001/903055
281.57/151.19	c cleaning 17001 clauses out of 34011 with flag 313001/920055
286.59/153.81	c cleaning 17001 clauses out of 34009 with flag 330000/937054
291.64/156.51	c cleaning 17005 clauses out of 34009 with flag 347001/954055
296.71/159.31	c cleaning 16994 clauses out of 34003 with flag 364000/971054
302.52/162.44	c cleaning 17004 clauses out of 34009 with flag 381000/988054
307.76/165.24	c cleaning 17000 clauses out of 34005 with flag 398000/1005054
313.39/168.28	c cleaning 17002 clauses out of 34006 with flag 415001/1022055
318.80/171.23	c cleaning 16993 clauses out of 34004 with flag 432001/1039055
324.41/174.26	c cleaning 16994 clauses out of 34010 with flag 449000/1056054
329.67/177.11	c cleaning 17002 clauses out of 34017 with flag 466001/1073055
335.12/179.97	c cleaning 16999 clauses out of 34014 with flag 483000/1090054
340.14/182.78	c cleaning 16997 clauses out of 34017 with flag 500002/1107056
345.74/185.72	c cleaning 17004 clauses out of 34019 with flag 517001/1124055
351.53/188.88	c cleaning 17004 clauses out of 34014 with flag 534000/1141054
357.32/191.98	c cleaning 16999 clauses out of 34010 with flag 551000/1158054
362.94/195.04	c cleaning 17000 clauses out of 34013 with flag 568002/1175056
368.57/198.07	c cleaning 17001 clauses out of 34013 with flag 585002/1192056
373.92/200.93	c cleaning 16994 clauses out of 34010 with flag 602000/1209054
379.88/204.11	c cleaning 17005 clauses out of 34016 with flag 619000/1226054
386.28/207.62	c cleaning 17001 clauses out of 34011 with flag 636000/1243054
391.84/210.62	c cleaning 17006 clauses out of 34011 with flag 653001/1260055
397.61/213.78	c cleaning 16998 clauses out of 34004 with flag 670000/1277054
403.77/217.08	c cleaning 17000 clauses out of 34007 with flag 687001/1294055
409.61/220.23	c cleaning 16995 clauses out of 34006 with flag 704000/1311054
415.39/223.34	c cleaning 17000 clauses out of 34012 with flag 721001/1328055
421.54/226.61	c cleaning 17000 clauses out of 34012 with flag 738001/1345055
425.92/229.04	c cleaning 16994 clauses out of 34011 with flag 755000/1362054
431.32/232.02	c cleaning 17008 clauses out of 34019 with flag 772002/1379056
436.05/234.68	c cleaning 16999 clauses out of 34010 with flag 789001/1396055
441.21/237.42	c cleaning 17005 clauses out of 34011 with flag 806001/1413055
446.76/240.41	c cleaning 16999 clauses out of 34005 with flag 823000/1430054
452.50/243.61	c cleaning 16999 clauses out of 34007 with flag 840001/1447055
458.10/246.69	c cleaning 16991 clauses out of 34007 with flag 857000/1464054
463.04/249.39	c cleaning 16998 clauses out of 34016 with flag 874000/1481054
468.38/252.21	c cleaning 0 clauses out of 5947 with flag 0/5948
469.74/253.20	c cleaning 17010 clauses out of 34020 with flag 891002/1498056
475.07/256.17	c cleaning 16991 clauses out of 34009 with flag 908001/1515055
480.82/259.25	c cleaning 17001 clauses out of 34017 with flag 925000/1532054
485.74/262.00	c cleaning 16996 clauses out of 34016 with flag 942000/1549054
491.65/265.22	c cleaning 17009 clauses out of 34020 with flag 959000/1566054
497.18/268.21	c cleaning 16995 clauses out of 34011 with flag 976000/1583054
502.74/271.29	c cleaning 17001 clauses out of 34016 with flag 993000/1600054
508.66/274.40	c cleaning 17004 clauses out of 34016 with flag 1010001/1617055
514.37/277.66	c cleaning 17002 clauses out of 34014 with flag 1027003/1634057
519.28/280.35	c cleaning 16993 clauses out of 34009 with flag 1044000/1651054
524.59/283.23	c cleaning 16997 clauses out of 34017 with flag 1061001/1668055
530.10/286.22	c cleaning 17004 clauses out of 34020 with flag 1078001/1685055
535.99/289.54	c cleaning 17000 clauses out of 34015 with flag 1095000/1702054
541.51/292.55	c cleaning 16995 clauses out of 34016 with flag 1112001/1719055
546.98/295.56	c cleaning 17002 clauses out of 34020 with flag 1129000/1736054
552.33/298.47	c cleaning 16996 clauses out of 34019 with flag 1146001/1753055
558.23/301.79	c cleaning 16995 clauses out of 34022 with flag 1163000/1770054
563.91/304.90	c cleaning 17011 clauses out of 34028 with flag 1180001/1787055
569.64/307.93	c cleaning 16999 clauses out of 34017 with flag 1197001/1804055
575.30/311.03	c cleaning 17001 clauses out of 34017 with flag 1214000/1821054
581.36/314.50	c cleaning 16986 clauses out of 34016 with flag 1231000/1838054
587.43/317.78	c cleaning 16995 clauses out of 34030 with flag 1248000/1855054
590.31/319.49	c  And the winner is Resolution
592.22/321.30	c Got one! Elapsed wall clock time (in seconds):321.189
592.22/321.30	o -64
593.67/322.03	c cleaning 15247 clauses out of 30494 with flag 5000/1868513
595.83/323.38	c cleaning 10621 clauses out of 21247 with flag 11000/1874513
598.69/325.11	c cleaning 8809 clauses out of 17626 with flag 18000/1881513
601.57/326.81	c cleaning 8403 clauses out of 16817 with flag 26000/1889513
604.85/328.75	c cleaning 8708 clauses out of 17415 with flag 35001/1898514
608.52/330.84	c cleaning 9348 clauses out of 18707 with flag 45001/1908514
612.80/333.37	c cleaning 10171 clauses out of 20358 with flag 56000/1919513
617.44/335.99	c cleaning 11094 clauses out of 22187 with flag 68000/1931513
622.56/338.72	c cleaning 12045 clauses out of 24094 with flag 81001/1944514
628.06/341.72	c cleaning 13020 clauses out of 26049 with flag 95001/1958514
634.54/345.35	c cleaning 14014 clauses out of 28029 with flag 110001/1973514
640.98/348.89	c cleaning 15003 clauses out of 30015 with flag 126001/1989514
648.66/352.90	c cleaning 16005 clauses out of 32012 with flag 143001/2006514
655.96/356.87	c cleaning 16501 clauses out of 33007 with flag 160001/2023514
663.41/360.96	c cleaning 16750 clauses out of 33505 with flag 177000/2040513
671.07/365.06	c cleaning 16877 clauses out of 33755 with flag 194000/2057513
678.33/368.99	c cleaning 16937 clauses out of 33881 with flag 211003/2074516
685.18/372.61	c cleaning 16967 clauses out of 33941 with flag 228000/2091513
690.07/375.41	c cleaning 16985 clauses out of 33975 with flag 245001/2108514
695.37/378.36	c cleaning 16984 clauses out of 33989 with flag 262000/2125513
701.00/381.46	c cleaning 17001 clauses out of 34006 with flag 279001/2142514
706.65/384.54	c cleaning 16994 clauses out of 34005 with flag 296001/2159514
712.30/387.74	c cleaning 16995 clauses out of 34011 with flag 313001/2176514
717.59/390.69	c cleaning 17001 clauses out of 34015 with flag 330000/2193513
723.26/393.75	c cleaning 16996 clauses out of 34014 with flag 347000/2210513
728.28/396.59	c cleaning 16995 clauses out of 34018 with flag 364000/2227513
734.09/399.88	c cleaning 17000 clauses out of 34024 with flag 381001/2244514
739.91/403.04	c cleaning 17007 clauses out of 34023 with flag 398000/2261513
745.97/406.35	c cleaning 17004 clauses out of 34016 with flag 415000/2278513
750.85/409.08	c cleaning 17003 clauses out of 34013 with flag 432001/2295514
756.87/412.44	c cleaning 16994 clauses out of 34009 with flag 449000/2312513
762.27/415.47	c cleaning 16999 clauses out of 34015 with flag 466000/2329513
767.70/418.47	c cleaning 17003 clauses out of 34016 with flag 483000/2346513
773.33/421.59	c cleaning 16991 clauses out of 34013 with flag 500000/2363513
779.31/424.90	c cleaning 17004 clauses out of 34023 with flag 517001/2380514
784.76/427.92	c cleaning 16993 clauses out of 34018 with flag 534000/2397513
790.78/431.24	c cleaning 17003 clauses out of 34025 with flag 551000/2414513
796.40/434.34	c cleaning 17005 clauses out of 34022 with flag 568000/2431513
802.45/437.72	c cleaning 16999 clauses out of 34017 with flag 585000/2448513
808.04/440.83	c cleaning 16996 clauses out of 34018 with flag 602000/2465513
813.46/443.85	c cleaning 17002 clauses out of 34022 with flag 619000/2482513
819.07/446.98	c cleaning 17003 clauses out of 34021 with flag 636001/2499514
825.44/450.56	c cleaning 16991 clauses out of 34018 with flag 653001/2516514
830.50/453.36	c cleaning 17001 clauses out of 34026 with flag 670000/2533513
836.35/456.56	c cleaning 17004 clauses out of 34026 with flag 687001/2550514
841.92/459.62	c cleaning 17004 clauses out of 34021 with flag 704000/2567513
847.91/463.10	c cleaning 16994 clauses out of 34017 with flag 721000/2584513
853.91/466.35	c cleaning 17009 clauses out of 34024 with flag 738001/2601514
859.48/469.47	c cleaning 16995 clauses out of 34014 with flag 755000/2618513
865.68/472.90	c cleaning 16995 clauses out of 34019 with flag 772000/2635513
871.51/476.21	c cleaning 16994 clauses out of 34024 with flag 789000/2652513
877.75/479.58	c cleaning 17003 clauses out of 34030 with flag 806000/2669513
883.76/482.82	c cleaning 17005 clauses out of 34027 with flag 823000/2686513
890.13/486.30	c cleaning 16989 clauses out of 34022 with flag 840000/2703513
891.86/487.67	c  And the winner is Resolution
894.03/489.74	c Got one! Elapsed wall clock time (in seconds):489.63
894.03/489.74	o -65
894.76/490.13	c cleaning 11353 clauses out of 22723 with flag 2001/2709203
897.03/491.61	c cleaning 8680 clauses out of 17369 with flag 8000/2715202
899.87/493.23	c cleaning 7844 clauses out of 15690 with flag 15001/2722203
902.72/494.99	c cleaning 7920 clauses out of 15847 with flag 23002/2730204
906.46/497.27	c cleaning 8459 clauses out of 16925 with flag 32000/2739202
910.42/499.51	c cleaning 9222 clauses out of 18466 with flag 42000/2749202
915.00/502.10	c cleaning 10117 clauses out of 20244 with flag 53000/2760202
919.59/504.80	c cleaning 11063 clauses out of 22127 with flag 65000/2772202
925.75/508.24	c cleaning 12026 clauses out of 24064 with flag 78000/2785202
931.79/511.56	c cleaning 13020 clauses out of 26039 with flag 92001/2799203
938.77/515.33	c cleaning 14006 clauses out of 28019 with flag 107001/2814203
946.35/519.46	c cleaning 15000 clauses out of 30013 with flag 123001/2830203
954.86/524.12	c cleaning 16005 clauses out of 32013 with flag 140001/2847203
962.66/528.32	c cleaning 16502 clauses out of 33007 with flag 157000/2864202
970.67/532.69	c cleaning 16743 clauses out of 33505 with flag 174000/2881202
979.24/537.29	c cleaning 16873 clauses out of 33763 with flag 191001/2898203
988.15/542.17	c cleaning 16939 clauses out of 33889 with flag 208000/2915202
996.31/546.59	c cleaning 16972 clauses out of 33952 with flag 225002/2932204
1001.74/549.57	c cleaning 16981 clauses out of 33978 with flag 242000/2949202
1007.51/552.77	c cleaning 16987 clauses out of 33997 with flag 259000/2966202
1013.80/556.34	c cleaning 16995 clauses out of 34010 with flag 276000/2983202
1019.37/559.41	c cleaning 17001 clauses out of 34016 with flag 293001/3000203
1025.36/562.74	c cleaning 16996 clauses out of 34014 with flag 310000/3017202
1031.18/565.98	c cleaning 16999 clauses out of 34018 with flag 327000/3034202
1037.07/569.30	c cleaning 16989 clauses out of 34020 with flag 344001/3051203
1042.63/572.46	c cleaning 17001 clauses out of 34030 with flag 361000/3068202
1048.59/575.71	c cleaning 17002 clauses out of 34029 with flag 378000/3085202
1054.35/578.91	c cleaning 17009 clauses out of 34028 with flag 395001/3102203
1060.04/582.30	c cleaning 16997 clauses out of 34018 with flag 412000/3119202
1066.19/585.65	c cleaning 17005 clauses out of 34022 with flag 429001/3136203
1072.24/588.91	c cleaning 17003 clauses out of 34016 with flag 446000/3153202
1077.81/592.02	c cleaning 16998 clauses out of 34013 with flag 463000/3170202
1083.89/595.59	c cleaning 16998 clauses out of 34016 with flag 480001/3187203
1089.84/598.85	c cleaning 16999 clauses out of 34017 with flag 497000/3204202
1095.98/602.22	c cleaning 16989 clauses out of 34018 with flag 514000/3221202
1102.14/605.65	c cleaning 17006 clauses out of 34029 with flag 531000/3238202
1108.40/609.29	c cleaning 17000 clauses out of 34025 with flag 548002/3255204
1113.55/612.10	c cleaning 17005 clauses out of 34023 with flag 565000/3272202
1118.33/614.89	c cleaning 17004 clauses out of 34020 with flag 582002/3289204
1123.84/617.94	c cleaning 16997 clauses out of 34014 with flag 599000/3306202
1129.80/621.40	c cleaning 17004 clauses out of 34017 with flag 616000/3323202
1135.14/624.38	c cleaning 16991 clauses out of 34013 with flag 633000/3340202
1140.28/627.23	c cleaning 17001 clauses out of 34023 with flag 650001/3357203
1145.85/630.39	c cleaning 16998 clauses out of 34021 with flag 667000/3374202
1151.85/633.84	c cleaning 16993 clauses out of 34023 with flag 684000/3391202
1157.47/636.92	c cleaning 17005 clauses out of 34030 with flag 701000/3408202
1162.82/639.95	c cleaning 17000 clauses out of 34025 with flag 718000/3425202
1168.54/643.17	c cleaning 17002 clauses out of 34026 with flag 735001/3442203
1174.81/646.80	c cleaning 17006 clauses out of 34023 with flag 752000/3459202
1180.74/650.04	c cleaning 16998 clauses out of 34017 with flag 769000/3476202
1186.44/653.21	c cleaning 16999 clauses out of 34019 with flag 786000/3493202
1192.36/656.52	c cleaning 17004 clauses out of 34021 with flag 803001/3510203
1198.41/660.09	c cleaning 16993 clauses out of 34017 with flag 820001/3527203
1204.13/663.26	c cleaning 16997 clauses out of 34023 with flag 837000/3544202
1209.50/666.25	c cleaning 17003 clauses out of 34027 with flag 854001/3561203
1215.28/669.41	c cleaning 17005 clauses out of 34023 with flag 871000/3578202
1220.91/672.79	c cleaning 16998 clauses out of 34018 with flag 888000/3595202
1226.82/676.01	c cleaning 16997 clauses out of 34021 with flag 905001/3612203
1232.14/679.06	c cleaning 17001 clauses out of 34024 with flag 922001/3629203
1237.65/682.17	c cleaning 17004 clauses out of 34023 with flag 939001/3646203
1243.67/685.67	c cleaning 16998 clauses out of 34019 with flag 956001/3663203
1249.58/688.94	c cleaning 16993 clauses out of 34020 with flag 973000/3680202
1255.10/692.05	c cleaning 17002 clauses out of 34028 with flag 990001/3697203
1260.20/694.97	c cleaning 17001 clauses out of 34025 with flag 1007000/3714202
1266.24/698.48	c cleaning 17000 clauses out of 34025 with flag 1024001/3731203
1271.81/701.59	c cleaning 16991 clauses out of 34025 with flag 1041001/3748203
1277.55/704.78	c cleaning 17008 clauses out of 34034 with flag 1058001/3765203
1283.45/708.04	c cleaning 16994 clauses out of 34026 with flag 1075001/3782203
1289.89/711.73	c cleaning 17003 clauses out of 34031 with flag 1092000/3799202
1295.96/715.12	c cleaning 17006 clauses out of 34029 with flag 1109001/3816203
1301.69/718.39	c cleaning 17004 clauses out of 34023 with flag 1126001/3833203
1307.75/721.72	c cleaning 16995 clauses out of 34019 with flag 1143001/3850203
1313.74/725.28	c cleaning 17003 clauses out of 34023 with flag 1160000/3867202
1319.63/728.52	c cleaning 16994 clauses out of 34020 with flag 1177000/3884202
1325.52/731.85	c cleaning 17003 clauses out of 34026 with flag 1194000/3901202
1331.62/735.24	c cleaning 16995 clauses out of 34023 with flag 1211000/3918202
1337.22/738.52	c cleaning 17004 clauses out of 34029 with flag 1228001/3935203
1342.90/741.78	c cleaning 17004 clauses out of 34024 with flag 1245000/3952202
1348.99/745.15	c cleaning 17002 clauses out of 34022 with flag 1262002/3969204
1354.88/748.41	c cleaning 16997 clauses out of 34018 with flag 1279000/3986202
1361.26/752.14	c cleaning 16994 clauses out of 34021 with flag 1296000/4003202
1366.96/755.35	c cleaning 17000 clauses out of 34027 with flag 1313000/4020202
1372.92/758.67	c cleaning 17007 clauses out of 34027 with flag 1330000/4037202
1379.02/762.06	c cleaning 17004 clauses out of 34020 with flag 1347000/4054202
1385.39/765.76	c cleaning 16991 clauses out of 34016 with flag 1364000/4071202
1391.47/769.17	c cleaning 16999 clauses out of 34026 with flag 1381001/4088203
1397.54/772.53	c cleaning 17005 clauses out of 34026 with flag 1398000/4105202
1403.45/775.86	c cleaning 17001 clauses out of 34021 with flag 1415000/4122202
1409.89/779.50	c cleaning 17003 clauses out of 34020 with flag 1432000/4139202
1415.57/782.76	c cleaning 16995 clauses out of 34019 with flag 1449002/4156204
1421.43/786.05	c cleaning 17003 clauses out of 34022 with flag 1466000/4173202
1427.72/789.55	c cleaning 17001 clauses out of 34020 with flag 1483001/4190203
1434.27/793.32	c cleaning 17001 clauses out of 34018 with flag 1500000/4207202
1440.53/796.80	c cleaning 16998 clauses out of 34017 with flag 1517000/4224202
1446.98/800.48	c cleaning 17004 clauses out of 34019 with flag 1534000/4241202
1452.73/803.62	c cleaning 16999 clauses out of 34016 with flag 1551001/4258203
1458.34/806.93	c cleaning 16994 clauses out of 34016 with flag 1568000/4275202
1464.21/810.23	c cleaning 17001 clauses out of 34022 with flag 1585000/4292202
1469.88/813.48	c cleaning 16996 clauses out of 34022 with flag 1602001/4309203
1475.94/816.81	c cleaning 17001 clauses out of 34025 with flag 1619000/4326202
1481.67/820.30	c cleaning 17002 clauses out of 34024 with flag 1636000/4343202
1487.53/823.54	c cleaning 16999 clauses out of 34022 with flag 1653000/4360202
1493.57/826.90	c cleaning 17001 clauses out of 34023 with flag 1670000/4377202
1499.42/830.20	c cleaning 17003 clauses out of 34022 with flag 1687000/4394202
1505.75/834.00	c cleaning 16991 clauses out of 34019 with flag 1704000/4411202
1511.60/837.27	c cleaning 17002 clauses out of 34029 with flag 1721001/4428203
1517.44/840.60	c cleaning 17001 clauses out of 34027 with flag 1738001/4445203
1523.54/843.90	c cleaning 16996 clauses out of 34025 with flag 1755000/4462202
1529.53/847.49	c cleaning 17009 clauses out of 34030 with flag 1772001/4479203
1535.77/850.97	c cleaning 16999 clauses out of 34020 with flag 1789000/4496202
1541.62/854.29	c cleaning 16997 clauses out of 34021 with flag 1806000/4513202
1547.67/857.65	c cleaning 17007 clauses out of 34025 with flag 1823001/4530203
1554.18/861.47	c cleaning 16990 clauses out of 34017 with flag 1840000/4547202
1560.42/864.92	c cleaning 17003 clauses out of 34027 with flag 1857000/4564202
1566.45/868.36	c cleaning 17004 clauses out of 34025 with flag 1874001/4581203
1572.68/871.86	c cleaning 16996 clauses out of 34020 with flag 1891000/4598202
1579.38/875.79	c cleaning 16989 clauses out of 34024 with flag 1908000/4615202
1586.21/879.51	c cleaning 17013 clauses out of 34036 with flag 1925001/4632203
1592.44/883.03	c cleaning 16988 clauses out of 34022 with flag 1942000/4649202
1598.06/886.28	c cleaning 17011 clauses out of 34034 with flag 1959000/4666202
1604.73/890.13	c cleaning 17000 clauses out of 34023 with flag 1976000/4683202
1610.95/893.65	c cleaning 16992 clauses out of 34024 with flag 1993001/4700203
1617.17/897.13	c cleaning 17008 clauses out of 34031 with flag 2010000/4717202
1623.01/900.50	c cleaning 17006 clauses out of 34023 with flag 2027000/4734202
1629.43/904.19	c cleaning 16999 clauses out of 34017 with flag 2044000/4751202
1634.64/907.11	c cleaning 17002 clauses out of 34019 with flag 2061001/4768203
1639.65/910.05	c cleaning 17006 clauses out of 34016 with flag 2078000/4785202
1645.06/913.13	c cleaning 16988 clauses out of 34010 with flag 2095000/4802202
1650.93/916.60	c cleaning 17004 clauses out of 34023 with flag 2112001/4819203
1656.93/920.00	c cleaning 17001 clauses out of 34018 with flag 2129000/4836202
1661.77/922.91	c cleaning 17003 clauses out of 34017 with flag 2146000/4853202
1667.96/926.31	c cleaning 16992 clauses out of 34014 with flag 2163000/4870202
1674.02/929.96	c cleaning 17001 clauses out of 34023 with flag 2180001/4887203
1679.62/933.19	c cleaning 16997 clauses out of 34021 with flag 2197000/4904202
1685.84/936.60	c cleaning 17002 clauses out of 34024 with flag 2214000/4921202
1692.24/940.23	c cleaning 17007 clauses out of 34022 with flag 2231000/4938202
1698.90/944.16	c cleaning 17002 clauses out of 34015 with flag 2248000/4955202
1704.70/947.44	c cleaning 16998 clauses out of 34014 with flag 2265001/4972203
1710.71/950.86	c cleaning 16996 clauses out of 34015 with flag 2282000/4989202
1716.70/954.20	c cleaning 16997 clauses out of 34019 with flag 2299000/5006202
1722.74/957.88	c cleaning 16996 clauses out of 34022 with flag 2316000/5023202
1728.74/961.25	c cleaning 17006 clauses out of 34026 with flag 2333000/5040202
1734.32/964.44	c cleaning 17004 clauses out of 34020 with flag 2350000/5057202
1740.11/967.78	c cleaning 16990 clauses out of 34016 with flag 2367000/5074202
1746.35/971.45	c cleaning 17007 clauses out of 34026 with flag 2384000/5091202
1752.53/974.95	c cleaning 17001 clauses out of 34019 with flag 2401000/5108202
1758.50/978.37	c cleaning 16997 clauses out of 34018 with flag 2418000/5125202
1764.68/981.87	c cleaning 16998 clauses out of 34021 with flag 2435000/5142202
1771.20/985.64	c cleaning 17010 clauses out of 34024 with flag 2452001/5159203
1777.22/989.03	c cleaning 16993 clauses out of 34013 with flag 2469000/5176202
1783.21/992.46	c cleaning 16996 clauses out of 34020 with flag 2486000/5193202
1788.78/995.63	c cleaning 16996 clauses out of 34024 with flag 2503000/5210202
1794.80/999.20	c cleaning 17005 clauses out of 34028 with flag 2520000/5227202
1800.19/1002.32	c starts		: 325
1800.19/1002.32	c conflicts		: 5243586
1800.19/1002.32	c decisions		: 6012378
1800.19/1002.32	c propagations		: 30472980
1800.19/1002.32	c inspects		: 3213920274
1800.19/1002.32	c shortcuts		: 0
1800.19/1002.32	c learnt literals	: 0
1800.19/1002.32	c learnt binary clauses	: 0
1800.19/1002.32	c learnt ternary clauses	: 0
1800.19/1002.32	c learnt constraints	: 5243586
1800.19/1002.32	c ignored constraints	: 0
1800.19/1002.32	c root simplifications	: 0
1800.19/1002.32	c removed literals (reason simplification)	: 61227352
1800.19/1002.32	c reason swapping (by a shorter reason)	: 0
1800.19/1002.32	c Calls to reduceDB	: 328
1800.19/1002.32	c number of reductions to clauses (during analyze)	: 0
1800.19/1002.32	c number of learned constraints concerned by reduction	: 0
1800.19/1002.32	c number of learning phase by resolution	: 0
1800.19/1002.32	c number of learning phase by cutting planes	: 0
1800.19/1002.32	c speed (assignments/second)	: 59449.85690122381
1800.19/1002.32	c non guided choices	0
1800.19/1002.34	c learnt constraints type 
1800.19/1002.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 33461
1800.19/1002.34	c constraints type 
1800.19/1002.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7835
1800.19/1002.34	c org.sat4j.minisat.constraints.cnf.UnitClauses => 500
1800.19/1002.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.19/1002.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7835
1800.19/1002.34	c constraints type 
1800.19/1002.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7835
1800.19/1002.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.19/1002.34	c org.sat4j.pb.constraints.pb.UnitClausesPB => 500
1800.19/1002.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7835
1800.19/1002.34	s SATISFIABLE
1800.19/1002.34	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 x222 -x223 x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 -x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 -x382 -x383 x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 x482 x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 x500 
1800.19/1002.34	c objective function=-65
1800.19/1002.34	c Total wall clock time (in seconds): 1002.231

Verifier Data 

OK	-65

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.79 2.63 3.00 2/465 27508
/proc/meminfo: memFree=31757368/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 5782 0 1 0 0 0 0 0 22 0 2 0 831092804 10694979584 5484 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2611079 5497 917 9 0 2602235 0
[pid=27508/tid=27509] ppid=27506 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) R 27506 27508 23433 0 -1 4202560 6125 0 1 0 0 0 0 0 24 0 2 0 831092804 10694979584 6942 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271550231611 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0753121 s]
/proc/loadavg: 1.79 2.63 3.00 2/465 27508
/proc/meminfo: memFree=31757368/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 11960 0 1 0 5 1 0 0 22 0 18 0 831092804 10724442112 11657 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2618272 11657 1755 9 0 2609006 0
[pid=27508/tid=27509] ppid=27506 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) R 27506 27508 23433 0 -1 4202560 10785 0 1 0 5 1 0 0 25 0 18 0 831092804 10724442112 11657 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 46912505216356 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.100315 s]
/proc/loadavg: 1.79 2.63 3.00 2/465 27508
/proc/meminfo: memFree=31757368/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10540296 CPUtime=0.11 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 13115 0 1 0 9 2 0 0 22 0 18 0 831092804 10793263104 12812 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2635074 12812 2093 9 0 2625808 0
[pid=27508/tid=27509] ppid=27506 vsize=10540296 CPUtime=0.08 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) R 27506 27508 23433 0 -1 4202560 11215 0 1 0 7 1 0 0 25 0 18 0 831092804 10793263104 12812 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 47729892544279 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540296

[startup+0.300285 s]
/proc/loadavg: 1.79 2.63 3.00 2/465 27508
/proc/meminfo: memFree=31757368/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10541404 CPUtime=0.47 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 15757 0 1 0 45 2 0 0 22 0 18 0 831092804 10794397696 15066 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2635351 15067 2208 9 0 2626085 0
[pid=27508/tid=27509] ppid=27506 vsize=10541404 CPUtime=0.28 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) R 27506 27508 23433 0 -1 4202560 12922 0 1 0 26 2 0 0 25 0 18 0 831092804 10794397696 15067 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541404

[startup+0.700168 s]
/proc/loadavg: 1.79 2.63 3.00 2/465 27508
/proc/meminfo: memFree=31757368/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10557220 CPUtime=1.6 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 36029 0 1 0 154 6 0 0 22 0 20 0 831092804 10810593280 30099 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2639305 30099 2232 9 0 2630039 0
[pid=27508/tid=27509] ppid=27506 vsize=10557220 CPUtime=0.67 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) S 27506 27508 23433 0 -1 4202560 21028 0 1 0 64 3 0 0 25 0 20 0 831092804 10810593280 30099 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10557220

[startup+1.50102 s]
/proc/loadavg: 1.79 2.63 3.00 1/490 27542
/proc/meminfo: memFree=31628096/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10559276 CPUtime=3.35 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 41433 0 1 0 328 7 0 0 22 0 22 0 831092804 10812698624 34961 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2639819 34962 2245 9 0 2630553 0
[pid=27508/tid=27509] ppid=27506 vsize=10559276 CPUtime=0.68 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) S 27506 27508 23433 0 -1 4202560 21083 0 1 0 65 3 0 0 21 0 22 0 831092804 10812698624 34963 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27513] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27513/stat : 27513 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 34963 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27514] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27514/stat : 27514 (java) S 27506 27508 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 34963 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27515] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27515/stat : 27515 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 34963 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27516] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27516/stat : 27516 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 34964 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27517] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27517/stat : 27517 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 34964 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27518] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27518/stat : 27518 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 34964 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27519] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27519/stat : 27519 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 34964 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27520] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27520/stat : 27520 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 34966 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27524] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27524/stat : 27524 (java) S 27506 27508 23433 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 831092807 10812698624 34970 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 0 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27525] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27525/stat : 27525 (java) S 27506 27508 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831092807 10812698624 34973 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27526] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27526/stat : 27526 (java) S 27506 27508 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831092807 10812698624 34973 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27527] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27527/stat : 27527 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 34974 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562361265 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27528] ppid=27506 vsize=10559276 CPUtime=0.94 cores=1,3,5,7
/proc/27508/task/27528/stat : 27528 (java) S 27506 27508 23433 0 -1 4202560 7925 0 0 0 93 1 0 0 24 0 22 0 831092809 10812698624 34974 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 5 0 0 0
[pid=27508/tid=27529] ppid=27506 vsize=10559276 CPUtime=0.97 cores=1,3,5,7
/proc/27508/task/27529/stat : 27529 (java) S 27506 27508 23433 0 -1 4202560 6596 0 0 0 96 1 0 0 24 0 22 0 831092809 10812698624 34975 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27530] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27530/stat : 27530 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 34975 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27531] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27531/stat : 27531 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831092809 10812698624 34976 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 5 0 0 0
[pid=27508/tid=27541] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27541/stat : 27541 (java) S 27506 27508 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831092882 10812698624 34976 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 10559276

[startup+3.10078 s]
/proc/loadavg: 1.79 2.63 3.00 4/492 27554
/proc/meminfo: memFree=31502096/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10559276 CPUtime=4.67 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 67826 0 1 0 458 9 0 0 22 0 22 0 831092804 10812698624 61353 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2639819 61353 2247 9 0 2630553 0
[pid=27508/tid=27509] ppid=27506 vsize=10559276 CPUtime=0.7 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) S 27506 27508 23433 0 -1 4202560 21221 0 1 0 67 3 0 0 16 0 22 0 831092804 10812698624 61354 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27513] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27513/stat : 27513 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 61355 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27514] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27514/stat : 27514 (java) S 27506 27508 23433 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 61356 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27515] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27515/stat : 27515 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 61356 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27516] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27516/stat : 27516 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 61357 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27517] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27517/stat : 27517 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 61357 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27518] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27518/stat : 27518 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 61358 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27519] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27519/stat : 27519 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 61359 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27520] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27520/stat : 27520 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092806 10812698624 61360 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27524] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27524/stat : 27524 (java) S 27506 27508 23433 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831092807 10812698624 61360 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 0 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27525] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27525/stat : 27525 (java) S 27506 27508 23433 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831092807 10812698624 61361 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27526] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27526/stat : 27526 (java) S 27506 27508 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831092807 10812698624 61361 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27527] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27527/stat : 27527 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 61361 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562361265 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27528] ppid=27506 vsize=10559276 CPUtime=1.05 cores=1,3,5,7
/proc/27508/task/27528/stat : 27528 (java) S 27506 27508 23433 0 -1 4202560 7942 0 0 0 104 1 0 0 15 0 22 0 831092809 10812698624 61362 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27529] ppid=27506 vsize=10559276 CPUtime=1.13 cores=1,3,5,7
/proc/27508/task/27529/stat : 27529 (java) S 27506 27508 23433 0 -1 4202560 6684 0 0 0 112 1 0 0 15 0 22 0 831092809 10812698624 61362 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27530] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27530/stat : 27530 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 61363 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27531] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27531/stat : 27531 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831092809 10812698624 61363 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 5 0 0 0
[pid=27508/tid=27541] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27541/stat : 27541 (java) S 27506 27508 23433 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831092882 10812698624 61363 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 10559276

[startup+6.30115 s]
/proc/loadavg: 1.72 2.60 2.99 5/496 27574
/proc/meminfo: memFree=30735712/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10559276 CPUtime=10.47 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 154509 0 1 0 1027 20 0 0 22 0 22 0 831092804 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2639819 148011 2272 9 0 2630553 0
[pid=27508/tid=27509] ppid=27506 vsize=10559276 CPUtime=0.71 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) S 27506 27508 23433 0 -1 4202560 21268 0 1 0 67 4 0 0 15 0 22 0 831092804 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27513] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27513/stat : 27513 (java) S 27506 27508 23433 0 -1 4202560 1082 0 0 0 0 0 0 0 15 0 22 0 831092806 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27514] ppid=27506 vsize=10559276 CPUtime=0.01 cores=1,3,5,7
/proc/27508/task/27514/stat : 27514 (java) S 27506 27508 23433 0 -1 4202560 980 0 0 0 1 0 0 0 16 0 22 0 831092806 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27515] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27515/stat : 27515 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831092806 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27516] ppid=27506 vsize=10559276 CPUtime=0.01 cores=1,3,5,7
/proc/27508/task/27516/stat : 27516 (java) S 27506 27508 23433 0 -1 4202560 1918 0 0 0 1 0 0 0 15 0 22 0 831092806 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27517] ppid=27506 vsize=10559276 CPUtime=0.03 cores=1,3,5,7
/proc/27508/task/27517/stat : 27517 (java) S 27506 27508 23433 0 -1 4202560 2675 0 0 0 3 0 0 0 16 0 22 0 831092806 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27518] ppid=27506 vsize=10559276 CPUtime=0.01 cores=1,3,5,7
/proc/27508/task/27518/stat : 27518 (java) S 27506 27508 23433 0 -1 4202560 1495 0 0 0 1 0 0 0 15 0 22 0 831092806 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27519] ppid=27506 vsize=10559276 CPUtime=0.01 cores=1,3,5,7
/proc/27508/task/27519/stat : 27519 (java) S 27506 27508 23433 0 -1 4202560 81 0 0 0 1 0 0 0 16 0 22 0 831092806 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27520] ppid=27506 vsize=10559276 CPUtime=0.02 cores=1,3,5,7
/proc/27508/task/27520/stat : 27520 (java) S 27506 27508 23433 0 -1 4202560 3317 0 0 0 2 0 0 0 16 0 22 0 831092806 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27524] ppid=27506 vsize=10559276 CPUtime=0.36 cores=1,3,5,7
/proc/27508/task/27524/stat : 27524 (java) S 27506 27508 23433 0 -1 4202560 11396 0 0 0 35 1 0 0 16 0 22 0 831092807 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 0 0 16800975 18446604458682164224 0 0 -1 5 0 0 0
[pid=27508/tid=27525] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27525/stat : 27525 (java) S 27506 27508 23433 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831092807 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27526] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27526/stat : 27526 (java) S 27506 27508 23433 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831092807 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27527] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27527/stat : 27527 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562361265 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27528] ppid=27506 vsize=10559276 CPUtime=1.15 cores=1,3,5,7
/proc/27508/task/27528/stat : 27528 (java) S 27506 27508 23433 0 -1 4202560 7953 0 0 0 114 1 0 0 15 0 22 0 831092809 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27529] ppid=27506 vsize=10559276 CPUtime=1.35 cores=1,3,5,7
/proc/27508/task/27529/stat : 27529 (java) S 27506 27508 23433 0 -1 4202560 6699 0 0 0 134 1 0 0 15 0 22 0 831092809 10812698624 148011 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0

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

[pid=27508/tid=27603] ppid=27506 vsize=10559276 CPUtime=343.03 cores=1,3,5,7
/proc/27508/task/27603/stat : 27603 (java) R 27506 27508 23433 0 -1 4202560 1 0 0 0 34303 0 0 0 19 0 22 0 831141778 10812698624 304359 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 46912506303519 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27508/tid=27604] ppid=27506 vsize=10559276 CPUtime=343.05 cores=1,3,5,7
/proc/27508/task/27604/stat : 27604 (java) R 27506 27508 23433 0 -1 4202560 0 0 0 0 34305 0 0 0 18 0 22 0 831141778 10812698624 304359 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 46912506355560 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27508/tid=27605] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27605/stat : 27605 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831141778 10812698624 304359 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1695.3
Current children cumulated vsize (KiB) 10559276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1002.3 s]
/proc/loadavg: 1.86 2.84 3.09 3/469 27637
/proc/meminfo: memFree=30569708/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10559276 CPUtime=1800.19 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 314478 0 1 0 179974 45 0 0 22 0 22 0 831092804 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2639819 307521 2273 9 0 2630553 0
[pid=27508/tid=27509] ppid=27506 vsize=10559276 CPUtime=0.73 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) S 27506 27508 23433 0 -1 4202560 21516 0 1 0 69 4 0 0 15 0 22 0 831092804 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27513] ppid=27506 vsize=10559276 CPUtime=2.14 cores=1,3,5,7
/proc/27508/task/27513/stat : 27513 (java) S 27506 27508 23433 0 -1 4202560 2117 0 0 0 214 0 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27514] ppid=27506 vsize=10559276 CPUtime=2.04 cores=1,3,5,7
/proc/27508/task/27514/stat : 27514 (java) S 27506 27508 23433 0 -1 4202560 1995 0 0 0 204 0 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27515] ppid=27506 vsize=10559276 CPUtime=2.04 cores=1,3,5,7
/proc/27508/task/27515/stat : 27515 (java) S 27506 27508 23433 0 -1 4202560 944 0 0 0 204 0 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27516] ppid=27506 vsize=10559276 CPUtime=2.09 cores=1,3,5,7
/proc/27508/task/27516/stat : 27516 (java) S 27506 27508 23433 0 -1 4202560 3313 0 0 0 208 1 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27517] ppid=27506 vsize=10559276 CPUtime=2.07 cores=1,3,5,7
/proc/27508/task/27517/stat : 27517 (java) S 27506 27508 23433 0 -1 4202560 2890 0 0 0 207 0 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27518] ppid=27506 vsize=10559276 CPUtime=2.18 cores=1,3,5,7
/proc/27508/task/27518/stat : 27518 (java) S 27506 27508 23433 0 -1 4202560 1704 0 0 0 218 0 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27519] ppid=27506 vsize=10559276 CPUtime=2.04 cores=1,3,5,7
/proc/27508/task/27519/stat : 27519 (java) S 27506 27508 23433 0 -1 4202560 383 0 0 0 204 0 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27520] ppid=27506 vsize=10559276 CPUtime=2.21 cores=1,3,5,7
/proc/27508/task/27520/stat : 27520 (java) S 27506 27508 23433 0 -1 4202560 3742 0 0 0 220 1 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27524] ppid=27506 vsize=10559276 CPUtime=204.52 cores=1,3,5,7
/proc/27508/task/27524/stat : 27524 (java) S 27506 27508 23433 0 -1 4202560 113152 0 0 0 20439 13 0 0 15 0 22 0 831092807 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 0 0 16800975 18446604458682164224 0 0 -1 5 0 0 0
[pid=27508/tid=27525] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27525/stat : 27525 (java) S 27506 27508 23433 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831092807 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27526] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27526/stat : 27526 (java) S 27506 27508 23433 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 831092807 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27527] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27527/stat : 27527 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562361265 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27528] ppid=27506 vsize=10559276 CPUtime=1.19 cores=1,3,5,7
/proc/27508/task/27528/stat : 27528 (java) S 27506 27508 23433 0 -1 4202560 7958 0 0 0 118 1 0 0 16 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27529] ppid=27506 vsize=10559276 CPUtime=1.59 cores=1,3,5,7
/proc/27508/task/27529/stat : 27529 (java) S 27506 27508 23433 0 -1 4202560 6722 0 0 0 158 1 0 0 15 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27530] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27530/stat : 27530 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27531] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27531/stat : 27531 (java) S 27506 27508 23433 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27574] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27574/stat : 27574 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831093290 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 5 0 0 0
[pid=27508/tid=27603] ppid=27506 vsize=10559276 CPUtime=387.19 cores=1,3,5,7
/proc/27508/task/27603/stat : 27603 (java) R 27506 27508 23433 0 -1 4202560 1 0 0 0 38719 0 0 0 21 0 22 0 831141778 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 46912506303264 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27508/tid=27604] ppid=27506 vsize=10559276 CPUtime=387.21 cores=1,3,5,7
/proc/27508/task/27604/stat : 27604 (java) R 27506 27508 23433 0 -1 4202560 0 0 0 0 38721 0 0 0 21 0 22 0 831141778 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 46912506355685 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27508/tid=27605] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27605/stat : 27605 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831141778 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10559276

Sending SIGTERM to process tree (bottom up)

[startup+1002.3 s]
/proc/loadavg: 1.86 2.84 3.09 3/469 27637
/proc/meminfo: memFree=30569708/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10559276 CPUtime=1800.19 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 314478 0 1 0 179974 45 0 0 22 0 22 0 831092804 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2639819 307521 2273 9 0 2630553 0
[pid=27508/tid=27509] ppid=27506 vsize=10559276 CPUtime=0.73 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) S 27506 27508 23433 0 -1 4202560 21516 0 1 0 69 4 0 0 15 0 22 0 831092804 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27513] ppid=27506 vsize=10559276 CPUtime=2.14 cores=1,3,5,7
/proc/27508/task/27513/stat : 27513 (java) S 27506 27508 23433 0 -1 4202560 2117 0 0 0 214 0 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27514] ppid=27506 vsize=10559276 CPUtime=2.04 cores=1,3,5,7
/proc/27508/task/27514/stat : 27514 (java) S 27506 27508 23433 0 -1 4202560 1995 0 0 0 204 0 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27515] ppid=27506 vsize=10559276 CPUtime=2.04 cores=1,3,5,7
/proc/27508/task/27515/stat : 27515 (java) S 27506 27508 23433 0 -1 4202560 944 0 0 0 204 0 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27516] ppid=27506 vsize=10559276 CPUtime=2.09 cores=1,3,5,7
/proc/27508/task/27516/stat : 27516 (java) S 27506 27508 23433 0 -1 4202560 3313 0 0 0 208 1 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27517] ppid=27506 vsize=10559276 CPUtime=2.07 cores=1,3,5,7
/proc/27508/task/27517/stat : 27517 (java) S 27506 27508 23433 0 -1 4202560 2890 0 0 0 207 0 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27518] ppid=27506 vsize=10559276 CPUtime=2.18 cores=1,3,5,7
/proc/27508/task/27518/stat : 27518 (java) S 27506 27508 23433 0 -1 4202560 1704 0 0 0 218 0 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27519] ppid=27506 vsize=10559276 CPUtime=2.04 cores=1,3,5,7
/proc/27508/task/27519/stat : 27519 (java) S 27506 27508 23433 0 -1 4202560 383 0 0 0 204 0 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27520] ppid=27506 vsize=10559276 CPUtime=2.21 cores=1,3,5,7
/proc/27508/task/27520/stat : 27520 (java) S 27506 27508 23433 0 -1 4202560 3742 0 0 0 220 1 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27524] ppid=27506 vsize=10559276 CPUtime=204.52 cores=1,3,5,7
/proc/27508/task/27524/stat : 27524 (java) S 27506 27508 23433 0 -1 4202560 113152 0 0 0 20439 13 0 0 15 0 22 0 831092807 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 0 0 16800975 18446604458682164224 0 0 -1 5 0 0 0
[pid=27508/tid=27525] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27525/stat : 27525 (java) S 27506 27508 23433 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831092807 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27526] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27526/stat : 27526 (java) S 27506 27508 23433 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 831092807 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27527] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27527/stat : 27527 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562361265 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27528] ppid=27506 vsize=10559276 CPUtime=1.19 cores=1,3,5,7
/proc/27508/task/27528/stat : 27528 (java) S 27506 27508 23433 0 -1 4202560 7958 0 0 0 118 1 0 0 16 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27529] ppid=27506 vsize=10559276 CPUtime=1.59 cores=1,3,5,7
/proc/27508/task/27529/stat : 27529 (java) S 27506 27508 23433 0 -1 4202560 6722 0 0 0 158 1 0 0 15 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27530] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27530/stat : 27530 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27531] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27531/stat : 27531 (java) S 27506 27508 23433 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27574] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27574/stat : 27574 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831093290 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 5 0 0 0
[pid=27508/tid=27603] ppid=27506 vsize=10559276 CPUtime=387.19 cores=1,3,5,7
/proc/27508/task/27603/stat : 27603 (java) R 27506 27508 23433 0 -1 4202560 1 0 0 0 38719 0 0 0 21 0 22 0 831141778 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 46912506303264 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27508/tid=27604] ppid=27506 vsize=10559276 CPUtime=387.21 cores=1,3,5,7
/proc/27508/task/27604/stat : 27604 (java) R 27506 27508 23433 0 -1 4202560 0 0 0 0 38721 0 0 0 21 0 22 0 831141778 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 46912506355685 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27508/tid=27605] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27605/stat : 27605 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831141778 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10559276
Sleeping 2 seconds

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

[startup+1002.3 s]
/proc/loadavg: 1.86 2.84 3.09 3/469 27637
/proc/meminfo: memFree=30569708/32951124 swapFree=55639044/67111528
[pid=27508] ppid=27506 vsize=10559276 CPUtime=1800.19 cores=1,3,5,7
/proc/27508/stat : 27508 (java) S 27506 27508 23433 0 -1 4202496 314478 0 1 0 179974 45 0 0 22 0 22 0 831092804 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562340325 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27508/statm: 2639819 307521 2273 9 0 2630553 0
[pid=27508/tid=27509] ppid=27506 vsize=10559276 CPUtime=0.73 cores=1,3,5,7
/proc/27508/task/27509/stat : 27509 (java) S 27506 27508 23433 0 -1 4202560 21516 0 1 0 69 4 0 0 15 0 22 0 831092804 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27513] ppid=27506 vsize=10559276 CPUtime=2.14 cores=1,3,5,7
/proc/27508/task/27513/stat : 27513 (java) S 27506 27508 23433 0 -1 4202560 2117 0 0 0 214 0 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27514] ppid=27506 vsize=10559276 CPUtime=2.04 cores=1,3,5,7
/proc/27508/task/27514/stat : 27514 (java) S 27506 27508 23433 0 -1 4202560 1995 0 0 0 204 0 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27515] ppid=27506 vsize=10559276 CPUtime=2.04 cores=1,3,5,7
/proc/27508/task/27515/stat : 27515 (java) S 27506 27508 23433 0 -1 4202560 944 0 0 0 204 0 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27516] ppid=27506 vsize=10559276 CPUtime=2.09 cores=1,3,5,7
/proc/27508/task/27516/stat : 27516 (java) S 27506 27508 23433 0 -1 4202560 3313 0 0 0 208 1 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27517] ppid=27506 vsize=10559276 CPUtime=2.07 cores=1,3,5,7
/proc/27508/task/27517/stat : 27517 (java) S 27506 27508 23433 0 -1 4202560 2890 0 0 0 207 0 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27518] ppid=27506 vsize=10559276 CPUtime=2.18 cores=1,3,5,7
/proc/27508/task/27518/stat : 27518 (java) S 27506 27508 23433 0 -1 4202560 1704 0 0 0 218 0 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27519] ppid=27506 vsize=10559276 CPUtime=2.04 cores=1,3,5,7
/proc/27508/task/27519/stat : 27519 (java) S 27506 27508 23433 0 -1 4202560 383 0 0 0 204 0 0 0 15 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 1 0 0 0
[pid=27508/tid=27520] ppid=27506 vsize=10559276 CPUtime=2.21 cores=1,3,5,7
/proc/27508/task/27520/stat : 27520 (java) S 27506 27508 23433 0 -1 4202560 3742 0 0 0 220 1 0 0 16 0 22 0 831092806 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27524] ppid=27506 vsize=10559276 CPUtime=204.52 cores=1,3,5,7
/proc/27508/task/27524/stat : 27524 (java) S 27506 27508 23433 0 -1 4202560 113152 0 0 0 20439 13 0 0 15 0 22 0 831092807 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 0 0 16800975 18446604458682164224 0 0 -1 5 0 0 0
[pid=27508/tid=27525] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27525/stat : 27525 (java) S 27506 27508 23433 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831092807 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27526] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27526/stat : 27526 (java) S 27506 27508 23433 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 831092807 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27527] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27527/stat : 27527 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562361265 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27528] ppid=27506 vsize=10559276 CPUtime=1.19 cores=1,3,5,7
/proc/27508/task/27528/stat : 27528 (java) S 27506 27508 23433 0 -1 4202560 7958 0 0 0 118 1 0 0 16 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
[pid=27508/tid=27529] ppid=27506 vsize=10559276 CPUtime=1.59 cores=1,3,5,7
/proc/27508/task/27529/stat : 27529 (java) S 27506 27508 23433 0 -1 4202560 6722 0 0 0 158 1 0 0 15 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27530] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27530/stat : 27530 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562353561 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27531] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27531/stat : 27531 (java) S 27506 27508 23433 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 831092809 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 3 0 0 0
[pid=27508/tid=27574] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27574/stat : 27574 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831093290 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 5 0 0 0
[pid=27508/tid=27603] ppid=27506 vsize=10559276 CPUtime=387.19 cores=1,3,5,7
/proc/27508/task/27603/stat : 27603 (java) R 27506 27508 23433 0 -1 4202560 1 0 0 0 38719 0 0 0 21 0 22 0 831141778 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 46912506303264 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27508/tid=27604] ppid=27506 vsize=10559276 CPUtime=387.21 cores=1,3,5,7
/proc/27508/task/27604/stat : 27604 (java) R 27506 27508 23433 0 -1 4202560 0 0 0 0 38721 0 0 0 21 0 22 0 831141778 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 46912506355685 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27508/tid=27605] ppid=27506 vsize=10559276 CPUtime=0 cores=1,3,5,7
/proc/27508/task/27605/stat : 27605 (java) S 27506 27508 23433 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831141778 10812698624 307521 33554432000 1073741824 1073778376 140735301629328 18446744073709551615 271562354176 0 4 0 16800975 18446604458682164224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 10559276

Child status: 143
Real time (s): 1002.4
CPU time (s): 1800.33
CPU user time (s): 1799.83
CPU system time (s): 0.504923
CPU usage (%): 179.602
Max. virtual memory (cumulated for all children) (KiB): 10559276

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

runsolver used 4.49132 second user time and 11.0473 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-04 15:42:29
IDJOB=3454015
IDBENCH=48219
IDSOLVER=1950
FILE ID=node133/3454015-1307194949
RUNJOBID= node133-1307194949-27477
PBS_JOBID= 13508830
Free space on /tmp= 73980 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_2.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454015-1307194949/watcher-3454015-1307194949 -o /tmp/evaluation-result-3454015-1307194949/solver-3454015-1307194949 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454015-1307194949.opb

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

MD5SUM BENCH= e40e55fe30ea19a1cae02f7f820bc9fe
RANDOM SEED=1625916552

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31757788 kB
Buffers:        329276 kB
Cached:         530020 kB
SwapCached:      10584 kB
Active:         433104 kB
Inactive:       484772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31757788 kB
SwapTotal:    67111528 kB
SwapFree:     55639044 kB
Dirty:            1056 kB
Writeback:           0 kB
AnonPages:       55720 kB
Mapped:          18232 kB
Slab:           152668 kB
PageTables:      53972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 125228116 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73980 MiB
End job on node133 at 2011-06-04 15:59:14