Trace number 3744494

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.78 1764.82

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat25_6_3_5_ic.opb
MD5SUMd92c3493b3e048f1d4b1212b9868f41b
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15725
Total number of constraints31332
Number of constraints which are clauses14450
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints16875
Minimum length of a constraint2
Maximum length of a constraint300
Number of terms in the objective function 1825
Biggest coefficient in the objective function 125000000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 11266082609
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 125000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 11266082609
Number of bits of the biggest sum of numbers34
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.08/0.10	--- Begin Solver configuration ---
0.08/0.10	c Stops conflict analysis at the first Unique Implication Point
0.08/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.10	c No reason simplification
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3744494-1338802336.opb
0.08/0.10	c reading problem ... 
1.32/0.66	c ... done. Wall clock time 0.559s.
1.32/0.66	c CPU time (experimental) 0.62s.
1.32/0.66	c #vars     15725
1.32/0.66	c #constraints  33133
1211.97/1190.78	c cleaning 440995 clauses out of 882000 for limit 0.001967506149826258
1230.63/1208.90	c cleaning 227985 clauses out of 456005 for limit 12534.057689600006
1233.70/1211.89	c cleaning 115000 clauses out of 230021 for limit 183972.05796751074
1236.09/1214.13	c cleaning 58749 clauses out of 117521 for limit 4392212.16533295
1244.31/1222.01	c cleaning 34126 clauses out of 68273 for limit 1.0158887875185501E11
1246.37/1224.06	c cleaning 18066 clauses out of 36145 for limit 1.416450653481438E12
1251.45/1228.97	c cleaning 12029 clauses out of 24079 for limit 8.603632978119588E-6
1253.13/1230.51	c cleaning 7273 clauses out of 14550 for limit 1.736747826415374E-4
1256.23/1233.59	c cleaning 5619 clauses out of 11278 for limit 0.012270133133284912
1258.11/1235.34	c cleaning 3825 clauses out of 7661 for limit 0.13387160629693634
1263.32/1240.33	c cleaning 4647 clauses out of 9333 for limit 26.882143353655202
1264.89/1241.89	c cleaning 3083 clauses out of 6186 for limit 181.90427424680215
1270.31/1247.10	c cleaning 5022 clauses out of 10105 for limit 122791.3978538185
1271.78/1248.49	c cleaning 3532 clauses out of 7082 for limit 1294605.2833992261
1275.11/1251.60	c cleaning 3266 clauses out of 6549 for limit 2.813319894532797E7
1276.68/1253.18	c cleaning 2383 clauses out of 4783 for limit 1.7276723705385518E8
1279.85/1256.19	c cleaning 2926 clauses out of 5900 for limit 4.646232798352629E9
1283.09/1259.22	c cleaning 3480 clauses out of 6978 for limit 2.1577799628711835E11
1284.56/1260.63	c cleaning 2485 clauses out of 4995 for limit 1.3479281841668586E12
1287.57/1263.57	c cleaning 3006 clauses out of 6013 for limit 3.72568203167331E13
1292.71/1268.40	c cleaning 3739 clauses out of 7504 for limit 2.6853667889431883E-5
1294.17/1269.87	c cleaning 2627 clauses out of 5265 for limit 1.7165866251823018E-4
1295.83/1271.42	c cleaning 2045 clauses out of 4138 for limit 9.79583078889585E-4
1305.57/1280.78	c cleaning 6527 clauses out of 13092 for limit 18.621761784789474
1310.67/1285.63	c cleaning 5526 clauses out of 11066 for limit 1989.6358258148398
1313.64/1288.48	c cleaning 4257 clauses out of 8539 for limit 51815.30452894176
1315.40/1290.12	c cleaning 3127 clauses out of 6282 for limit 520943.57306499756
1316.88/1291.53	c cleaning 2554 clauses out of 5155 for limit 4695517.840118815
1318.45/1293.06	c cleaning 2276 clauses out of 4601 for limit 3.891199337648319E7
1320.12/1294.62	c cleaning 2153 clauses out of 4326 for limit 3.0641304967087346E8
1324.82/1299.10	c cleaning 2831 clauses out of 5672 for limit 7.744872053101549E9
1326.35/1300.64	c cleaning 1911 clauses out of 3842 for limit 3.1127152611361507E10
1328.24/1302.45	c cleaning 1713 clauses out of 3435 for limit 1.5677460752220142E11
1331.42/1305.51	c cleaning 2603 clauses out of 5217 for limit 3.407220790387013E12
1334.45/1308.41	c cleaning 2554 clauses out of 5115 for limit 4.24316013902417E13
1337.70/1311.54	c cleaning 2771 clauses out of 5560 for limit 7.844424353615723E-6
1340.82/1314.57	c cleaning 2882 clauses out of 5790 for limit 1.5167958822898036E-4
1342.71/1316.36	c cleaning 2434 clauses out of 4907 for limit 0.0013224482401433578
1344.20/1317.71	c cleaning 1734 clauses out of 3477 for limit 0.005096122646024855
1345.95/1319.43	c cleaning 1599 clauses out of 3239 for limit 0.02443786312509766
1347.43/1320.86	c cleaning 1811 clauses out of 3642 for limit 0.16107450528590897
1351.03/1324.36	c cleaning 3154 clauses out of 6331 for limit 8.359829445060829
1352.68/1325.90	c cleaning 2832 clauses out of 5676 for limit 113.624573790244
1354.23/1327.48	c cleaning 2404 clauses out of 4845 for limit 985.5506129655868
1355.80/1328.93	c cleaning 2462 clauses out of 4940 for limit 11778.51903479289
1357.36/1330.44	c cleaning 2219 clauses out of 4477 for limit 96032.79718688295
1359.02/1332.08	c cleaning 1868 clauses out of 3759 for limit 513495.356185614
1364.17/1336.90	c cleaning 3171 clauses out of 6391 for limit 2.7248525837249625E7
1365.52/1338.27	c cleaning 2585 clauses out of 5219 for limit 2.4655486055943778E8
1367.28/1339.92	c cleaning 2563 clauses out of 5134 for limit 3.0572041198044324E9
1368.65/1341.27	c cleaning 2284 clauses out of 4575 for limit 2.5477147252757885E10
1370.12/1342.65	c cleaning 2392 clauses out of 4787 for limit 2.958147710969049E11
1371.98/1344.42	c cleaning 2182 clauses out of 4396 for limit 2.38497405890709E12
1375.36/1347.62	c cleaning 2328 clauses out of 4713 for limit 2.7107460080811562E13
1376.76/1348.95	c cleaning 1942 clauses out of 3885 for limit 1.474901117036428E14
1378.62/1350.73	c cleaning 1722 clauses out of 3444 for limit 7.469524527712992E14
1381.97/1353.94	c cleaning 2587 clauses out of 5226 for limit 1.6395171021461503E-4
1385.41/1357.25	c cleaning 3795 clauses out of 7634 for limit 0.016615733282508247
1387.08/1358.87	c cleaning 3162 clauses out of 6339 for limit 0.24407896392397202
1388.84/1360.52	c cleaning 2813 clauses out of 5677 for limit 3.3243875234556204
1390.25/1361.86	c cleaning 2408 clauses out of 4865 for limit 28.721409771299722
1390.54/1362.18	c cleaning 1452 clauses out of 2958 for limit 77.97956835382442
1391.91/1363.44	c cleaning 1736 clauses out of 3504 for limit 485.9252016127013
1393.67/1365.13	c cleaning 2107 clauses out of 4271 for limit 4877.383670994826
1395.33/1366.73	c cleaning 2300 clauses out of 4661 for limit 54351.719496047655
1396.80/1368.14	c cleaning 2415 clauses out of 4862 for limit 636196.658051966
1400.25/1371.46	c cleaning 3207 clauses out of 6446 for limit 2.6225792519803233E7
1401.94/1373.04	c cleaning 2855 clauses out of 5739 for limit 3.5930406656025845E8
1402.24/1373.33	c cleaning 1679 clauses out of 3384 for limit 1.0049024149610211E9
1403.80/1374.80	c cleaning 2323 clauses out of 4706 for limit 1.4550306952381147E10
1405.27/1376.23	c cleaning 1922 clauses out of 3882 for limit 7.903176777560408E10
1406.83/1377.73	c cleaning 1732 clauses out of 3464 for limit 3.98827459540659E11
1410.26/1381.04	c cleaning 2580 clauses out of 5228 for limit 8.731332329758092E12
1412.22/1382.95	c cleaning 2287 clauses out of 4648 for limit 7.26396137295568E13
1413.59/1384.29	c cleaning 1924 clauses out of 3861 for limit 3.9219992374059406E14
1415.55/1386.17	c cleaning 1965 clauses out of 3938 for limit 2.847014339265023E-5
1417.01/1387.52	c cleaning 1718 clauses out of 3472 for limit 1.4468343102225158E-4
1418.58/1389.06	c cleaning 2110 clauses out of 4255 for limit 0.0014414941955923342
1418.79/1389.29	c cleaning 1303 clauses out of 2644 for limit 0.0038218389906342306
1420.26/1390.61	c cleaning 1895 clauses out of 3843 for limit 0.032137486835809324
1420.56/1390.90	c cleaning 1191 clauses out of 2446 for limit 0.08310223554904296
1421.79/1392.16	c cleaning 1604 clauses out of 3255 for limit 0.4618933555001519
1421.99/1392.40	c cleaning 1051 clauses out of 2155 for limit 1.1551526196090738
1423.55/1393.84	c cleaning 1772 clauses out of 3600 for limit 8.400894465365354
1425.10/1395.39	c cleaning 2153 clauses out of 4331 for limit 85.4324412123501
1426.67/1396.81	c cleaning 2060 clauses out of 4176 for limit 654.0410914808754
1426.97/1397.14	c cleaning 1280 clauses out of 2615 for limit 1720.7398110170843
1428.43/1398.53	c cleaning 1884 clauses out of 3835 for limit 14312.021059891185
1430.09/1400.14	c cleaning 2204 clauses out of 4452 for limit 150530.71554851416
1431.56/1401.54	c cleaning 2098 clauses out of 4248 for limit 1166861.5293619677
1431.76/1401.72	c cleaning 1312 clauses out of 2649 for limit 3082785.0676735416
1432.96/1402.86	c cleaning 1633 clauses out of 3337 for limit 1.81005822967123E7
1433.26/1403.10	c cleaning 1067 clauses out of 2204 for limit 4.519527672365787E7
1434.65/1404.42	c cleaning 1816 clauses out of 3637 for limit 3.340725361029013E8
1436.15/1405.89	c cleaning 2132 clauses out of 4321 for limit 3.4298825115219846E9
1436.44/1406.14	c cleaning 1344 clauses out of 2690 for limit 9.094977497924295E9
1437.71/1407.38	c cleaning 1659 clauses out of 3345 for limit 5.404391758953216E10
1439.49/1409.08	c cleaning 2064 clauses out of 4186 for limit 5.267725746448978E11
1440.95/1410.48	c cleaning 2311 clauses out of 4622 for limit 5.819315105686355E12
1442.61/1412.03	c cleaning 2378 clauses out of 4811 for limit 6.819395731312684E13
1444.21/1413.54	c cleaning 2445 clauses out of 4933 for limit 8.112403988186679E-6
1800.06/1764.81	c starts		: 22
1800.06/1764.81	c conflicts		: 1359111
1800.06/1764.81	c decisions		: 1855500
1800.06/1764.81	c propagations		: 860034248
1800.06/1764.81	c inspects		: 8607052333
1800.06/1764.81	c learnt literals	: 0
1800.06/1764.81	c learnt binary clauses	: 0
1800.06/1764.81	c learnt ternary clauses	: 3
1800.06/1764.81	c learnt clauses	: 1359111
1800.06/1764.81	c root simplifications	: 0
1800.06/1764.81	c removed literals (reason simplification)	: 0
1800.06/1764.81	c reason swapping (by a shorter reason)	: 0
1800.06/1764.81	c Calls to reduceDB	: 101
1800.06/1764.81	c speed (decisions/second)	: 1051.7991973335147
1800.06/1764.81	c non guided choices	1
1800.06/1764.81	s UNKNOWN
1800.06/1764.81	c Total wall clock time (ms): 1764.711

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-3744494-1338802336/watcher-3744494-1338802336 -o /tmp/evaluation-result-3744494-1338802336/solver-3744494-1338802336 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744494-1338802336.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 3/192 12325
/proc/meminfo: memFree=25890292/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12325/stat : 12325 (java) R 12323 12325 9704 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 346359476 9515008 182 33554432000 1073741824 1073778376 140733279242512 140733279233544 273448517301 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12325/statm: 2323 182 140 9 0 71 0

[startup+0.00718907 s]
/proc/loadavg: 1.92 1.99 1.99 3/192 12325
/proc/meminfo: memFree=25890292/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/12325/stat : 12325 (java) R 12323 12325 9704 0 -1 4202496 299 0 0 0 0 0 0 0 20 0 1 0 346359476 3653632 47 33554432000 1073741824 1073778376 140736302524848 140736302521976 273439354666 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12325/statm: 892 49 38 9 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3568

[startup+0.100254 s]
/proc/loadavg: 1.92 1.99 1.99 3/192 12325
/proc/meminfo: memFree=25890292/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/12325/stat : 12325 (java) S 12323 12325 9704 0 -1 4202496 4920 0 1 0 7 1 0 0 20 0 18 0 346359476 3028844544 6622 33554432000 1073741824 1073778376 140736302524848 140736302515984 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12325/statm: 739464 6622 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300168 s]
/proc/loadavg: 1.92 1.99 1.99 3/192 12325
/proc/meminfo: memFree=25890292/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/12325/stat : 12325 (java) S 12323 12325 9704 0 -1 4202496 7755 0 1 0 45 2 0 0 20 0 18 0 346359476 3028844544 11070 33554432000 1073741824 1073778376 140736302524848 140736302515984 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12325/statm: 739464 11071 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856

[startup+0.700168 s]
/proc/loadavg: 1.92 1.99 1.99 3/192 12325
/proc/meminfo: memFree=25890292/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=3024420 CPUtime=1.5 cores=0,2,4,6
/proc/12325/stat : 12325 (java) S 12323 12325 9704 0 -1 4202496 10244 0 1 0 145 5 0 0 20 0 19 0 346359476 3097006080 39308 33554432000 1073741824 1073778376 140736302524848 140736302515984 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12325/statm: 756105 39308 2268 9 0 746526 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 3024420

[startup+1.50074 s]
/proc/loadavg: 1.92 1.99 1.99 3/211 12344
/proc/meminfo: memFree=25685456/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=3024420 CPUtime=2.65 cores=0,2,4,6
/proc/12325/stat : 12325 (java) S 12323 12325 9704 0 -1 4202496 11159 0 1 0 256 9 0 0 20 0 19 0 346359476 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140736302515984 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12325/statm: 756105 81814 2278 9 0 746526 0
[pid=12325/tid=12327] ppid=12323 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/12325/task/12327/stat : 12327 (java) R 12323 12325 9704 0 -1 4202560 3171 0 1 0 139 7 0 0 20 0 19 0 346359477 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603575357896 140603422376585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12328] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12328/stat : 12328 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603558783400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12329] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12329/stat : 12329 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603557730856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12330] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12330/stat : 12330 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603556677800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12331] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12331/stat : 12331 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603555625256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12332] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12332/stat : 12332 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603554573224 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12333] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12333/stat : 12333 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603553520680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12334] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12334/stat : 12334 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603552467624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12335] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12335/stat : 12335 (java) S 12323 12325 9704 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603551415080 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12336] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12336/stat : 12336 (java) S 12323 12325 9704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346359479 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603420563816 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12337] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12337/stat : 12337 (java) S 12323 12325 9704 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603419510136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12338] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12338/stat : 12338 (java) S 12323 12325 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603418456968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12339] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12339/stat : 12339 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603417405712 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12340] ppid=12323 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/12325/task/12340/stat : 12340 (java) S 12323 12325 9704 0 -1 4202560 3830 0 0 0 56 2 0 0 20 0 19 0 346359482 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603416353592 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12341] ppid=12323 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/12325/task/12341/stat : 12341 (java) S 12323 12325 9704 0 -1 4202560 2964 0 0 0 58 0 0 0 20 0 19 0 346359482 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603415301048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12342] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12342/stat : 12342 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603414248184 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12343] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12343/stat : 12343 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603413195848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12344] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12344/stat : 12344 (java) S 12323 12325 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346359546 3097006080 81814 33554432000 1073741824 1073778376 140736302524848 140603411063848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 3024420

[startup+3.10074 s]
/proc/loadavg: 1.92 1.99 1.99 3/211 12344
/proc/meminfo: memFree=25432808/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=3024420 CPUtime=4.42 cores=0,2,4,6
/proc/12325/stat : 12325 (java) S 12323 12325 9704 0 -1 4202496 11307 0 1 0 427 15 0 0 20 0 19 0 346359476 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140736302515984 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12325/statm: 756105 120751 2291 9 0 746526 0
[pid=12325/tid=12327] ppid=12323 vsize=3024420 CPUtime=3 cores=0,2,4,6
/proc/12325/task/12327/stat : 12327 (java) R 12323 12325 9704 0 -1 4202560 3236 0 1 0 291 9 0 0 20 0 19 0 346359477 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603575356760 140603422590241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12328] ppid=12323 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/12325/task/12328/stat : 12328 (java) S 12323 12325 9704 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 346359478 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603558783400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12329] ppid=12323 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/12325/task/12329/stat : 12329 (java) S 12323 12325 9704 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 346359478 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603557730856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12330] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12330/stat : 12330 (java) S 12323 12325 9704 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603556677800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12331] ppid=12323 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/12325/task/12331/stat : 12331 (java) S 12323 12325 9704 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 19 0 346359478 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603555625256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12332] ppid=12323 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12325/task/12332/stat : 12332 (java) S 12323 12325 9704 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 346359478 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603554573224 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12333] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12333/stat : 12333 (java) S 12323 12325 9704 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603553520680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12334] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12334/stat : 12334 (java) S 12323 12325 9704 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 346359478 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603552467624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12335] ppid=12323 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12325/task/12335/stat : 12335 (java) S 12323 12325 9704 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 346359478 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603551415080 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12336] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12336/stat : 12336 (java) S 12323 12325 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346359479 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603420563816 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12337] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12337/stat : 12337 (java) S 12323 12325 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603419510136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12338] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12338/stat : 12338 (java) S 12323 12325 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603418456968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12339] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12339/stat : 12339 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603417405712 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12340] ppid=12323 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/12325/task/12340/stat : 12340 (java) S 12323 12325 9704 0 -1 4202560 3830 0 0 0 56 2 0 0 20 0 19 0 346359482 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603416353592 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12341] ppid=12323 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/12325/task/12341/stat : 12341 (java) S 12323 12325 9704 0 -1 4202560 2964 0 0 0 59 0 0 0 20 0 19 0 346359482 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603415301048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12342] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12342/stat : 12342 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603414248184 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12343] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12343/stat : 12343 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603413195848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12344] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12344/stat : 12344 (java) S 12323 12325 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346359546 3097006080 120751 33554432000 1073741824 1073778376 140736302524848 140603411063848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 3024420

[startup+6.3007 s]
/proc/loadavg: 1.93 1.99 1.99 3/211 12344
/proc/meminfo: memFree=25412080/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=3024420 CPUtime=7.7 cores=0,2,4,6
/proc/12325/stat : 12325 (java) S 12323 12325 9704 0 -1 4202496 11319 0 1 0 754 16 0 0 20 0 19 0 346359476 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140736302515984 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12325/statm: 756105 121066 2291 9 0 746526 0
[pid=12325/tid=12327] ppid=12323 vsize=3024420 CPUtime=6.17 cores=0,2,4,6
/proc/12325/task/12327/stat : 12327 (java) R 12323 12325 9704 0 -1 4202560 3239 0 1 0 608 9 0 0 20 0 19 0 346359477 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603575357672 140603422468768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12328] ppid=12323 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/12325/task/12328/stat : 12328 (java) S 12323 12325 9704 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 19 0 346359478 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603558783400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12329] ppid=12323 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12325/task/12329/stat : 12329 (java) S 12323 12325 9704 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 346359478 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603557730856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12330] ppid=12323 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/12325/task/12330/stat : 12330 (java) S 12323 12325 9704 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 346359478 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603556677800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12331] ppid=12323 vsize=3024420 CPUtime=0.04 cores=0,2,4,6
/proc/12325/task/12331/stat : 12331 (java) S 12323 12325 9704 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 19 0 346359478 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603555625256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12332] ppid=12323 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/12325/task/12332/stat : 12332 (java) S 12323 12325 9704 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 346359478 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603554573224 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12333] ppid=12323 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12325/task/12333/stat : 12333 (java) S 12323 12325 9704 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 346359478 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603553520680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12334] ppid=12323 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/12325/task/12334/stat : 12334 (java) S 12323 12325 9704 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 19 0 346359478 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603552467624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12335] ppid=12323 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/12325/task/12335/stat : 12335 (java) S 12323 12325 9704 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 346359478 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603551415080 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12336] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12336/stat : 12336 (java) S 12323 12325 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346359479 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603420563816 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12337] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12337/stat : 12337 (java) S 12323 12325 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603419510136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12338] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12338/stat : 12338 (java) S 12323 12325 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603418456968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12339] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12339/stat : 12339 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603417405712 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12340] ppid=12323 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/12325/task/12340/stat : 12340 (java) S 12323 12325 9704 0 -1 4202560 3830 0 0 0 56 2 0 0 20 0 19 0 346359482 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603416353592 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12341] ppid=12323 vsize=3024420 CPUtime=0.6 cores=0,2,4,6
/proc/12325/task/12341/stat : 12341 (java) S 12323 12325 9704 0 -1 4202560 2964 0 0 0 60 0 0 0 20 0 19 0 346359482 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603415301048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12342] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12342/stat : 12342 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603414248184 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12343] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12343/stat : 12343 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603413195848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12344] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12344/stat : 12344 (java) S 12323 12325 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346359546 3097006080 121066 33554432000 1073741824 1073778376 140736302524848 140603411063848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=12325/tid=12333] ppid=12323 vsize=3024420 CPUtime=5.69 cores=0,2,4,6
/proc/12325/task/12333/stat : 12333 (java) S 12323 12325 9704 0 -1 4202560 403 0 0 0 557 12 0 0 20 0 19 0 346359478 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603553520680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12334] ppid=12323 vsize=3024420 CPUtime=5.88 cores=0,2,4,6
/proc/12325/task/12334/stat : 12334 (java) S 12323 12325 9704 0 -1 4202560 338 0 0 0 578 10 0 0 20 0 19 0 346359478 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603552467624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12335] ppid=12323 vsize=3024420 CPUtime=5.67 cores=0,2,4,6
/proc/12325/task/12335/stat : 12335 (java) S 12323 12325 9704 0 -1 4202560 396 0 0 0 555 12 0 0 20 0 19 0 346359478 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603551415080 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12336] ppid=12323 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/12325/task/12336/stat : 12336 (java) S 12323 12325 9704 0 -1 4202560 118 0 0 0 27 4 0 0 20 0 19 0 346359479 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603420563816 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12337] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12337/stat : 12337 (java) S 12323 12325 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603419510136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12338] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12338/stat : 12338 (java) S 12323 12325 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603418456968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12339] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12339/stat : 12339 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603417405712 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12340] ppid=12323 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/12325/task/12340/stat : 12340 (java) S 12323 12325 9704 0 -1 4202560 3840 0 0 0 64 2 0 0 20 0 19 0 346359482 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603416353592 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12341] ppid=12323 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/12325/task/12341/stat : 12341 (java) S 12323 12325 9704 0 -1 4202560 3234 0 0 0 73 0 0 0 20 0 19 0 346359482 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603415301048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12342] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12342/stat : 12342 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603414248184 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12343] ppid=12323 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/12325/task/12343/stat : 12343 (java) S 12323 12325 9704 0 -1 4202560 93 0 0 0 29 32 0 0 20 0 19 0 346359482 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603413195848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12344] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12344/stat : 12344 (java) S 12323 12325 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346359546 3097006080 420601 33554432000 1073741824 1073778376 140736302524848 140603411063848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1636.07
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/211 12416
/proc/meminfo: memFree=24660132/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=3024420 CPUtime=1696.74 cores=0,2,4,6
/proc/12325/stat : 12325 (java) S 12323 12325 9704 0 -1 4202496 15493 0 1 0 169545 129 0 0 20 0 19 0 346359476 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140736302515984 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12325/statm: 756105 420622 2307 9 0 746526 0
[pid=12325/tid=12327] ppid=12323 vsize=3024420 CPUtime=1648.37 cores=0,2,4,6
/proc/12325/task/12327/stat : 12327 (java) R 12323 12325 9704 0 -1 4202560 3976 0 1 0 164796 41 0 0 20 0 19 0 346359477 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603575356640 140603422509652 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12328] ppid=12323 vsize=3024420 CPUtime=5.84 cores=0,2,4,6
/proc/12325/task/12328/stat : 12328 (java) S 12323 12325 9704 0 -1 4202560 384 0 0 0 573 11 0 0 20 0 19 0 346359478 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603558783400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12329] ppid=12323 vsize=3024420 CPUtime=5.8 cores=0,2,4,6
/proc/12325/task/12329/stat : 12329 (java) S 12323 12325 9704 0 -1 4202560 401 0 0 0 569 11 0 0 20 0 19 0 346359478 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603557730856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12330] ppid=12323 vsize=3024420 CPUtime=5.75 cores=0,2,4,6
/proc/12325/task/12330/stat : 12330 (java) S 12323 12325 9704 0 -1 4202560 367 0 0 0 564 11 0 0 20 0 19 0 346359478 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603556677800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12331] ppid=12323 vsize=3024420 CPUtime=5.67 cores=0,2,4,6
/proc/12325/task/12331/stat : 12331 (java) S 12323 12325 9704 0 -1 4202560 380 0 0 0 556 11 0 0 20 0 19 0 346359478 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603555625256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12332] ppid=12323 vsize=3024420 CPUtime=5.86 cores=0,2,4,6
/proc/12325/task/12332/stat : 12332 (java) S 12323 12325 9704 0 -1 4202560 374 0 0 0 574 12 0 0 20 0 19 0 346359478 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603554573224 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12333] ppid=12323 vsize=3024420 CPUtime=5.78 cores=0,2,4,6
/proc/12325/task/12333/stat : 12333 (java) S 12323 12325 9704 0 -1 4202560 403 0 0 0 566 12 0 0 20 0 19 0 346359478 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603553520680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12334] ppid=12323 vsize=3024420 CPUtime=6.03 cores=0,2,4,6
/proc/12325/task/12334/stat : 12334 (java) S 12323 12325 9704 0 -1 4202560 340 0 0 0 593 10 0 0 20 0 19 0 346359478 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603552467624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12335] ppid=12323 vsize=3024420 CPUtime=5.74 cores=0,2,4,6
/proc/12325/task/12335/stat : 12335 (java) S 12323 12325 9704 0 -1 4202560 397 0 0 0 562 12 0 0 20 0 19 0 346359478 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603551415080 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12336] ppid=12323 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/12325/task/12336/stat : 12336 (java) S 12323 12325 9704 0 -1 4202560 120 0 0 0 27 4 0 0 20 0 19 0 346359479 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603420563816 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12337] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12337/stat : 12337 (java) S 12323 12325 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603419510136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12338] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12338/stat : 12338 (java) S 12323 12325 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603418456968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12339] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12339/stat : 12339 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603417405712 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12340] ppid=12323 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/12325/task/12340/stat : 12340 (java) S 12323 12325 9704 0 -1 4202560 3840 0 0 0 64 2 0 0 20 0 19 0 346359482 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603416353592 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12341] ppid=12323 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/12325/task/12341/stat : 12341 (java) S 12323 12325 9704 0 -1 4202560 3234 0 0 0 73 0 0 0 20 0 19 0 346359482 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603415301048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12342] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12342/stat : 12342 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603414248184 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12343] ppid=12323 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/12325/task/12343/stat : 12343 (java) S 12323 12325 9704 0 -1 4202560 95 0 0 0 30 33 0 0 20 0 19 0 346359482 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603413195848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12344] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12344/stat : 12344 (java) S 12323 12325 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346359546 3097006080 420622 33554432000 1073741824 1073778376 140736302524848 140603411063848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1696.74
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/212 12419
/proc/meminfo: memFree=24632508/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=3024420 CPUtime=1757.26 cores=0,2,4,6
/proc/12325/stat : 12325 (java) S 12323 12325 9704 0 -1 4202496 15539 0 1 0 175597 129 0 0 20 0 19 0 346359476 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140736302515984 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12325/statm: 756105 420649 2307 9 0 746526 0
[pid=12325/tid=12327] ppid=12323 vsize=3024420 CPUtime=1708.15 cores=0,2,4,6
/proc/12325/task/12327/stat : 12327 (java) R 12323 12325 9704 0 -1 4202560 3987 0 1 0 170774 41 0 0 20 0 19 0 346359477 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603575356624 140603422509744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12328] ppid=12323 vsize=3024420 CPUtime=5.94 cores=0,2,4,6
/proc/12325/task/12328/stat : 12328 (java) S 12323 12325 9704 0 -1 4202560 386 0 0 0 583 11 0 0 20 0 19 0 346359478 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603558783400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12329] ppid=12323 vsize=3024420 CPUtime=5.91 cores=0,2,4,6
/proc/12325/task/12329/stat : 12329 (java) S 12323 12325 9704 0 -1 4202560 403 0 0 0 580 11 0 0 20 0 19 0 346359478 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603557730856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12330] ppid=12323 vsize=3024420 CPUtime=5.84 cores=0,2,4,6
/proc/12325/task/12330/stat : 12330 (java) S 12323 12325 9704 0 -1 4202560 370 0 0 0 573 11 0 0 20 0 19 0 346359478 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603556677800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12331] ppid=12323 vsize=3024420 CPUtime=5.77 cores=0,2,4,6
/proc/12325/task/12331/stat : 12331 (java) S 12323 12325 9704 0 -1 4202560 382 0 0 0 566 11 0 0 20 0 19 0 346359478 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603555625256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12332] ppid=12323 vsize=3024420 CPUtime=5.94 cores=0,2,4,6
/proc/12325/task/12332/stat : 12332 (java) S 12323 12325 9704 0 -1 4202560 377 0 0 0 582 12 0 0 20 0 19 0 346359478 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603554573224 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12333] ppid=12323 vsize=3024420 CPUtime=5.85 cores=0,2,4,6
/proc/12325/task/12333/stat : 12333 (java) S 12323 12325 9704 0 -1 4202560 408 0 0 0 573 12 0 0 20 0 19 0 346359478 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603553520680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12334] ppid=12323 vsize=3024420 CPUtime=6.15 cores=0,2,4,6
/proc/12325/task/12334/stat : 12334 (java) S 12323 12325 9704 0 -1 4202560 345 0 0 0 605 10 0 0 20 0 19 0 346359478 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603552467624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12335] ppid=12323 vsize=3024420 CPUtime=5.83 cores=0,2,4,6
/proc/12325/task/12335/stat : 12335 (java) S 12323 12325 9704 0 -1 4202560 402 0 0 0 571 12 0 0 20 0 19 0 346359478 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603551415080 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12336] ppid=12323 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/12325/task/12336/stat : 12336 (java) S 12323 12325 9704 0 -1 4202560 124 0 0 0 27 4 0 0 20 0 19 0 346359479 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603420563816 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12337] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12337/stat : 12337 (java) S 12323 12325 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603419510136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12338] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12338/stat : 12338 (java) S 12323 12325 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603418456968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12339] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12339/stat : 12339 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603417405712 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12340] ppid=12323 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/12325/task/12340/stat : 12340 (java) S 12323 12325 9704 0 -1 4202560 3840 0 0 0 64 2 0 0 20 0 19 0 346359482 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603416353592 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12341] ppid=12323 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/12325/task/12341/stat : 12341 (java) S 12323 12325 9704 0 -1 4202560 3234 0 0 0 73 0 0 0 20 0 19 0 346359482 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603415301048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12342] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12342/stat : 12342 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603414248184 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12343] ppid=12323 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/12325/task/12343/stat : 12343 (java) S 12323 12325 9704 0 -1 4202560 99 0 0 0 31 35 0 0 20 0 19 0 346359482 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603413195848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12344] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12344/stat : 12344 (java) S 12323 12325 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346359546 3097006080 420649 33554432000 1073741824 1073778376 140736302524848 140603411063848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1757.26
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1764.8 s]
/proc/loadavg: 2.03 2.03 2.00 3/212 12442
/proc/meminfo: memFree=24605624/32873852 swapFree=6856/6856
[pid=12325] ppid=12323 vsize=3024420 CPUtime=1800.06 cores=0,2,4,6
/proc/12325/stat : 12325 (java) S 12323 12325 9704 0 -1 4202496 15564 0 1 0 179876 130 0 0 20 0 19 0 346359476 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140736302515984 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12325/statm: 756105 421804 2307 9 0 746526 0
[pid=12325/tid=12327] ppid=12323 vsize=3024420 CPUtime=1750.53 cores=0,2,4,6
/proc/12325/task/12327/stat : 12327 (java) R 12323 12325 9704 0 -1 4202560 3993 0 1 0 175011 42 0 0 20 0 19 0 346359477 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603575356856 140603422509749 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12325/tid=12328] ppid=12323 vsize=3024420 CPUtime=5.99 cores=0,2,4,6
/proc/12325/task/12328/stat : 12328 (java) S 12323 12325 9704 0 -1 4202560 389 0 0 0 588 11 0 0 20 0 19 0 346359478 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603558783400 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12329] ppid=12323 vsize=3024420 CPUtime=5.95 cores=0,2,4,6
/proc/12325/task/12329/stat : 12329 (java) S 12323 12325 9704 0 -1 4202560 403 0 0 0 584 11 0 0 20 0 19 0 346359478 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603557730856 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12330] ppid=12323 vsize=3024420 CPUtime=5.91 cores=0,2,4,6
/proc/12325/task/12330/stat : 12330 (java) S 12323 12325 9704 0 -1 4202560 372 0 0 0 580 11 0 0 20 0 19 0 346359478 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603556677800 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12331] ppid=12323 vsize=3024420 CPUtime=5.81 cores=0,2,4,6
/proc/12325/task/12331/stat : 12331 (java) S 12323 12325 9704 0 -1 4202560 383 0 0 0 570 11 0 0 20 0 19 0 346359478 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603555625256 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12332] ppid=12323 vsize=3024420 CPUtime=5.98 cores=0,2,4,6
/proc/12325/task/12332/stat : 12332 (java) S 12323 12325 9704 0 -1 4202560 380 0 0 0 586 12 0 0 20 0 19 0 346359478 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603554573224 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12333] ppid=12323 vsize=3024420 CPUtime=5.89 cores=0,2,4,6
/proc/12325/task/12333/stat : 12333 (java) S 12323 12325 9704 0 -1 4202560 413 0 0 0 577 12 0 0 20 0 19 0 346359478 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603553520680 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12334] ppid=12323 vsize=3024420 CPUtime=6.18 cores=0,2,4,6
/proc/12325/task/12334/stat : 12334 (java) S 12323 12325 9704 0 -1 4202560 345 0 0 0 608 10 0 0 20 0 19 0 346359478 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603552467624 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12335] ppid=12323 vsize=3024420 CPUtime=5.9 cores=0,2,4,6
/proc/12325/task/12335/stat : 12335 (java) S 12323 12325 9704 0 -1 4202560 403 0 0 0 578 12 0 0 20 0 19 0 346359478 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603551415080 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12336] ppid=12323 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/12325/task/12336/stat : 12336 (java) S 12323 12325 9704 0 -1 4202560 126 0 0 0 27 5 0 0 20 0 19 0 346359479 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603420563816 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12337] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12337/stat : 12337 (java) S 12323 12325 9704 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603419510136 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12338] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12338/stat : 12338 (java) S 12323 12325 9704 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346359480 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603418456968 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12339] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12339/stat : 12339 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603417405712 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12340] ppid=12323 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/12325/task/12340/stat : 12340 (java) S 12323 12325 9704 0 -1 4202560 3840 0 0 0 64 2 0 0 20 0 19 0 346359482 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603416353592 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12325/tid=12341] ppid=12323 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/12325/task/12341/stat : 12341 (java) S 12323 12325 9704 0 -1 4202560 3234 0 0 0 73 0 0 0 20 0 19 0 346359482 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603415301048 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12342] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12342/stat : 12342 (java) S 12323 12325 9704 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346359482 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603414248184 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12325/tid=12343] ppid=12323 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/12325/task/12343/stat : 12343 (java) S 12323 12325 9704 0 -1 4202560 101 0 0 0 32 35 0 0 20 0 19 0 346359482 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603413195848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12325/tid=12344] ppid=12323 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12325/task/12344/stat : 12344 (java) S 12323 12325 9704 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346359546 3097006080 421804 33554432000 1073741824 1073778376 140736302524848 140603411063848 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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

Child status: 143
Real time (s): 1764.82
CPU time (s): 1800.78
CPU user time (s): 1798.91
CPU system time (s): 1.87271
CPU usage (%): 102.038
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.91
system time used= 1.87271
maximum resident set size= 1687336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15594
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60161
involuntary context switches= 105760

runsolver used 6.55 second user time and 13.8629 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-04 11:32:16
IDJOB=3744494
IDBENCH=92764
IDSOLVER=2319
FILE ID=node128/3744494-1338802336
RUNJOBID= node128-1338773754-9720
PBS_JOBID= 14636825
Free space on /tmp= 70420 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat25_6_3_5_ic.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3744494-1338802336/watcher-3744494-1338802336 -o /tmp/evaluation-result-3744494-1338802336/solver-3744494-1338802336 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744494-1338802336.opb           

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

MD5SUM BENCH= d92c3493b3e048f1d4b1212b9868f41b
RANDOM SEED=1316337908

node128.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.389
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.77
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.389
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.389
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	: 5438.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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.389
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.389
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.389
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.389
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:       32873852 kB
MemFree:        25890416 kB
Buffers:          563696 kB
Cached:          3899820 kB
SwapCached:          744 kB
Active:          3650284 kB
Inactive:        2411632 kB
Active(anon):    1589540 kB
Inactive(anon):    11420 kB
Active(file):    2060744 kB
Inactive(file):  2400212 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106656 kB
Dirty:              5052 kB
Writeback:             0 kB
AnonPages:       1629112 kB
Mapped:            22364 kB
Shmem:               200 kB
Slab:             757896 kB
SReclaimable:     199864 kB
SUnreclaim:       558032 kB
KernelStack:        1584 kB
PageTables:         7452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1827028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1576960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70416 MiB
End job on node128 at 2012-06-04 12:01:43