Trace number 3741116

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.39 1781.93

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-31.opb
MD5SUM1231d9e508dc821e38b22e6db3fd2b2f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark203.957
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9310
Total number of constraints199239
Number of constraints which are clauses178407
Number of constraints which are cardinality constraints (but not clauses)730
Number of constraints which are nor clauses,nor cardinality constraints20102
Minimum length of a constraint1
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.08	c no version file found!!!
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version	1.6.0_24
0.03/0.08	c os.name	Linux
0.03/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.03/0.08	c os.arch	amd64
0.03/0.08	c Free memory 1599470296
0.03/0.08	c Max memory 1607860224
0.03/0.08	c Total memory 1607860224
0.03/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3741116-1338740489.opb
0.09/0.10	c reading problem ... 
2.68/1.77	c ... done. Wall clock time 1.675s.
2.68/1.77	c CPU time (experimental) 1.71s.
2.68/1.77	c #vars     9310
2.68/1.77	c #constraints  196933
1251.44/1241.24	c cleaning 451863 clauses out of 903991 for limit 6957922.791609672
1274.04/1263.72	c cleaning 231695 clauses out of 463628 for limit 1.3469747563707996E12
1275.74/1265.43	c cleaning 116103 clauses out of 232434 for limit 4.435267885465221E12
1284.86/1274.41	c cleaning 63577 clauses out of 127330 for limit 0.004869493330712064
1286.36/1275.84	c cleaning 33853 clauses out of 67754 for limit 0.5011424392015097
1297.04/1286.43	c cleaning 30811 clauses out of 61901 for limit 8.045038554941094E11
1297.23/1286.63	c cleaning 15664 clauses out of 31591 for limit 2.60227278620703E12
1297.34/1286.75	c cleaning 8089 clauses out of 16426 for limit 8.245286491948519E12
1300.30/1289.64	c cleaning 10311 clauses out of 20837 for limit 0.017550906488049228
1300.40/1289.75	c cleaning 5408 clauses out of 11025 for limit 0.05464840880149433
1300.50/1289.83	c cleaning 2945 clauses out of 6118 for limit 0.16256874212201228
1300.60/1289.90	c cleaning 1687 clauses out of 3673 for limit 0.4465617043694328
1300.60/1289.99	c cleaning 1107 clauses out of 2485 for limit 1.0874201774161278
1305.38/1294.70	c cleaning 10015 clauses out of 20378 for limit 2.3893838762294747E7
1305.57/1294.81	c cleaning 5308 clauses out of 10863 for limit 7.391857638026486E7
1305.67/1294.90	c cleaning 2883 clauses out of 6055 for limit 2.1869815194439557E8
1305.67/1294.94	c cleaning 1688 clauses out of 3673 for limit 5.951531424838487E8
1308.85/1298.04	c cleaning 7738 clauses out of 15484 for limit 1.0357165934520161E14
1312.85/1301.95	c cleaning 10216 clauses out of 20746 for limit 0.34422529877008834
1320.06/1309.04	c cleaning 14328 clauses out of 29031 for limit 2.690403965569106E7
1323.01/1311.97	c cleaning 10795 clauses out of 22202 for limit 6.378097960728192E10
1323.21/1312.16	c cleaning 5672 clauses out of 11907 for limit 1.961267433246067E11
1323.32/1312.30	c cleaning 3357 clauses out of 6736 for limit 5.723049350199404E11
1325.09/1313.92	c cleaning 3391 clauses out of 6879 for limit 1.8590688283990348E13
1328.86/1317.61	c cleaning 7671 clauses out of 15987 for limit 0.02157826224749935
1328.96/1317.76	c cleaning 4112 clauses out of 8816 for limit 0.06453090374497879
1329.06/1317.88	c cleaning 2302 clauses out of 5205 for limit 0.18043010166053008
1329.16/1317.98	c cleaning 1370 clauses out of 3402 for limit 0.45479616470136824
1332.04/1320.78	c cleaning 6888 clauses out of 14032 for limit 18053.974099991305
1333.60/1322.28	c cleaning 6361 clauses out of 13146 for limit 7813370.721971579
1333.69/1322.39	c cleaning 3311 clauses out of 7283 for limit 2.3211788903288674E7
1333.79/1322.46	c cleaning 1921 clauses out of 4472 for limit 6.2340892330571786E7
1333.89/1322.55	c cleaning 1511 clauses out of 3051 for limit 1.5069140724767548E8
1336.25/1324.83	c cleaning 6189 clauses out of 12543 for limit 2.213412322871878E12
1336.45/1325.01	c cleaning 3190 clauses out of 6851 for limit 6.662882122314289E12
1339.78/1328.22	c cleaning 8217 clauses out of 16662 for limit 0.012211711660824133
1339.88/1328.32	c cleaning 4454 clauses out of 8944 for limit 0.03747945405857448
1339.88/1328.40	c cleaning 2477 clauses out of 4990 for limit 0.11078485358789962
1341.96/1330.31	c cleaning 5351 clauses out of 11013 for limit 247.75668050722882
1343.46/1331.73	c cleaning 4596 clauses out of 9662 for limit 15449.38072414496
1344.73/1332.97	c cleaning 4038 clauses out of 8566 for limit 578084.3974962536
1346.30/1334.47	c cleaning 5073 clauses out of 10529 for limit 1.9049665238196233E8
1346.50/1334.61	c cleaning 2793 clauses out of 5955 for limit 5.548991803067566E8
1346.50/1334.69	c cleaning 1830 clauses out of 3662 for limit 1.4881043840243442E9
1349.30/1337.34	c cleaning 6327 clauses out of 12832 for limit 2.5567419625424973E13
1349.40/1337.42	c cleaning 3269 clauses out of 7005 for limit 7.723764040324498E13
1351.10/1339.06	c cleaning 4862 clauses out of 10236 for limit 3.527226845425685E-4
1353.51/1341.30	c cleaning 6684 clauses out of 13875 for limit 1.2856278374601255
1353.61/1341.43	c cleaning 3618 clauses out of 7692 for limit 3.8282419905725513
1353.71/1341.54	c cleaning 2055 clauses out of 4573 for limit 10.608618502471028
1356.91/1344.60	c cleaning 6228 clauses out of 13021 for limit 136424.65273513694
1357.01/1344.77	c cleaning 3364 clauses out of 7291 for limit 400993.15673109517
1357.21/1344.90	c cleaning 1926 clauses out of 4427 for limit 1089106.6864812756
1357.21/1345.00	c cleaning 1215 clauses out of 3002 for limit 2651304.7947554174
1357.41/1345.10	c cleaning 1135 clauses out of 2285 for limit 5732855.617726931
1362.40/1350.01	c cleaning 8794 clauses out of 18149 for limit 1.7565889824478527E13
1362.50/1350.13	c cleaning 4617 clauses out of 9857 for limit 5.344449885980473E13
1362.60/1350.25	c cleaning 2538 clauses out of 5739 for limit 1.5122824637559466E14
1362.70/1350.33	c cleaning 1789 clauses out of 3700 for limit 3.8644597836428875E14
1368.17/1355.75	c cleaning 11687 clauses out of 23911 for limit 2167.4635617436797
1368.27/1355.87	c cleaning 6117 clauses out of 12725 for limit 6723.294767271696
1368.37/1355.97	c cleaning 3293 clauses out of 7108 for limit 19849.44696551223
1368.47/1356.06	c cleaning 1882 clauses out of 4316 for limit 53964.08194498662
1368.57/1356.15	c cleaning 1185 clauses out of 2932 for limit 130740.19446269711
1375.59/1363.09	c cleaning 12846 clauses out of 25748 for limit 3.995275023689876E-6
1375.79/1363.22	c cleaning 6690 clauses out of 13401 for limit 1.2646616492322971E-5
1375.89/1363.32	c cleaning 3363 clauses out of 7212 for limit 3.879236315120572E-5
1376.01/1363.41	c cleaning 1957 clauses out of 4348 for limit 1.0600681704579437E-4
1376.01/1363.49	c cleaning 1181 clauses out of 2895 for limit 2.636141365956244E-4
1376.11/1363.57	c cleaning 831 clauses out of 2211 for limit 5.675196107225447E-4
1376.21/1363.65	c cleaning 661 clauses out of 1880 for limit 0.0011006966724719277
1376.31/1363.73	c cleaning 586 clauses out of 1718 for limit 0.0019843748701822168
1376.41/1363.81	c cleaning 540 clauses out of 1633 for limit 0.003446284224955175
1376.41/1363.89	c cleaning 531 clauses out of 1593 for limit 0.005826092667304663
1379.61/1366.95	c cleaning 7287 clauses out of 15061 for limit 745.5378206057228
1379.71/1367.06	c cleaning 3890 clauses out of 8274 for limit 2238.0194614951633
1379.81/1367.16	c cleaning 2201 clauses out of 4884 for limit 6252.5850383083325
1379.91/1367.24	c cleaning 1331 clauses out of 3183 for limit 15821.749737609993
1380.01/1367.32	c cleaning 903 clauses out of 2353 for limit 35331.300288600156
1380.01/1367.39	c cleaning 697 clauses out of 1949 for limit 70273.41908833764
1380.11/1367.46	c cleaning 598 clauses out of 1752 for limit 128921.30961732668
1383.60/1370.85	c cleaning 7772 clauses out of 15654 for limit 2.8817360809058285E10
1383.70/1370.97	c cleaning 3936 clauses out of 8383 for limit 8.883220989298953E10
1383.80/1371.06	c cleaning 2188 clauses out of 4946 for limit 2.4804883727268814E11
1383.90/1371.14	c cleaning 1330 clauses out of 3258 for limit 6.210064553547887E11
1384.00/1371.22	c cleaning 911 clauses out of 2428 for limit 1.3742140968263823E12
1384.10/1371.31	c cleaning 696 clauses out of 2017 for limit 2.7280546773166387E12
1388.38/1375.51	c cleaning 8402 clauses out of 17323 for limit 0.028509740947073987
1388.48/1375.65	c cleaning 4469 clauses out of 9419 for limit 0.08629754540284672
1388.58/1375.73	c cleaning 2480 clauses out of 5450 for limit 0.24595894678874325
1388.68/1375.81	c cleaning 1474 clauses out of 3473 for limit 0.6384307049716178
1388.78/1375.91	c cleaning 975 clauses out of 2498 for limit 1.4623370736324806
1388.78/1376.00	c cleaning 744 clauses out of 2021 for limit 2.974818505792225
1388.88/1376.08	c cleaning 610 clauses out of 1777 for limit 5.579499554071826
1393.55/1380.60	c cleaning 9057 clauses out of 18667 for limit 2.1338515016404446E7
1393.65/1380.73	c cleaning 4767 clauses out of 10111 for limit 6.503318269665582E7
1393.75/1380.84	c cleaning 2622 clauses out of 5843 for limit 1.8540208252131328E8
1393.85/1380.92	c cleaning 1571 clauses out of 3722 for limit 4.8046806209253424E8
1393.95/1381.00	c cleaning 1020 clauses out of 2650 for limit 1.1117736954482563E9
1393.95/1381.08	c cleaning 772 clauses out of 2132 for limit 2.283494545501893E9
1394.05/1381.16	c cleaning 922 clauses out of 1858 for limit 4.312492300737809E9
1398.29/1385.35	c cleaning 9404 clauses out of 18936 for limit 2.803481727309048E-4
1398.49/1385.50	c cleaning 4754 clauses out of 10036 for limit 8.758288687714288E-4
1398.59/1385.64	c cleaning 2609 clauses out of 5778 for limit 0.0024987350641945613
1398.69/1385.77	c cleaning 1557 clauses out of 3670 for limit 0.006494146525294992
1398.79/1385.87	c cleaning 1025 clauses out of 2613 for limit 0.015041966765073732
1398.90/1385.96	c cleaning 761 clauses out of 2089 for limit 0.03105960964954956
1399.00/1386.04	c cleaning 631 clauses out of 1826 for limit 0.05848177203521981
1399.09/1386.13	c cleaning 565 clauses out of 1696 for limit 0.10394075033418182
1399.19/1386.21	c cleaning 532 clauses out of 1631 for limit 0.1782434672035597
1399.19/1386.29	c cleaning 515 clauses out of 1599 for limit 0.2998299454906002
1399.29/1386.38	c cleaning 512 clauses out of 1583 for limit 0.49895793070019706
1399.39/1386.46	c cleaning 506 clauses out of 1573 for limit 0.8297381003626623
1405.05/1392.08	c cleaning 10722 clauses out of 22067 for limit 7.882676698613855E7
1405.25/1392.22	c cleaning 5599 clauses out of 11843 for limit 2.4173645215428314E8
1405.35/1392.32	c cleaning 3365 clauses out of 6746 for limit 7.012654569532738E8
1405.45/1392.41	c cleaning 1647 clauses out of 3879 for limit 2.0072241223717566E9
1405.56/1392.51	c cleaning 1084 clauses out of 2732 for limit 4.699924042712029E9
1405.56/1392.59	c cleaning 774 clauses out of 2148 for limit 9.858098294912376E9
1411.34/1398.27	c cleaning 10172 clauses out of 20374 for limit 0.0018727285254550655
1411.54/1398.40	c cleaning 5105 clauses out of 10702 for limit 0.005879522652102029
1411.64/1398.53	c cleaning 2777 clauses out of 6097 for limit 0.017019496447088767
1411.74/1398.65	c cleaning 1643 clauses out of 3820 for limit 0.044797669942400226
1411.84/1398.76	c cleaning 1061 clauses out of 2677 for limit 0.10542079922358068
1411.94/1398.87	c cleaning 778 clauses out of 2116 for limit 0.21994540799021128
1412.04/1398.94	c cleaning 629 clauses out of 1838 for limit 0.41758120439151464
1412.14/1399.01	c cleaning 582 clauses out of 1709 for limit 0.740628250745687
1412.14/1399.08	c cleaning 534 clauses out of 1630 for limit 1.2844409838006863
1412.25/1399.16	c cleaning 524 clauses out of 1593 for limit 2.160918237494033
1412.35/1399.23	c cleaning 510 clauses out of 1569 for limit 3.6181540516019375
1412.44/1399.30	c cleaning 504 clauses out of 1561 for limit 6.009412349365891
1412.44/1399.38	c cleaning 501 clauses out of 1555 for limit 9.928676905013333
1412.54/1399.46	c cleaning 496 clauses out of 1556 for limit 16.395969039092087
1412.64/1399.53	c cleaning 506 clauses out of 1558 for limit 26.95045441847441
1412.74/1399.61	c cleaning 507 clauses out of 1552 for limit 44.6167277885472
1412.74/1399.68	c cleaning 534 clauses out of 1545 for limit 73.91232026625453
1412.84/1399.77	c cleaning 504 clauses out of 1512 for limit 124.67630631656412
1412.94/1399.85	c cleaning 505 clauses out of 1508 for limit 206.1532870802262
1413.04/1399.93	c cleaning 489 clauses out of 1503 for limit 341.10533494721466
1413.14/1400.00	c cleaning 490 clauses out of 1513 for limit 558.2515527325144
1413.14/1400.08	c cleaning 497 clauses out of 1523 for limit 914.5866365167199
1413.24/1400.14	c cleaning 489 clauses out of 1526 for limit 1505.3105594246767
1800.03/1781.92	c starts		: 23
1800.03/1781.92	c conflicts		: 1908189
1800.03/1781.92	c decisions		: 5582388
1800.03/1781.92	c propagations		: 489012971
1800.03/1781.92	c inspects		: 15264404741
1800.03/1781.92	c learnt literals	: 11
1800.03/1781.92	c learnt binary clauses	: 442
1800.03/1781.92	c learnt ternary clauses	: 3463
1800.03/1781.92	c learnt clauses	: 1908178
1800.03/1781.92	c root simplifications	: 0
1800.03/1781.92	c removed literals (reason simplification)	: 0
1800.03/1781.92	c reason swapping (by a shorter reason)	: 0
1800.03/1781.92	c Calls to reduceDB	: 142
1800.03/1781.92	c speed (decisions/second)	: 3135.9398426971466
1800.03/1781.92	c non guided choices	344864
1800.03/1781.92	s UNKNOWN
1800.03/1781.92	c Total wall clock time (ms): 1781.818

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741116-1338740489/watcher-3741116-1338740489 -o /tmp/evaluation-result-3741116-1338740489/solver-3741116-1338740489 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741116-1338740489.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12332
/proc/meminfo: memFree=28236060/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12332/stat : 12332 (java) D 12330 12332 7854 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 340174385 9515008 182 33554432000 1073741824 1073778376 140735769799824 140735769790856 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/12332/statm: 2323 182 140 9 0 71 0

[startup+0.0569481 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12332
/proc/meminfo: memFree=28236060/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 3954 0 1 0 2 1 0 0 20 0 13 0 340174385 2686889984 5163 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 655979 5163 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12332
/proc/meminfo: memFree=28236060/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 4923 0 1 0 8 1 0 0 20 0 18 0 340174385 3028844544 6629 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 739464 6629 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300168 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12332
/proc/meminfo: memFree=28236060/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=2957856 CPUtime=0.45 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 5777 0 1 0 44 1 0 0 20 0 18 0 340174385 3028844544 9339 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 739464 9342 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2957856

[startup+0.700176 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12332
/proc/meminfo: memFree=28236060/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=2957856 CPUtime=1.56 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 14685 0 1 0 151 5 0 0 20 0 18 0 340174385 3028844544 38813 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 739464 38813 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 2957856

[startup+1.50062 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 12350
/proc/meminfo: memFree=27930936/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=2957856 CPUtime=2.49 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 14883 0 1 0 237 12 0 0 20 0 18 0 340174385 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 739464 117170 2270 9 0 729885 0
[pid=12332/tid=12334] ppid=12330 vsize=2957856 CPUtime=1.43 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3235 0 1 0 136 7 0 0 20 0 18 0 340174386 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502096322592 140501953511679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 340174387 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340174389 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340174389 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340174389 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340174391 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 5844 0 0 0 46 2 0 0 20 0 18 0 340174391 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=2957856 CPUtime=0.41 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4571 0 0 0 41 0 0 0 20 0 18 0 340174391 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340174391 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340174391 3028844544 117170 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 2957856

[startup+3.10062 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12351
/proc/meminfo: memFree=27772860/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=3024420 CPUtime=4.56 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 15751 0 1 0 442 14 0 0 20 0 19 0 340174385 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 756105 125395 2290 9 0 746526 0
[pid=12332/tid=12334] ppid=12330 vsize=3024420 CPUtime=2.99 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3248 0 1 0 291 8 0 0 20 0 19 0 340174386 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502096322872 140501953932794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 30 0 0 0 5 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 340174387 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6627 0 0 0 68 2 0 0 20 0 19 0 340174391 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.57 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4573 0 0 0 57 0 0 0 20 0 19 0 340174391 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 125395 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 3024420

[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12351
/proc/meminfo: memFree=27720796/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=3024420 CPUtime=7.98 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 15794 0 1 0 780 18 0 0 20 0 19 0 340174385 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 756105 129465 2290 9 0 746526 0
[pid=12332/tid=12334] ppid=12330 vsize=3024420 CPUtime=6.12 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3252 0 1 0 604 8 0 0 20 0 19 0 340174386 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502096322936 140501953842953 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=3024420 CPUtime=0.08 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 24 0 0 0 7 1 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=3024420 CPUtime=0.11 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 38 0 0 0 9 2 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 20 0 0 0 3 1 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 19 0 340174387 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6627 0 0 0 70 2 0 0 20 0 19 0 340174391 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4573 0 0 0 58 0 0 0 20 0 19 0 340174391 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 129465 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]
/proc/loadavg: 2.64 2.13 2.04 3/213 12351
/proc/meminfo: memFree=27624248/32873648 swapFree=7116/7116

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

[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=2.32 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 338 0 0 0 220 12 0 0 20 0 19 0 340174387 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=2.46 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 399 0 0 0 232 14 0 0 20 0 19 0 340174387 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=2.39 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 338 0 0 0 227 12 0 0 20 0 19 0 340174387 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 122 0 0 0 23 3 0 0 20 0 19 0 340174389 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6632 0 0 0 75 2 0 0 20 0 19 0 340174391 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4597 0 0 0 65 0 0 0 20 0 19 0 340174391 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0.7 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 94 0 0 0 33 37 0 0 20 0 19 0 340174391 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 419348 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1678.14
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/214 12599
/proc/meminfo: memFree=26035700/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=3024420 CPUtime=1739.09 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 19084 0 1 0 173762 147 0 0 20 0 19 0 340174385 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 756105 419403 2306 9 0 746526 0
[pid=12332/tid=12334] ppid=12330 vsize=3024420 CPUtime=1716.02 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3487 0 1 0 171564 38 0 0 20 0 19 0 340174386 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502096321776 140501953969841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=3024420 CPUtime=2.63 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 333 0 0 0 253 10 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=3024420 CPUtime=2.79 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 436 0 0 0 265 14 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=3024420 CPUtime=2.63 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 383 0 0 0 250 13 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=3024420 CPUtime=2.44 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 310 0 0 0 233 11 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=3024420 CPUtime=2.65 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 404 0 0 0 253 12 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=2.43 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 344 0 0 0 231 12 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=2.63 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 409 0 0 0 249 14 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=2.57 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 345 0 0 0 245 12 0 0 20 0 19 0 340174387 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 126 0 0 0 24 3 0 0 20 0 19 0 340174389 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6632 0 0 0 75 2 0 0 20 0 19 0 340174391 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4597 0 0 0 65 0 0 0 20 0 19 0 340174391 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 98 0 0 0 34 39 0 0 20 0 19 0 340174391 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 419403 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1739.09
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 12599
/proc/meminfo: memFree=26035376/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 19213 0 1 0 179854 149 0 0 20 0 19 0 340174385 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 756105 419504 2306 9 0 746526 0
[pid=12332/tid=12334] ppid=12330 vsize=3024420 CPUtime=1775.12 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3507 0 1 0 177474 38 0 0 20 0 19 0 340174386 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502096321824 140501953938177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=3024420 CPUtime=2.85 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 352 0 0 0 274 11 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=3024420 CPUtime=3.03 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 452 0 0 0 289 14 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=3024420 CPUtime=2.8 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 383 0 0 0 267 13 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=3024420 CPUtime=2.65 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 310 0 0 0 254 11 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=3024420 CPUtime=2.88 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 408 0 0 0 276 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=2.69 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 369 0 0 0 257 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=2.89 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 426 0 0 0 275 14 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=2.78 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 365 0 0 0 266 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 130 0 0 0 24 3 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6632 0 0 0 75 2 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4597 0 0 0 65 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 102 0 0 0 35 40 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1781.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/213 12599
/proc/meminfo: memFree=26035376/32873648 swapFree=7116/7116
[pid=12332] ppid=12330 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/12332/stat : 12332 (java) S 12330 12332 7854 0 -1 4202496 19213 0 1 0 179854 149 0 0 20 0 19 0 340174385 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140735335385136 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12332/statm: 756105 419504 2306 9 0 746526 0
[pid=12332/tid=12334] ppid=12330 vsize=3024420 CPUtime=1775.12 cores=1,3,5,7
/proc/12332/task/12334/stat : 12334 (java) R 12330 12332 7854 0 -1 4202560 3507 0 1 0 177474 38 0 0 20 0 19 0 340174386 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502096321824 140501953938177 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12335] ppid=12330 vsize=3024420 CPUtime=2.85 cores=1,3,5,7
/proc/12332/task/12335/stat : 12335 (java) S 12330 12332 7854 0 -1 4202560 352 0 0 0 274 11 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502079748648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12336] ppid=12330 vsize=3024420 CPUtime=3.03 cores=1,3,5,7
/proc/12332/task/12336/stat : 12336 (java) S 12330 12332 7854 0 -1 4202560 452 0 0 0 289 14 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502078695848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12337] ppid=12330 vsize=3024420 CPUtime=2.8 cores=1,3,5,7
/proc/12332/task/12337/stat : 12337 (java) S 12330 12332 7854 0 -1 4202560 383 0 0 0 267 13 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502077643048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12338] ppid=12330 vsize=3024420 CPUtime=2.65 cores=1,3,5,7
/proc/12332/task/12338/stat : 12338 (java) S 12330 12332 7854 0 -1 4202560 310 0 0 0 254 11 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502076590248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12339] ppid=12330 vsize=3024420 CPUtime=2.88 cores=1,3,5,7
/proc/12332/task/12339/stat : 12339 (java) S 12330 12332 7854 0 -1 4202560 408 0 0 0 276 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502075538472 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12340] ppid=12330 vsize=3024420 CPUtime=2.69 cores=1,3,5,7
/proc/12332/task/12340/stat : 12340 (java) S 12330 12332 7854 0 -1 4202560 369 0 0 0 257 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502074485672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12341] ppid=12330 vsize=3024420 CPUtime=2.89 cores=1,3,5,7
/proc/12332/task/12341/stat : 12341 (java) S 12330 12332 7854 0 -1 4202560 426 0 0 0 275 14 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502073432872 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12332/tid=12342] ppid=12330 vsize=3024420 CPUtime=2.78 cores=1,3,5,7
/proc/12332/task/12342/stat : 12342 (java) S 12330 12332 7854 0 -1 4202560 365 0 0 0 266 12 0 0 20 0 19 0 340174387 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140502072380072 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12343] ppid=12330 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/12332/task/12343/stat : 12343 (java) S 12330 12332 7854 0 -1 4202560 130 0 0 0 24 3 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501941656040 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12344] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12344/stat : 12344 (java) S 12330 12332 7854 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501940602104 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12345] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12345/stat : 12345 (java) S 12330 12332 7854 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340174389 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501939549192 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12346] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12346/stat : 12346 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501938497680 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12347] ppid=12330 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/12332/task/12347/stat : 12347 (java) S 12330 12332 7854 0 -1 4202560 6632 0 0 0 75 2 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501937445816 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12348] ppid=12330 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/12332/task/12348/stat : 12348 (java) S 12330 12332 7854 0 -1 4202560 4597 0 0 0 65 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501063822136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12332/tid=12349] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12349/stat : 12349 (java) S 12330 12332 7854 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501062769528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12332/tid=12350] ppid=12330 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/12332/task/12350/stat : 12350 (java) S 12330 12332 7854 0 -1 4202560 102 0 0 0 35 40 0 0 20 0 19 0 340174391 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501061716936 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12332/tid=12351] ppid=12330 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12332/task/12351/stat : 12351 (java) S 12330 12332 7854 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340174564 3097006080 419504 33554432000 1073741824 1073778376 140735335394000 140501059585192 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1781.93
CPU time (s): 1800.39
CPU user time (s): 1798.44
CPU system time (s): 1.9527
CPU usage (%): 101.036
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.44
system time used= 1.9527
maximum resident set size= 1678156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19248
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45994
involuntary context switches= 61028

runsolver used 6.63099 second user time and 14.3938 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-03 18:21:29
IDJOB=3741116
IDBENCH=89784
IDSOLVER=2319
FILE ID=node127/3741116-1338740489
RUNJOBID= node127-1338713637-7871
PBS_JOBID= 14636737
Free space on /tmp= 70436 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-31.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741116-1338740489/watcher-3741116-1338740489 -o /tmp/evaluation-result-3741116-1338740489/solver-3741116-1338740489 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741116-1338740489.opb           

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

MD5SUM BENCH= 1231d9e508dc821e38b22e6db3fd2b2f
RANDOM SEED=1237924470

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28236704 kB
Buffers:          406732 kB
Cached:          1985968 kB
SwapCached:         1428 kB
Active:          2417008 kB
Inactive:        1318592 kB
Active(anon):    1337088 kB
Inactive(anon):     7952 kB
Active(file):    1079920 kB
Inactive(file):  1310640 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104508 kB
Dirty:             11760 kB
Writeback:             0 kB
AnonPages:       1366732 kB
Mapped:            19088 kB
Shmem:                92 kB
Slab:             746468 kB
SReclaimable:     190428 kB
SUnreclaim:       556040 kB
KernelStack:        1600 kB
PageTables:         6660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1826712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1318912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70236 MiB
End job on node127 at 2012-06-03 18:51:13