Trace number 3741945

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.66 1796.23

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K94.opb
MD5SUM08b0e704e28720f9a0455d95c872079f
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 benchmark1099.94
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6392
Total number of constraints6582
Number of constraints which are clauses6488
Number of constraints which are cardinality constraints (but not clauses)94
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint94
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 95
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.01/0.08	c no version file found!!!
0.01/0.08	c sun.arch.data.model	64
0.01/0.08	c java.version	1.6.0_24
0.01/0.08	c os.name	Linux
0.01/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.01/0.08	c os.arch	amd64
0.01/0.08	c Free memory 1599470296
0.01/0.08	c Max memory 1607860224
0.01/0.08	c Total memory 1607860224
0.01/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-3741945-1338758386.opb
0.08/0.10	c reading problem ... 
0.78/0.44	c ... done. Wall clock time 0.334s.
0.78/0.44	c CPU time (experimental) 0.41s.
0.78/0.44	c #vars     6392
0.78/0.44	c #constraints  6580
801.05/798.54	c cleaning 309675 clauses out of 620467 for limit 6641.582957176401
801.85/799.40	c cleaning 155390 clauses out of 311291 for limit 21809.46942996306
802.46/799.93	c cleaning 77571 clauses out of 156401 for limit 71585.9885269437
802.76/800.23	c cleaning 39065 clauses out of 79330 for limit 232748.01444743792
802.96/800.45	c cleaning 19705 clauses out of 40765 for limit 746950.598146771
803.06/800.58	c cleaning 9993 clauses out of 21560 for limit 2329090.9964017654
803.16/800.68	c cleaning 5123 clauses out of 12069 for limit 6875255.407341353
803.26/800.77	c cleaning 3529 clauses out of 7444 for limit 1.8364331949715395E7
803.36/800.84	c cleaning 2032 clauses out of 4414 for limit 5.1023535146501034E7
803.46/800.90	c cleaning 1419 clauses out of 2883 for limit 1.28958101372567E8
803.46/800.97	c cleaning 913 clauses out of 1963 for limit 3.120285611798461E8
803.56/801.03	c cleaning 689 clauses out of 1550 for limit 6.51686668752277E8
803.56/801.09	c cleaning 604 clauses out of 1361 for limit 1.2239630210696123E9
803.66/801.14	c cleaning 494 clauses out of 1261 for limit 2.187284471108043E9
803.76/801.21	c cleaning 507 clauses out of 1265 for limit 3.5885309327950706E9
803.76/801.28	c cleaning 471 clauses out of 1256 for limit 5.948458605446416E9
803.86/801.35	c cleaning 463 clauses out of 1285 for limit 9.588415437927004E9
803.96/801.40	c cleaning 500 clauses out of 1323 for limit 1.5373775141390171E10
803.96/801.45	c cleaning 479 clauses out of 1322 for limit 2.5347217357570736E10
804.06/801.51	c cleaning 479 clauses out of 1343 for limit 4.114732610379627E10
804.06/801.56	c cleaning 501 clauses out of 1364 for limit 6.6812719271408676E10
804.16/801.62	c cleaning 489 clauses out of 1365 for limit 1.1032292742749414E11
804.16/801.68	c cleaning 490 clauses out of 1374 for limit 1.8038422691914542E11
804.26/801.75	c cleaning 591 clauses out of 1384 for limit 2.9532831605722076E11
804.36/801.81	c cleaning 457 clauses out of 1293 for limit 5.2131298350132135E11
804.36/801.87	c cleaning 473 clauses out of 1336 for limit 8.320443868169235E11
804.46/801.92	c cleaning 490 clauses out of 1365 for limit 1.3456905803035486E12
804.46/801.98	c cleaning 488 clauses out of 1373 for limit 2.201882754476817E12
804.56/802.03	c cleaning 488 clauses out of 1385 for limit 3.599737570804483E12
804.56/802.08	c cleaning 491 clauses out of 1397 for limit 5.885455700550184E12
804.66/802.14	c cleaning 575 clauses out of 1406 for limit 9.643774962988275E12
804.66/802.18	c cleaning 624 clauses out of 1333 for limit 1.6808429983534113E13
804.76/802.24	c cleaning 396 clauses out of 1207 for limit 3.0551806318474777E13
804.76/802.29	c cleaning 588 clauses out of 1314 for limit 4.642032955980162E13
804.86/802.34	c cleaning 504 clauses out of 1223 for limit 8.200295059570406E13
804.86/802.39	c cleaning 377 clauses out of 1220 for limit 1.3570207998968402E14
804.96/802.43	c cleaning 427 clauses out of 1344 for limit 2.0334685745195038E14
804.96/802.50	c cleaning 436 clauses out of 1416 for limit 3.179763762929948E14
805.06/802.56	c cleaning 666 clauses out of 1479 for limit 5.0154662272686856E14
805.16/802.61	c cleaning 593 clauses out of 1313 for limit 9.316883075909036E14
805.16/802.67	c cleaning 347 clauses out of 1221 for limit 1.6539032712330208E15
805.26/802.74	c cleaning 469 clauses out of 1374 for limit 2.4237896376423065E15
805.26/802.79	c cleaning 666 clauses out of 1404 for limit 3.907832357291711E-5
805.35/802.85	c cleaning 574 clauses out of 1239 for limit 7.310079915297024E-5
805.35/802.90	c cleaning 525 clauses out of 1165 for limit 1.282104406428463E-4
805.46/802.95	c cleaning 494 clauses out of 1139 for limit 2.1604636781418046E-4
805.56/803.00	c cleaning 451 clauses out of 1145 for limit 3.5442234419713636E-4
805.56/803.06	c cleaning 298 clauses out of 1197 for limit 5.607791426691966E-4
805.65/803.12	c cleaning 387 clauses out of 1396 for limit 7.905929479512876E-4
805.65/803.18	c cleaning 428 clauses out of 1509 for limit 0.0012061602217272843
805.75/803.24	c cleaning 491 clauses out of 1581 for limit 0.0018985334727069177
805.75/803.29	c cleaning 485 clauses out of 1590 for limit 0.003113213400336508
805.85/803.35	c cleaning 496 clauses out of 1612 for limit 0.005099627417805639
805.95/803.41	c cleaning 483 clauses out of 1610 for limit 0.008370018640901098
805.95/803.48	c cleaning 495 clauses out of 1626 for limit 0.013653787367103296
806.05/803.54	c cleaning 501 clauses out of 1631 for limit 0.02244789397509557
806.15/803.61	c cleaning 497 clauses out of 1630 for limit 0.03704229158935224
806.15/803.67	c cleaning 499 clauses out of 1637 for limit 0.061070391652209434
806.25/803.72	c cleaning 498 clauses out of 1634 for limit 0.1004951660956682
806.25/803.79	c cleaning 480 clauses out of 1636 for limit 0.16552736901571014
806.35/803.86	c cleaning 508 clauses out of 1657 for limit 0.2697869894592843
806.45/803.93	c cleaning 488 clauses out of 1648 for limit 0.4468972458434922
806.56/804.01	c cleaning 486 clauses out of 1662 for limit 0.7322489821167627
806.56/804.08	c cleaning 488 clauses out of 1675 for limit 1.1970060899771178
806.66/804.16	c cleaning 519 clauses out of 1687 for limit 1.9599815163574466
806.75/804.23	c cleaning 508 clauses out of 1668 for limit 3.2690901649874644
806.85/804.30	c cleaning 558 clauses out of 1660 for limit 5.417148540896514
806.85/804.35	c cleaning 519 clauses out of 1603 for limit 9.26052713823875
806.97/804.41	c cleaning 497 clauses out of 1582 for limit 15.443638080558285
806.97/804.47	c cleaning 512 clauses out of 1586 for limit 25.42982142212129
807.07/804.54	c cleaning 503 clauses out of 1575 for limit 42.272344382884114
807.07/804.59	c cleaning 508 clauses out of 1570 for limit 69.79496651348904
807.17/804.65	c cleaning 554 clauses out of 1562 for limit 115.6907437588857
807.27/804.71	c cleaning 509 clauses out of 1508 for limit 197.62149851309496
807.27/804.78	c cleaning 520 clauses out of 1501 for limit 328.079993716771
807.37/804.85	c cleaning 510 clauses out of 1479 for limit 547.998197100272
807.47/804.91	c cleaning 483 clauses out of 1470 for limit 910.1654963013149
807.47/804.97	c cleaning 505 clauses out of 1487 for limit 1483.8247847000773
807.57/805.03	c cleaning 498 clauses out of 1481 for limit 2454.482308763927
807.57/805.07	c cleaning 481 clauses out of 1483 for limit 4042.3107882159347
807.68/805.12	c cleaning 508 clauses out of 1506 for limit 6590.825509349761
807.68/805.17	c cleaning 464 clauses out of 1495 for limit 10916.312126980263
807.78/805.23	c cleaning 514 clauses out of 1530 for limit 17573.047458617275
807.78/805.28	c cleaning 485 clauses out of 1517 for limit 29257.91209364914
807.87/805.33	c cleaning 503 clauses out of 1531 for limit 47761.18527904683
807.87/805.38	c cleaning 482 clauses out of 1529 for limit 78946.55803892498
807.97/805.43	c cleaning 487 clauses out of 1546 for limit 128633.05116296522
808.07/805.51	c cleaning 476 clauses out of 1560 for limit 210439.7907043483
808.07/805.57	c cleaning 495 clauses out of 1585 for limit 341911.40826927475
808.17/805.63	c cleaning 789 clauses out of 1589 for limit 561875.8115529455
808.17/805.69	c cleaning 542 clauses out of 1300 for limit 1133734.2844900151
808.27/805.75	c cleaning 621 clauses out of 1256 for limit 1931309.40945276
808.37/805.80	c cleaning 460 clauses out of 1135 for limit 3524532.5138021074
808.37/805.85	c cleaning 578 clauses out of 1175 for limit 5614555.810484814
808.47/805.91	c cleaning 439 clauses out of 1097 for limit 9917507.310082441
808.47/805.97	c cleaning 441 clauses out of 1158 for limit 1.5493747871593429E7
808.57/806.03	c cleaning 600 clauses out of 1219 for limit 2.4321269985669676E7
808.57/806.07	c cleaning 536 clauses out of 1117 for limit 4.3684125361958295E7
808.67/806.12	c cleaning 531 clauses out of 1081 for limit 7.444011080584799E7
808.67/806.18	c cleaning 506 clauses out of 1051 for limit 1.2639223327127187E8
808.78/806.23	c cleaning 460 clauses out of 1044 for limit 2.0962543663579795E8
808.78/806.29	c cleaning 425 clauses out of 1085 for limit 3.329700255854967E8
808.88/806.36	c cleaning 471 clauses out of 1161 for limit 5.1368047288812417E8
808.97/806.42	c cleaning 476 clauses out of 1188 for limit 8.262199918128436E8
808.97/806.49	c cleaning 595 clauses out of 1213 for limit 1.3358009187457273E9
809.07/806.56	c cleaning 556 clauses out of 1117 for limit 2.389850537624471E9
809.17/806.64	c cleaning 521 clauses out of 1061 for limit 4.149200456829525E9
809.27/806.71	c cleaning 462 clauses out of 1040 for limit 6.980754237929725E9
809.27/806.77	c cleaning 447 clauses out of 1078 for limit 1.1106387301686537E10
809.37/806.83	c cleaning 450 clauses out of 1131 for limit 1.7457612807436935E10
809.37/806.87	c cleaning 465 clauses out of 1182 for limit 2.7575308777902462E10
809.47/806.93	c cleaning 523 clauses out of 1216 for limit 4.4159653908583405E10
809.47/806.98	c cleaning 502 clauses out of 1193 for limit 7.422918279259412E10
809.57/807.05	c cleaning 479 clauses out of 1191 for limit 1.2261941745129478E11
809.67/807.11	c cleaning 484 clauses out of 1216 for limit 1.988526436844069E11
809.67/807.15	c cleaning 486 clauses out of 1228 for limit 3.234330656426179E11
809.67/807.19	c cleaning 475 clauses out of 1244 for limit 5.275787738829896E11
809.77/807.24	c cleaning 527 clauses out of 1267 for limit 8.52546239593335E11
809.88/807.30	c cleaning 614 clauses out of 1240 for limit 1.4365765068288213E12
809.88/807.38	c cleaning 553 clauses out of 1126 for limit 2.6089631292132725E12
809.98/807.45	c cleaning 500 clauses out of 1073 for limit 4.515049303589263E12
810.07/807.53	c cleaning 484 clauses out of 1072 for limit 7.452866135296864E12
810.07/807.60	c cleaning 463 clauses out of 1088 for limit 1.2110026617761861E13
810.17/807.65	c cleaning 488 clauses out of 1127 for limit 1.931857051994609E13
810.27/807.72	c cleaning 544 clauses out of 1138 for limit 3.1519405450725957E13
810.27/807.78	c cleaning 452 clauses out of 1093 for limit 5.406565790900559E13
810.37/807.85	c cleaning 471 clauses out of 1145 for limit 8.545354846427634E13
810.47/807.93	c cleaning 490 clauses out of 1170 for limit 1.3736230389747747E14
810.47/808.00	c cleaning 490 clauses out of 1180 for limit 2.246090794057792E14
810.57/808.07	c cleaning 477 clauses out of 1190 for limit 3.6729772700347406E14
810.67/808.15	c cleaning 493 clauses out of 1213 for limit 5.942378192638772E14
810.77/808.21	c cleaning 494 clauses out of 1221 for limit 9.745313710033236E14
810.77/808.29	c cleaning 507 clauses out of 1226 for limit 1.5989776486386165E15
810.87/808.35	c cleaning 475 clauses out of 1219 for limit 2.652070376792254E15
810.98/808.43	c cleaning 619 clauses out of 1244 for limit 4.2857245696863615E15
810.98/808.48	c cleaning 535 clauses out of 1128 for limit 7.817987286850683E-5
811.08/808.54	c cleaning 511 clauses out of 1090 for limit 1.33023972567903E-4
811.08/808.59	c cleaning 490 clauses out of 1079 for limit 2.216107653091094E-4
811.17/808.63	c cleaning 501 clauses out of 1089 for limit 3.621098224409132E-4
811.17/808.68	c cleaning 493 clauses out of 1088 for limit 5.977164066141514E-4
811.27/808.73	c cleaning 414 clauses out of 1095 for limit 9.794129455231333E-4
811.27/808.79	c cleaning 454 clauses out of 1181 for limit 0.0014975659211707872
811.37/808.84	c cleaning 456 clauses out of 1227 for limit 0.002377098459171375
811.47/808.90	c cleaning 478 clauses out of 1272 for limit 0.003785253944845589
811.47/808.96	c cleaning 441 clauses out of 1296 for limit 0.006139062305455447
811.57/809.01	c cleaning 503 clauses out of 1357 for limit 0.009688400992687252
811.57/809.07	c cleaning 466 clauses out of 1350 for limit 0.015996170501101005
811.67/809.12	c cleaning 491 clauses out of 1384 for limit 0.02573176579893238
811.67/809.19	c cleaning 479 clauses out of 1392 for limit 0.042149052868596604
811.77/809.26	c cleaning 477 clauses out of 1414 for limit 0.06849644699677346
811.87/809.33	c cleaning 525 clauses out of 1436 for limit 0.11111799320461115
811.97/809.40	c cleaning 496 clauses out of 1411 for limit 0.18649521895336024
811.97/809.46	c cleaning 576 clauses out of 1415 for limit 0.3066861499135692
812.08/809.52	c cleaning 550 clauses out of 1339 for limit 0.5344731753991281
812.08/809.58	c cleaning 504 clauses out of 1289 for limit 0.9156077499706934
812.18/809.66	c cleaning 514 clauses out of 1285 for limit 1.5146599310715383
812.27/809.74	c cleaning 542 clauses out of 1271 for limit 2.525390839719797
812.37/809.83	c cleaning 528 clauses out of 1229 for limit 4.307032565780787
812.47/809.91	c cleaning 507 clauses out of 1201 for limit 7.268468589721844
812.47/809.98	c cleaning 478 clauses out of 1194 for limit 12.056950713904914
812.57/810.05	c cleaning 500 clauses out of 1216 for limit 19.52378985577566
812.67/810.12	c cleaning 490 clauses out of 1216 for limit 32.19734131805318
812.67/810.19	c cleaning 485 clauses out of 1228 for limit 52.68416851111484
812.77/810.25	c cleaning 507 clauses out of 1241 for limit 85.80124288981322
812.87/810.33	c cleaning 498 clauses out of 1234 for limit 142.3003891511218
812.97/810.40	c cleaning 486 clauses out of 1241 for limit 234.51893421215902
812.97/810.46	c cleaning 492 clauses out of 1251 for limit 382.1291986291346
813.07/810.54	c cleaning 499 clauses out of 1258 for limit 626.0489152320614
813.07/810.60	c cleaning 511 clauses out of 1259 for limit 1031.6183661471957
813.18/810.67	c cleaning 494 clauses out of 1249 for limit 1716.6144180648116
813.28/810.74	c cleaning 489 clauses out of 1254 for limit 2816.819593722839
813.37/810.81	c cleaning 477 clauses out of 1268 for limit 4607.833080302466
813.37/810.87	c cleaning 491 clauses out of 1288 for limit 7458.516940934533
813.47/810.93	c cleaning 531 clauses out of 1297 for limit 12214.740768675802
813.47/810.98	c cleaning 504 clauses out of 1266 for limit 20636.992762616544
813.57/811.03	c cleaning 508 clauses out of 1262 for limit 34141.03239353945
813.57/811.08	c cleaning 496 clauses out of 1260 for limit 56732.0421759397
813.67/811.13	c cleaning 484 clauses out of 1258 for limit 93146.62796434916
813.67/811.18	c cleaning 472 clauses out of 1274 for limit 151682.06676709335
813.77/811.23	c cleaning 486 clauses out of 1302 for limit 244764.57847757544
813.77/811.29	c cleaning 495 clauses out of 1316 for limit 399355.3899510487
813.87/811.33	c cleaning 456 clauses out of 1321 for limit 656097.6904573822
813.87/811.38	c cleaning 498 clauses out of 1366 for limit 1047396.2774512841
813.97/811.42	c cleaning 670 clauses out of 1367 for limit 1724306.9793130767
813.97/811.47	c cleaning 593 clauses out of 1197 for limit 3247467.677897385
814.07/811.53	c cleaning 490 clauses out of 1105 for limit 5807204.345748172
814.07/811.59	c cleaning 396 clauses out of 1114 for limit 9489985.97974233
814.17/811.64	c cleaning 394 clauses out of 1219 for limit 1.4316519687055314E7
814.17/811.70	c cleaning 650 clauses out of 1326 for limit 2.1726413215713367E7
814.28/811.75	c cleaning 486 clauses out of 1174 for limit 4.038781197739794E7
814.38/811.82	c cleaning 395 clauses out of 1188 for limit 6.581999864843298E7
814.38/811.89	c cleaning 628 clauses out of 1294 for limit 9.975402591124809E7
814.47/811.94	c cleaning 405 clauses out of 1168 for limit 1.8261934310087955E8
814.57/812.00	c cleaning 432 clauses out of 1261 for limit 2.783949774830569E8
814.57/812.05	c cleaning 459 clauses out of 1328 for limit 4.3551165576552975E8
814.67/812.11	c cleaning 515 clauses out of 1369 for limit 6.967071966263121E8
814.67/812.16	c cleaning 455 clauses out of 1354 for limit 1.1616919165276968E9
814.77/812.23	c cleaning 692 clauses out of 1401 for limit 1.8552242269088984E9
814.77/812.29	c cleaning 583 clauses out of 1207 for limit 3.544166658446939E9
814.87/812.36	c cleaning 507 clauses out of 1124 for limit 6.276405315430452E9
814.97/812.44	c cleaning 402 clauses out of 1119 for limit 1.041770647564853E10
815.07/812.51	c cleaning 389 clauses out of 1216 for limit 1.5793922536358883E10
815.17/812.60	c cleaning 626 clauses out of 1327 for limit 2.3867588561344433E10
815.17/812.65	c cleaning 407 clauses out of 1200 for limit 4.348300953694869E10
815.27/812.72	c cleaning 444 clauses out of 1293 for limit 6.655155431960373E10
815.27/812.78	c cleaning 476 clauses out of 1350 for limit 1.0522364892419792E11
815.38/812.85	c cleaning 515 clauses out of 1376 for limit 1.7059001337517184E11
815.38/812.90	c cleaning 460 clauses out of 1358 for limit 2.842003568418867E11
815.48/812.95	c cleaning 497 clauses out of 1399 for limit 4.5540424353370685E11
815.57/813.01	c cleaning 689 clauses out of 1402 for limit 7.494154822732404E11
815.57/813.07	c cleaning 591 clauses out of 1212 for limit 1.4282013196764155E12
815.67/813.12	c cleaning 425 clauses out of 1123 for limit 2.5470484380296562E12
815.67/813.17	c cleaning 398 clauses out of 1196 for limit 3.936159098927183E12
815.77/813.22	c cleaning 623 clauses out of 1298 for limit 5.981154466250438E12
815.77/813.28	c cleaning 399 clauses out of 1175 for limit 1.0896266867634418E13
815.87/813.33	c cleaning 404 clauses out of 1276 for limit 1.6547058813438404E13
815.87/813.39	c cleaning 487 clauses out of 1372 for limit 2.537892723429095E13
815.97/813.44	c cleaning 515 clauses out of 1385 for limit 4.1460399787815305E13
815.97/813.49	c cleaning 510 clauses out of 1370 for limit 6.912236337706393E13
816.07/813.54	c cleaning 504 clauses out of 1361 for limit 1.1486068963847598E14
816.17/813.60	c cleaning 658 clauses out of 1356 for limit 1.899289776036864E14
816.17/813.65	c cleaning 567 clauses out of 1198 for limit 3.5452754956243106E14
816.27/813.71	c cleaning 510 clauses out of 1131 for limit 6.192985868934218E14
816.27/813.76	c cleaning 419 clauses out of 1121 for limit 1.0304168890608052E15
816.37/813.82	c cleaning 404 clauses out of 1205 for limit 1.585590212693913E15
816.37/813.87	c cleaning 443 clauses out of 1298 for limit 2.4202245531131245E15
816.48/813.94	c cleaning 651 clauses out of 1355 for limit 3.823375446340525E15
816.58/814.02	c cleaning 594 clauses out of 1204 for limit 7.096033254616533E-5
816.58/814.08	c cleaning 496 clauses out of 1110 for limit 1.269331440104361E-4
816.67/814.14	c cleaning 497 clauses out of 1114 for limit 2.0857810248367281E-4
816.77/814.20	c cleaning 497 clauses out of 1117 for limit 3.430493627569035E-4
816.77/814.25	c cleaning 366 clauses out of 1120 for limit 5.642189317994383E-4
1625.02/1621.56	c cleaning 285687 clauses out of 572247 for limit 232.80672174522428
1626.82/1623.34	c cleaning 143372 clauses out of 287059 for limit 764.5911161049615
1627.42/1623.90	c cleaning 71461 clauses out of 144187 for limit 2510.326417041391
1627.72/1624.28	c cleaning 35942 clauses out of 73226 for limit 8151.67540403008
1628.13/1624.61	c cleaning 18190 clauses out of 37785 for limit 26078.533247942658
1628.32/1624.80	c cleaning 9262 clauses out of 20094 for limit 80789.99203273852
1628.42/1624.92	c cleaning 4758 clauses out of 11332 for limit 236250.798139961
1628.52/1625.03	c cleaning 2727 clauses out of 7074 for limit 624123.7104931545
1628.62/1625.13	c cleaning 1611 clauses out of 4847 for limit 1502168.3402294524
1628.72/1625.20	c cleaning 1047 clauses out of 3736 for limit 3213961.305016384
1628.72/1625.27	c cleaning 921 clauses out of 3190 for limit 6213656.297367762
1628.82/1625.33	c cleaning 743 clauses out of 2768 for limit 1.1797587293679198E7
1628.82/1625.38	c cleaning 636 clauses out of 2526 for limit 2.134107724919883E7
1628.92/1625.45	c cleaning 769 clauses out of 2389 for limit 3.717533660543367E7
1629.02/1625.51	c cleaning 422 clauses out of 2120 for limit 6.90861649809485E7
1629.02/1625.56	c cleaning 486 clauses out of 2199 for limit 1.0994921062900935E8
1629.12/1625.61	c cleaning 470 clauses out of 2212 for limit 1.8007507224737835E8
1629.12/1625.66	c cleaning 684 clauses out of 2243 for limit 2.931567143316329E8
1629.23/1625.71	c cleaning 412 clauses out of 2058 for limit 5.263869621826901E8
1629.23/1625.76	c cleaning 445 clauses out of 2146 for limit 8.324854729642161E8
1629.33/1625.81	c cleaning 482 clauses out of 2202 for limit 1.3393049238783338E9
1629.33/1625.87	c cleaning 874 clauses out of 2220 for limit 2.1907846669543905E9
1629.42/1625.92	c cleaning 332 clauses out of 1845 for limit 4.342878425349815E9
1629.42/1625.97	c cleaning 374 clauses out of 2015 for limit 6.570885544400757E9
1629.52/1626.03	c cleaning 443 clauses out of 2144 for limit 1.021488764771975E10
1629.52/1626.09	c cleaning 539 clauses out of 2197 for limit 1.6373674713476364E10
1629.62/1626.14	c cleaning 442 clauses out of 2159 for limit 2.75051470802352E10
1629.72/1626.20	c cleaning 491 clauses out of 2215 for limit 4.41244948872404E10
1629.72/1626.26	c cleaning 468 clauses out of 2225 for limit 7.25126640296519E10
1629.82/1626.33	c cleaning 507 clauses out of 2259 for limit 1.1801916994935918E11
1629.82/1626.39	c cleaning 841 clauses out of 2249 for limit 1.9490890562397952E11
1629.92/1626.45	c cleaning 363 clauses out of 1911 for limit 3.794196977373917E11
1630.02/1626.50	c cleaning 401 clauses out of 2045 for limit 5.829611323849487E11
1630.02/1626.55	c cleaning 417 clauses out of 2144 for limit 9.169887729224822E11
1630.12/1626.61	c cleaning 449 clauses out of 2227 for limit 1.455876277115956E12
1630.12/1626.67	c cleaning 486 clauses out of 2278 for limit 2.3471824742064297E12
1630.22/1626.73	c cleaning 480 clauses out of 2292 for limit 3.8471741610632676E12
1630.33/1626.81	c cleaning 537 clauses out of 2314 for limit 6.296772699375582E12
1630.33/1626.88	c cleaning 504 clauses out of 2277 for limit 1.055295843175969E13
1630.43/1626.93	c cleaning 538 clauses out of 2271 for limit 1.7414338711865262E13
1630.43/1626.99	c cleaning 436 clauses out of 2234 for limit 2.922344097580882E13
1630.52/1627.06	c cleaning 1147 clauses out of 2297 for limit 4.682468886934682E13
1630.62/1627.12	c cleaning 172 clauses out of 1650 for limit 1.0749984506952014E14
1630.62/1627.18	c cleaning 529 clauses out of 1978 for limit 1.4788406583730028E14
1630.72/1627.24	c cleaning 304 clauses out of 1952 for limit 2.4787189018444588E14
1630.82/1627.30	c cleaning 425 clauses out of 2146 for limit 3.710771716319088E14
1630.82/1627.37	c cleaning 461 clauses out of 2224 for limit 5.922684449301828E14
1630.92/1627.44	c cleaning 477 clauses out of 2260 for limit 9.582907370442609E14
1631.02/1627.52	c cleaning 581 clauses out of 2282 for limit 1.5635488862160668E15
1631.02/1627.58	c cleaning 433 clauses out of 2202 for limit 2.674854656515802E15
1631.12/1627.65	c cleaning 1106 clauses out of 2268 for limit 4.2785422840950965E-5
1631.22/1627.70	c cleaning 659 clauses out of 1664 for limit 9.636303441695847E-5
1631.22/1627.75	c cleaning 505 clauses out of 1504 for limit 1.7564562150222776E-4
1631.32/1627.80	c cleaning 428 clauses out of 1498 for limit 2.905325034231036E-4
1631.32/1627.85	c cleaning 146 clauses out of 1572 for limit 4.574871589437709E-4
1631.43/1627.91	c cleaning 305 clauses out of 1924 for limit 6.151956358702883E-4
1631.43/1627.98	c cleaning 410 clauses out of 2119 for limit 9.211773351937529E-4
1631.53/1628.03	c cleaning 474 clauses out of 2211 for limit 0.0014588490894631547
1631.53/1628.08	c cleaning 494 clauses out of 2235 for limit 0.002375245189634073
1631.62/1628.13	c cleaning 499 clauses out of 2242 for limit 0.003908775839462278
1631.62/1628.17	c cleaning 478 clauses out of 2243 for limit 0.006443220394230829
1631.72/1628.22	c cleaning 479 clauses out of 2264 for limit 0.010516644977952143
1631.72/1628.26	c cleaning 501 clauses out of 2287 for limit 0.017203324512591225
1631.82/1628.31	c cleaning 499 clauses out of 2287 for limit 0.02839898252336553
1631.82/1628.37	c cleaning 487 clauses out of 2285 for limit 0.0467342300815345
1631.92/1628.42	c cleaning 499 clauses out of 2298 for limit 0.07663499958842326
1631.92/1628.47	c cleaning 486 clauses out of 2300 for limit 0.12639786739521336
1632.02/1628.53	c cleaning 505 clauses out of 2313 for limit 0.2070681602925229
1632.02/1628.58	c cleaning 490 clauses out of 2310 for limit 0.3426114622604054
1632.12/1628.63	c cleaning 481 clauses out of 2318 for limit 0.5619365750581071
1632.12/1628.69	c cleaning 505 clauses out of 2339 for limit 0.920227951324333
1632.22/1628.74	c cleaning 487 clauses out of 2332 for limit 1.5190915911300296
1632.32/1628.80	c cleaning 502 clauses out of 2346 for limit 2.4927280276096253
1632.32/1628.87	c cleaning 493 clauses out of 2344 for limit 4.114349533076743
1632.42/1628.94	c cleaning 493 clauses out of 2351 for limit 6.764910410371514
1632.42/1628.99	c cleaning 518 clauses out of 2357 for limit 11.116714988645853
1632.53/1629.05	c cleaning 538 clauses out of 2339 for limit 18.474033169397465
1632.63/1629.11	c cleaning 529 clauses out of 2301 for limit 30.96928717134436
1632.63/1629.17	c cleaning 503 clauses out of 2273 for limit 51.753388604472846
1632.72/1629.22	c cleaning 508 clauses out of 2269 for limit 85.41322222599425
1632.72/1629.26	c cleaning 500 clauses out of 2261 for limit 141.35622108700034
1632.82/1629.31	c cleaning 508 clauses out of 2261 for limit 233.11531886940173
1632.82/1629.36	c cleaning 484 clauses out of 2253 for limit 385.80341822773283
1632.92/1629.40	c cleaning 474 clauses out of 2269 for limit 631.7549508617474
1632.92/1629.44	c cleaning 481 clauses out of 2297 for limit 1031.209879875868
1632.92/1629.49	c cleaning 481 clauses out of 2314 for limit 1684.7348874611562
1633.02/1629.55	c cleaning 484 clauses out of 2335 for limit 2758.8808813166393
1633.12/1629.61	c cleaning 538 clauses out of 2349 for limit 4513.606364270852
1633.12/1629.65	c cleaning 492 clauses out of 2311 for limit 7565.935585250186
1633.12/1629.69	c cleaning 485 clauses out of 2319 for limit 12434.196414305641
1633.22/1629.74	c cleaning 490 clauses out of 2334 for limit 20373.868899957768
1633.22/1629.79	c cleaning 503 clauses out of 2345 for limit 33475.10213197031
1633.32/1629.84	c cleaning 491 clauses out of 2341 for limit 55243.949462645476
1633.32/1629.87	c cleaning 499 clauses out of 2350 for limit 90755.75159166494
1633.42/1629.92	c cleaning 484 clauses out of 2351 for limit 149604.7138815157
1633.42/1629.97	c cleaning 481 clauses out of 2367 for limit 245050.46790123716
1633.52/1630.02	c cleaning 471 clauses out of 2386 for limit 400902.9405178719
1633.52/1630.08	c cleaning 503 clauses out of 2415 for limit 653203.394479969
1633.62/1630.13	c cleaning 487 clauses out of 2412 for limit 1078559.6070830803
1633.62/1630.17	c cleaning 494 clauses out of 2425 for limit 1769153.8387782422
1633.72/1630.22	c cleaning 484 clauses out of 2432 for limit 2912085.8242208795
1633.72/1630.27	c cleaning 493 clauses out of 2447 for limit 4768207.502353854
1633.82/1630.32	c cleaning 960 clauses out of 2454 for limit 7840981.780045577
1633.82/1630.37	c cleaning 403 clauses out of 1995 for limit 1.5921812375852993E7
1633.92/1630.42	c cleaning 361 clauses out of 2092 for limit 2.5039728100630965E7
1633.92/1630.48	c cleaning 388 clauses out of 2232 for limit 3.874248712593122E7
1634.02/1630.54	c cleaning 432 clauses out of 2343 for limit 6.08038073459207E7
1634.12/1630.61	c cleaning 474 clauses out of 2412 for limit 9.750259135188831E7
1634.12/1630.66	c cleaning 547 clauses out of 2437 for limit 1.589861555312605E8
1634.22/1630.71	c cleaning 512 clauses out of 2389 for limit 2.6718991536596957E8
1634.22/1630.76	c cleaning 502 clauses out of 2377 for limit 4.428563919474024E8
1634.32/1630.80	c cleaning 504 clauses out of 2376 for limit 7.313681804780978E8
1634.32/1630.85	c cleaning 481 clauses out of 2373 for limit 1.2088576369949708E9
1634.42/1630.90	c cleaning 1189 clauses out of 2391 for limit 1.9765813617038822E9
1634.42/1630.94	c cleaning 370 clauses out of 1701 for limit 4.57732061768355E9
1634.42/1630.98	c cleaning 386 clauses out of 1831 for limit 7.012666567279473E9
1634.52/1631.03	c cleaning 319 clauses out of 1945 for limit 1.088698978790276E10
1634.52/1631.08	c cleaning 404 clauses out of 2127 for limit 1.6434266682580404E10
1634.62/1631.13	c cleaning 409 clauses out of 2223 for limit 2.5931894394298065E10
1634.62/1631.18	c cleaning 438 clauses out of 2313 for limit 4.106004769105233E10
1634.72/1631.23	c cleaning 469 clauses out of 2380 for limit 6.613731672544764E10
1634.72/1631.27	c cleaning 1062 clauses out of 2406 for limit 1.0735227026635823E11
1634.82/1631.32	c cleaning 362 clauses out of 1844 for limit 2.3099459952690338E11
1634.82/1631.38	c cleaning 521 clauses out of 1982 for limit 3.544173549905324E11
1634.92/1631.42	c cleaning 315 clauses out of 1962 for limit 5.910306808352899E11
1634.92/1631.47	c cleaning 358 clauses out of 2146 for limit 8.902268455400729E11
1635.02/1631.53	c cleaning 495 clauses out of 2288 for limit 1.3769883666471365E12
1635.02/1631.59	c cleaning 428 clauses out of 2293 for limit 2.265886352088692E12
1635.12/1631.64	c cleaning 461 clauses out of 2365 for limit 3.6229882057897295E12
1635.12/1631.69	c cleaning 488 clauses out of 2405 for limit 5.88130068304499E12
1635.22/1631.75	c cleaning 1192 clauses out of 2416 for limit 9.645237131350924E12
1635.32/1631.81	c cleaning 440 clauses out of 1725 for limit 2.2300322242676766E13
1635.32/1631.85	c cleaning 317 clauses out of 1784 for limit 3.552440096496858E13
1635.42/1631.91	c cleaning 376 clauses out of 1967 for limit 5.313407695783357E13
1635.42/1631.97	c cleaning 319 clauses out of 2092 for limit 8.247194157420972E13
1635.52/1632.02	c cleaning 453 clauses out of 2273 for limit 1.25176945643952E14
1635.52/1632.07	c cleaning 575 clauses out of 2321 for limit 2.023666975723697E14
1635.62/1632.11	c cleaning 433 clauses out of 2245 for limit 3.446824845914165E14
1635.62/1632.15	c cleaning 448 clauses out of 2311 for limit 5.5164157521024456E14
1635.72/1632.20	c cleaning 476 clauses out of 2364 for limit 8.902251550912176E14
1635.72/1632.24	c cleaning 1175 clauses out of 2387 for limit 1.4525004995136715E15
1635.72/1632.29	c cleaning 709 clauses out of 1712 for limit 3.3398028893152845E15
1635.82/1632.33	c cleaning 635 clauses out of 1503 for limit 6.273667574919796E-5
1635.82/1632.37	c cleaning 480 clauses out of 1370 for limit 1.1373256316190187E-4
1635.92/1632.41	c cleaning 448 clauses out of 1389 for limit 1.8480959848681734E-4
1635.92/1632.45	c cleaning 453 clauses out of 1440 for limit 2.936876284888894E-4
1635.92/1632.49	c cleaning 192 clauses out of 1489 for limit 4.693300450360153E-4
1636.02/1632.54	c cleaning 170 clauses out of 1795 for limit 6.407601074958396E-4
1636.02/1632.59	c cleaning 343 clauses out of 2127 for limit 8.935468726114019E-4
1636.12/1632.64	c cleaning 425 clauses out of 2286 for limit 0.001373831638019522
1636.12/1632.69	c cleaning 446 clauses out of 2357 for limit 0.002188608073702597
1636.22/1632.75	c cleaning 486 clauses out of 2414 for limit 0.0035346770172051812
1636.32/1632.82	c cleaning 486 clauses out of 2425 for limit 0.005785322994118924
1636.32/1632.88	c cleaning 500 clauses out of 2440 for limit 0.009491610890651746
1636.42/1632.94	c cleaning 524 clauses out of 2439 for limit 0.015643694537769405
1636.42/1632.99	c cleaning 508 clauses out of 2415 for limit 0.02605492812538004
1636.52/1633.04	c cleaning 482 clauses out of 2407 for limit 0.04311087238799134
1636.52/1633.09	c cleaning 499 clauses out of 2427 for limit 0.07065095485990236
1636.62/1633.15	c cleaning 504 clauses out of 2428 for limit 0.11646488889837388
1636.72/1633.20	c cleaning 514 clauses out of 2422 for limit 0.19215709467682288
1636.72/1633.25	c cleaning 500 clauses out of 2408 for limit 0.31873515517922313
1636.82/1633.31	c cleaning 503 clauses out of 2409 for limit 0.5259446580346727
1636.82/1633.36	c cleaning 494 clauses out of 2405 for limit 0.8679268881526022
1636.92/1633.42	c cleaning 496 clauses out of 2411 for limit 1.427765554677662
1636.92/1633.47	c cleaning 506 clauses out of 2418 for limit 2.3548174012574172
1637.02/1633.52	c cleaning 488 clauses out of 2412 for limit 3.893069137694804
1637.02/1633.57	c cleaning 473 clauses out of 2425 for limit 6.392166456863169
1637.12/1633.63	c cleaning 486 clauses out of 2448 for limit 10.400788023408616
1637.12/1633.69	c cleaning 523 clauses out of 2462 for limit 17.05475547684047
1637.22/1633.75	c cleaning 515 clauses out of 2441 for limit 28.42435881347376
1637.32/1633.81	c cleaning 508 clauses out of 2425 for limit 47.137667486603085
1637.32/1633.87	c cleaning 502 clauses out of 2416 for limit 77.94787441038281
1800.05/1796.22	c starts		: 23
1800.05/1796.22	c conflicts		: 1585416
1800.05/1796.22	c decisions		: 4814166
1800.05/1796.22	c propagations		: 502300603
1800.05/1796.22	c inspects		: 10794033200
1800.05/1796.22	c learnt literals	: 51
1800.05/1796.22	c learnt binary clauses	: 75007
1800.05/1796.22	c learnt ternary clauses	: 55286
1800.05/1796.22	c learnt clauses	: 1585365
1800.05/1796.22	c root simplifications	: 0
1800.05/1796.22	c removed literals (reason simplification)	: 0
1800.05/1796.22	c reason swapping (by a shorter reason)	: 0
1800.05/1796.22	c Calls to reduceDB	: 404
1800.05/1796.22	c speed (decisions/second)	: 2680.835139892559
1800.05/1796.22	c non guided choices	5696
1800.05/1796.22	s UNKNOWN
1800.05/1796.22	c Total wall clock time (ms): 1796.111

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-3741945-1338758386/watcher-3741945-1338758386 -o /tmp/evaluation-result-3741945-1338758386/solver-3741945-1338758386 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741945-1338758386.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.96 2.02 2.00 2/194 12070
/proc/meminfo: memFree=25393532/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (java) D 12068 12070 11123 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 341965983 9515008 183 33554432000 1073741824 1073778376 140737086383296 140737086374328 219513962165 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 2323 183 140 9 0 71 0

[startup+0.044518 s]
/proc/loadavg: 1.96 2.02 2.00 2/194 12070
/proc/meminfo: memFree=25393532/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=2623916 CPUtime=0.01 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12068 12070 11123 0 -1 4202496 3914 0 1 0 1 0 0 0 20 0 13 0 341965983 2686889984 5121 33554432000 1073741824 1073778376 140736075303072 140736075294208 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 655979 5121 1684 9 0 646680 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2623916

[startup+0.100254 s]
/proc/loadavg: 1.96 2.02 2.00 2/194 12070
/proc/meminfo: memFree=25393532/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12068 12070 11123 0 -1 4202496 4891 0 1 0 7 1 0 0 20 0 18 0 341965983 3028844544 6585 33554432000 1073741824 1073778376 140736075303072 140736075294208 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 739464 6585 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300225 s]
/proc/loadavg: 1.96 2.02 2.00 2/194 12070
/proc/meminfo: memFree=25393532/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=2957856 CPUtime=0.51 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12068 12070 11123 0 -1 4202496 8180 0 1 0 49 2 0 0 20 0 18 0 341965983 3028844544 10850 33554432000 1073741824 1073778376 140736075303072 140736075294208 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 739464 10850 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2957856

[startup+0.700226 s]
/proc/loadavg: 1.96 2.02 2.00 2/194 12070
/proc/meminfo: memFree=25393532/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=3024420 CPUtime=1.35 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12068 12070 11123 0 -1 4202496 11100 0 1 0 132 3 0 0 20 0 19 0 341965983 3097006080 17646 33554432000 1073741824 1073778376 140736075303072 140736075294208 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 756105 17646 2270 9 0 746526 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 3024420

[startup+1.50069 s]
/proc/loadavg: 1.96 2.02 2.00 3/213 12089
/proc/meminfo: memFree=25331724/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=3024420 CPUtime=2.17 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12068 12070 11123 0 -1 4202496 11105 0 1 0 214 3 0 0 20 0 19 0 341965983 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140736075294208 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 756105 18161 2272 9 0 746526 0
[pid=12070/tid=12072] ppid=12068 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/12070/task/12072/stat : 12072 (java) R 12068 12070 11123 0 -1 4202560 3052 0 1 0 144 2 0 0 20 0 19 0 341965984 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149589066184 140149430792735 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12073/stat : 12073 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149572491560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12074/stat : 12074 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149571438760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12075/stat : 12075 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149570386472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12076/stat : 12076 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149569333672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12077/stat : 12077 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149568281384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12078/stat : 12078 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149567228584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12079/stat : 12079 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149566176296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12080/stat : 12080 (java) S 12068 12070 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149565123496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12081/stat : 12081 (java) S 12068 12070 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149552711912 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12082/stat : 12082 (java) S 12068 12070 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149551657976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12083/stat : 12083 (java) S 12068 12070 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149550605576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12084/stat : 12084 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149549554064 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/12070/task/12085/stat : 12085 (java) S 12068 12070 11123 0 -1 4202560 4216 0 0 0 35 0 0 0 20 0 19 0 341965990 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149430151864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/12070/task/12086/stat : 12086 (java) S 12068 12070 11123 0 -1 4202560 2641 0 0 0 33 0 0 0 20 0 19 0 341965990 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149429099064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12087] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12087/stat : 12087 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149428046968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12088] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12088/stat : 12088 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149426994376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12089] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12089/stat : 12089 (java) S 12068 12070 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341966028 3097006080 18161 33554432000 1073741824 1073778376 140736075303072 140149424862120 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 3024420

[startup+3.10068 s]
/proc/loadavg: 1.96 2.02 2.00 3/213 12089
/proc/meminfo: memFree=25327256/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=3024420 CPUtime=3.79 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12068 12070 11123 0 -1 4202496 11108 0 1 0 376 3 0 0 20 0 19 0 341965983 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140736075294208 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 756105 19697 2272 9 0 746526 0
[pid=12070/tid=12072] ppid=12068 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/12070/task/12072/stat : 12072 (java) R 12068 12070 11123 0 -1 4202560 3055 0 1 0 303 2 0 0 20 0 19 0 341965984 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149589064232 140149430741791 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12073/stat : 12073 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149572491560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12074/stat : 12074 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149571438760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12075/stat : 12075 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149570386472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12076/stat : 12076 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149569333672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12077/stat : 12077 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149568281384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12078/stat : 12078 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149567228584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12079/stat : 12079 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149566176296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12080/stat : 12080 (java) S 12068 12070 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149565123496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12081/stat : 12081 (java) S 12068 12070 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149552711912 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12082/stat : 12082 (java) S 12068 12070 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149551657976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12083/stat : 12083 (java) S 12068 12070 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149550605576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12084/stat : 12084 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149549554064 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12070/task/12085/stat : 12085 (java) S 12068 12070 11123 0 -1 4202560 4216 0 0 0 36 0 0 0 20 0 19 0 341965990 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149430151864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/12070/task/12086/stat : 12086 (java) S 12068 12070 11123 0 -1 4202560 2641 0 0 0 34 0 0 0 20 0 19 0 341965990 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149429099064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12087] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12087/stat : 12087 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149428046968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12088] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12088/stat : 12088 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149426994376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12089] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12089/stat : 12089 (java) S 12068 12070 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341966028 3097006080 19697 33554432000 1073741824 1073778376 140736075303072 140149424862120 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 3024420

[startup+6.30073 s]
/proc/loadavg: 1.97 2.02 2.00 3/213 12089
/proc/meminfo: memFree=25310252/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=3024420 CPUtime=7 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12068 12070 11123 0 -1 4202496 11120 0 1 0 696 4 0 0 20 0 19 0 341965983 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140736075294208 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 756105 24276 2273 9 0 746526 0
[pid=12070/tid=12072] ppid=12068 vsize=3024420 CPUtime=6.25 cores=0,2,4,6
/proc/12070/task/12072/stat : 12072 (java) R 12068 12070 11123 0 -1 4202560 3066 0 1 0 623 2 0 0 20 0 19 0 341965984 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149589064224 140149430843096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12073/stat : 12073 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149572491560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12074/stat : 12074 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149571438760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12075/stat : 12075 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149570386472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12076/stat : 12076 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149569333672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12077/stat : 12077 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149568281384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12078/stat : 12078 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149567228584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12079/stat : 12079 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149566176296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12080/stat : 12080 (java) S 12068 12070 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341965986 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149565123496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12081/stat : 12081 (java) S 12068 12070 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149552711912 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12082/stat : 12082 (java) S 12068 12070 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149551657976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12083/stat : 12083 (java) S 12068 12070 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149550605576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12084/stat : 12084 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149549554064 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12070/task/12085/stat : 12085 (java) S 12068 12070 11123 0 -1 4202560 4216 0 0 0 36 0 0 0 20 0 19 0 341965990 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149430151864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/12070/task/12086/stat : 12086 (java) S 12068 12070 11123 0 -1 4202560 2641 0 0 0 34 0 0 0 20 0 19 0 341965990 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149429099064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12087] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12087/stat : 12087 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149428046968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12088] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12088/stat : 12088 (java) S 12068 12070 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149426994376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12089] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12089/stat : 12089 (java) S 12068 12070 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341966028 3097006080 24276 33554432000 1073741824 1073778376 140736075303072 140149424862120 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=12070/tid=12078] ppid=12068 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/12070/task/12078/stat : 12078 (java) S 12068 12070 11123 0 -1 4202560 203 0 0 0 18 11 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149567228584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/12070/task/12079/stat : 12079 (java) S 12068 12070 11123 0 -1 4202560 205 0 0 0 25 12 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149566176296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/12070/task/12080/stat : 12080 (java) S 12068 12070 11123 0 -1 4202560 199 0 0 0 37 12 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149565123496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=3024420 CPUtime=1.98 cores=0,2,4,6
/proc/12070/task/12081/stat : 12081 (java) S 12068 12070 11123 0 -1 4202560 214 0 0 0 191 7 0 0 20 0 19 0 341965987 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149552711912 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12082/stat : 12082 (java) S 12068 12070 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149551657976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12083/stat : 12083 (java) S 12068 12070 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149550605576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12084/stat : 12084 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149549554064 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12070/task/12085/stat : 12085 (java) S 12068 12070 11123 0 -1 4202560 4221 0 0 0 36 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149430151864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12070/task/12086/stat : 12086 (java) S 12068 12070 11123 0 -1 4202560 2659 0 0 0 45 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149429099064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12087] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12087/stat : 12087 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149428046968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12088] ppid=12068 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/12070/task/12088/stat : 12088 (java) S 12068 12070 11123 0 -1 4202560 96 0 0 0 42 29 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149426994376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12089] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12089/stat : 12089 (java) S 12068 12070 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341966028 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149424862120 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.81
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/213 12164
/proc/meminfo: memFree=23724852/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=3024420 CPUtime=1725.82 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12068 12070 11123 0 -1 4202496 13473 0 1 0 172438 144 0 0 20 0 19 0 341965983 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140736075294208 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 756105 418175 2302 9 0 746526 0
[pid=12070/tid=12072] ppid=12068 vsize=3024420 CPUtime=1719.48 cores=0,2,4,6
/proc/12070/task/12072/stat : 12072 (java) R 12068 12070 11123 0 -1 4202560 3248 0 1 0 171913 35 0 0 20 0 19 0 341965984 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149589065008 140149430792579 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12070/task/12073/stat : 12073 (java) S 12068 12070 11123 0 -1 4202560 312 0 0 0 25 18 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149572491560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12070/task/12074/stat : 12074 (java) S 12068 12070 11123 0 -1 4202560 303 0 0 0 27 19 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149571438760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/12070/task/12075/stat : 12075 (java) S 12068 12070 11123 0 -1 4202560 181 0 0 0 27 10 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149570386472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12070/task/12076/stat : 12076 (java) S 12068 12070 11123 0 -1 4202560 283 0 0 0 26 17 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149569333672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/12070/task/12077/stat : 12077 (java) S 12068 12070 11123 0 -1 4202560 163 0 0 0 19 9 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149568281384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/12070/task/12078/stat : 12078 (java) S 12068 12070 11123 0 -1 4202560 203 0 0 0 18 11 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149567228584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/12070/task/12079/stat : 12079 (java) S 12068 12070 11123 0 -1 4202560 205 0 0 0 25 12 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149566176296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/12070/task/12080/stat : 12080 (java) S 12068 12070 11123 0 -1 4202560 199 0 0 0 37 12 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149565123496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=3024420 CPUtime=1.98 cores=0,2,4,6
/proc/12070/task/12081/stat : 12081 (java) S 12068 12070 11123 0 -1 4202560 214 0 0 0 191 7 0 0 20 0 19 0 341965987 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149552711912 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12082/stat : 12082 (java) S 12068 12070 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149551657976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12083/stat : 12083 (java) S 12068 12070 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149550605576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12084/stat : 12084 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149549554064 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12070/task/12085/stat : 12085 (java) S 12068 12070 11123 0 -1 4202560 4221 0 0 0 36 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149430151864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12070/task/12086/stat : 12086 (java) S 12068 12070 11123 0 -1 4202560 2659 0 0 0 45 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149429099064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12087] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12087/stat : 12087 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149428046968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12088] ppid=12068 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/12070/task/12088/stat : 12088 (java) S 12068 12070 11123 0 -1 4202560 100 0 0 0 43 31 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149426994376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12089] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12089/stat : 12089 (java) S 12068 12070 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341966028 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149424862120 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.82
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 12164
/proc/meminfo: memFree=23724484/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=3024420 CPUtime=1785.83 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12068 12070 11123 0 -1 4202496 13477 0 1 0 178438 145 0 0 20 0 19 0 341965983 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140736075294208 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 756105 418175 2302 9 0 746526 0
[pid=12070/tid=12072] ppid=12068 vsize=3024420 CPUtime=1779.48 cores=0,2,4,6
/proc/12070/task/12072/stat : 12072 (java) R 12068 12070 11123 0 -1 4202560 3248 0 1 0 177912 36 0 0 20 0 19 0 341965984 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149589065008 140149430792347 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12070/task/12073/stat : 12073 (java) S 12068 12070 11123 0 -1 4202560 312 0 0 0 25 18 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149572491560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/12070/task/12074/stat : 12074 (java) S 12068 12070 11123 0 -1 4202560 303 0 0 0 27 19 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149571438760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/12070/task/12075/stat : 12075 (java) S 12068 12070 11123 0 -1 4202560 181 0 0 0 27 10 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149570386472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12070/task/12076/stat : 12076 (java) S 12068 12070 11123 0 -1 4202560 283 0 0 0 26 17 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149569333672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/12070/task/12077/stat : 12077 (java) S 12068 12070 11123 0 -1 4202560 163 0 0 0 19 9 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149568281384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/12070/task/12078/stat : 12078 (java) S 12068 12070 11123 0 -1 4202560 203 0 0 0 18 11 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149567228584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/12070/task/12079/stat : 12079 (java) S 12068 12070 11123 0 -1 4202560 205 0 0 0 25 12 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149566176296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/12070/task/12080/stat : 12080 (java) S 12068 12070 11123 0 -1 4202560 199 0 0 0 37 12 0 0 20 0 19 0 341965986 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149565123496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=3024420 CPUtime=1.99 cores=0,2,4,6
/proc/12070/task/12081/stat : 12081 (java) S 12068 12070 11123 0 -1 4202560 214 0 0 0 192 7 0 0 20 0 19 0 341965987 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149552711912 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12082/stat : 12082 (java) S 12068 12070 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149551657976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12083/stat : 12083 (java) S 12068 12070 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149550605576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12084/stat : 12084 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149549554064 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12070/task/12085/stat : 12085 (java) S 12068 12070 11123 0 -1 4202560 4221 0 0 0 36 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149430151864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12070/task/12086/stat : 12086 (java) S 12068 12070 11123 0 -1 4202560 2659 0 0 0 45 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149429099064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12087] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12087/stat : 12087 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149428046968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12088] ppid=12068 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/12070/task/12088/stat : 12088 (java) S 12068 12070 11123 0 -1 4202560 104 0 0 0 45 31 0 0 20 0 19 0 341965990 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149426994376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12089] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12089/stat : 12089 (java) S 12068 12070 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341966028 3097006080 418175 33554432000 1073741824 1073778376 140736075303072 140149424862120 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.83
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 12164
/proc/meminfo: memFree=23724488/32873648 swapFree=7120/7120
[pid=12070] ppid=12068 vsize=3024420 CPUtime=1800.05 cores=0,2,4,6
/proc/12070/stat : 12070 (java) S 12068 12070 11123 0 -1 4202496 13613 0 1 0 179860 145 0 0 20 0 19 0 341965983 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140736075294208 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12070/statm: 756105 418308 2302 9 0 746526 0
[pid=12070/tid=12072] ppid=12068 vsize=3024420 CPUtime=1793.29 cores=0,2,4,6
/proc/12070/task/12072/stat : 12072 (java) R 12068 12070 11123 0 -1 4202560 3249 0 1 0 179293 36 0 0 20 0 19 0 341965984 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149589065008 140149430741761 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12073] ppid=12068 vsize=3024420 CPUtime=0.54 cores=0,2,4,6
/proc/12070/task/12073/stat : 12073 (java) S 12068 12070 11123 0 -1 4202560 430 0 0 0 36 18 0 0 20 0 19 0 341965986 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149572491560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12074] ppid=12068 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/12070/task/12074/stat : 12074 (java) S 12068 12070 11123 0 -1 4202560 308 0 0 0 30 19 0 0 20 0 19 0 341965986 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149571438760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12075] ppid=12068 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12070/task/12075/stat : 12075 (java) S 12068 12070 11123 0 -1 4202560 181 0 0 0 35 10 0 0 20 0 19 0 341965986 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149570386472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12076] ppid=12068 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12070/task/12076/stat : 12076 (java) S 12068 12070 11123 0 -1 4202560 286 0 0 0 30 17 0 0 20 0 19 0 341965986 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149569333672 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12077] ppid=12068 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/12070/task/12077/stat : 12077 (java) S 12068 12070 11123 0 -1 4202560 165 0 0 0 23 9 0 0 20 0 19 0 341965986 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149568281384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12078] ppid=12068 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/12070/task/12078/stat : 12078 (java) S 12068 12070 11123 0 -1 4202560 204 0 0 0 24 11 0 0 20 0 19 0 341965986 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149567228584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12079] ppid=12068 vsize=3024420 CPUtime=0.4 cores=0,2,4,6
/proc/12070/task/12079/stat : 12079 (java) S 12068 12070 11123 0 -1 4202560 209 0 0 0 28 12 0 0 20 0 19 0 341965986 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149566176296 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12070/tid=12080] ppid=12068 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/12070/task/12080/stat : 12080 (java) S 12068 12070 11123 0 -1 4202560 199 0 0 0 40 12 0 0 20 0 19 0 341965986 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149565123496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12081] ppid=12068 vsize=3024420 CPUtime=1.99 cores=0,2,4,6
/proc/12070/task/12081/stat : 12081 (java) S 12068 12070 11123 0 -1 4202560 216 0 0 0 192 7 0 0 20 0 19 0 341965987 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149552711912 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12082] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12082/stat : 12082 (java) S 12068 12070 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149551657976 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12083] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12083/stat : 12083 (java) S 12068 12070 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341965987 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149550605576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12084] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12084/stat : 12084 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149549554064 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12085] ppid=12068 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12070/task/12085/stat : 12085 (java) S 12068 12070 11123 0 -1 4202560 4221 0 0 0 36 0 0 0 20 0 19 0 341965990 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149430151864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12070/tid=12086] ppid=12068 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/12070/task/12086/stat : 12086 (java) S 12068 12070 11123 0 -1 4202560 2659 0 0 0 45 0 0 0 20 0 19 0 341965990 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149429099064 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12087] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12087/stat : 12087 (java) S 12068 12070 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341965990 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149428046968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12070/tid=12088] ppid=12068 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/12070/task/12088/stat : 12088 (java) S 12068 12070 11123 0 -1 4202560 104 0 0 0 45 32 0 0 20 0 19 0 341965990 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149426994376 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12070/tid=12089] ppid=12068 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12070/task/12089/stat : 12089 (java) S 12068 12070 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341966028 3097006080 418308 33554432000 1073741824 1073778376 140736075303072 140149424862120 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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): 1796.23
CPU time (s): 1800.66
CPU user time (s): 1798.7
CPU system time (s): 1.9627
CPU usage (%): 100.247
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.9627
maximum resident set size= 1673348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13644
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38107
involuntary context switches= 3157

runsolver used 6.08007 second user time and 14.8527 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-03 23:19:46
IDJOB=3741945
IDBENCH=90120
IDSOLVER=2319
FILE ID=node114/3741945-1338758386
RUNJOBID= node114-1338749374-11139
PBS_JOBID= 14636799
Free space on /tmp= 70136 MiB

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

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

MD5SUM BENCH= 08b0e704e28720f9a0455d95c872079f
RANDOM SEED=1985284748

node114.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.242
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.48
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.242
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.242
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	: 5451.90
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.242
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.242
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.242
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.242
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.242
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:        25393796 kB
Buffers:         1062544 kB
Cached:          3726668 kB
SwapCached:         2244 kB
Active:          4586888 kB
Inactive:        1872472 kB
Active(anon):    1656800 kB
Inactive(anon):     8360 kB
Active(file):    2930088 kB
Inactive(file):  1864112 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              3980 kB
Writeback:             0 kB
AnonPages:       1686208 kB
Mapped:            19180 kB
Shmem:               100 kB
Slab:             865560 kB
SReclaimable:     309276 kB
SUnreclaim:       556284 kB
KernelStack:        1592 kB
PageTables:         7156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1829128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1648640 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= 70132 MiB
End job on node114 at 2012-06-03 23:49:44