Trace number 3741971

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.8 1796.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K97.opb
MD5SUM43f0e9fb1c8ca4724fdfde37689b9cda
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 benchmark650.612
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6596
Total number of constraints6792
Number of constraints which are clauses6695
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint97
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 98
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-3741971-1338759471.opb
0.08/0.10	c reading problem ... 
0.78/0.43	c ... done. Wall clock time 0.328s.
0.78/0.43	c CPU time (experimental) 0.39s.
0.78/0.43	c #vars     6596
0.78/0.43	c #constraints  6790
613.05/610.76	c cleaning 260040 clauses out of 520477 for limit 2.8016336518695537
614.36/612.02	c cleaning 130365 clauses out of 260936 for limit 9.206620942386435
614.87/612.58	c cleaning 65015 clauses out of 131071 for limit 30.22619900638272
615.47/613.18	c cleaning 32700 clauses out of 66558 for limit 98.35915689247867
615.87/613.58	c cleaning 16444 clauses out of 34362 for limit 315.450021550001
616.17/613.81	c cleaning 8436 clauses out of 18412 for limit 965.0656215247293
616.27/613.97	c cleaning 4486 clauses out of 10477 for limit 2799.6985098618325
616.37/614.09	c cleaning 2474 clauses out of 6490 for limit 7446.03183169546
616.47/614.19	c cleaning 1491 clauses out of 4517 for limit 17660.780526389186
616.67/614.30	c cleaning 941 clauses out of 3525 for limit 37283.97756562625
616.77/614.41	c cleaning 792 clauses out of 3085 for limit 70326.10904378658
616.77/614.49	c cleaning 1112 clauses out of 2792 for limit 128019.96949498197
616.87/614.59	c cleaning 318 clauses out of 2180 for limit 270391.1835226357
617.07/614.70	c cleaning 438 clauses out of 2362 for limit 411552.2819360621
617.07/614.79	c cleaning 451 clauses out of 2424 for limit 661345.1589536043
617.17/614.87	c cleaning 486 clauses out of 2474 for limit 1069674.1430418736
617.27/614.97	c cleaning 695 clauses out of 2487 for limit 1753060.0106825477
617.37/615.05	c cleaning 396 clauses out of 2293 for limit 3138765.803858288
617.47/615.12	c cleaning 417 clauses out of 2396 for limit 4948772.948396059
617.47/615.19	c cleaning 1231 clauses out of 2479 for limit 7887941.89191869
617.57/615.25	c cleaning 565 clauses out of 1748 for limit 1.844822930480467E7
617.67/615.32	c cleaning 427 clauses out of 1683 for limit 3.159860335716452E7
617.67/615.38	c cleaning 352 clauses out of 1756 for limit 4.994400654696719E7
617.77/615.46	c cleaning 334 clauses out of 1906 for limit 7.603436174155116E7
617.87/615.52	c cleaning 739 clauses out of 2071 for limit 1.152853380338351E8
617.87/615.59	c cleaning 679 clauses out of 1832 for limit 2.149238412253341E8
617.97/615.66	c cleaning 603 clauses out of 1652 for limit 3.926642794897319E8
618.07/615.73	c cleaning 545 clauses out of 1549 for limit 6.906148422770637E8
618.17/615.80	c cleaning 521 clauses out of 1504 for limit 1.1729928806485562E9
618.17/615.87	c cleaning 551 clauses out of 1483 for limit 1.9618145376101968E9
618.27/615.94	c cleaning 536 clauses out of 1432 for limit 3.350518100928568E9
618.37/616.03	c cleaning 495 clauses out of 1396 for limit 5.667942753682182E9
618.47/616.11	c cleaning 501 clauses out of 1401 for limit 9.313836830203167E9
618.47/616.17	c cleaning 505 clauses out of 1400 for limit 1.5370734175030231E10
618.57/616.23	c cleaning 695 clauses out of 1396 for limit 2.5446474899338272E10
618.57/616.29	c cleaning 553 clauses out of 1200 for limit 4.8770047153492836E10
618.67/616.34	c cleaning 358 clauses out of 1148 for limit 8.415558286121625E10
618.77/616.40	c cleaning 396 clauses out of 1289 for limit 1.2347904962286397E11
618.77/616.45	c cleaning 417 clauses out of 1393 for limit 1.884303983062599E11
618.87/616.53	c cleaning 512 clauses out of 1476 for limit 2.932726828337328E11
618.87/616.59	c cleaning 494 clauses out of 1464 for limit 4.876101978621475E11
618.97/616.66	c cleaning 508 clauses out of 1471 for limit 8.011089480277546E11
619.07/616.73	c cleaning 717 clauses out of 1463 for limit 1.328360081788716E12
619.07/616.78	c cleaning 384 clauses out of 1246 for limit 2.5721600407737715E12
619.17/616.83	c cleaning 485 clauses out of 1361 for limit 3.879531472543842E12
619.17/616.89	c cleaning 684 clauses out of 1376 for limit 6.328122209600487E12
619.27/616.95	c cleaning 566 clauses out of 1195 for limit 1.205271281790148E13
619.37/617.01	c cleaning 390 clauses out of 1126 for limit 2.1031326960362234E13
619.37/617.06	c cleaning 387 clauses out of 1236 for limit 3.159675494310534E13
619.47/617.13	c cleaning 480 clauses out of 1349 for limit 4.774247067275055E13
619.47/617.19	c cleaning 495 clauses out of 1369 for limit 7.758348403674445E13
619.57/617.27	c cleaning 683 clauses out of 1375 for limit 1.2751475103159028E14
619.67/617.33	c cleaning 351 clauses out of 1197 for limit 2.427713430576643E14
619.67/617.39	c cleaning 652 clauses out of 1340 for limit 3.55496712861082E14
619.77/617.46	c cleaning 564 clauses out of 1187 for limit 6.618286382391119E14
619.87/617.52	c cleaning 474 clauses out of 1123 for limit 1.1536455772564708E15
619.87/617.58	c cleaning 477 clauses out of 1149 for limit 1.8594650506244328E15
619.97/617.63	c cleaning 549 clauses out of 1172 for limit 3.0063277390188305E15
619.97/617.68	c cleaning 434 clauses out of 1124 for limit 5.174733915213102E15
620.07/617.73	c cleaning 550 clauses out of 1192 for limit 8.063117519596045E-5
620.07/617.79	c cleaning 474 clauses out of 1139 for limit 1.3874197508517298E-4
620.16/617.85	c cleaning 561 clauses out of 1166 for limit 2.2372959945812402E-4
620.26/617.90	c cleaning 465 clauses out of 1107 for limit 3.894029929845848E-4
620.26/617.96	c cleaning 369 clauses out of 1144 for limit 6.226525803376545E-4
620.36/618.02	c cleaning 470 clauses out of 1270 for limit 9.203466245424804E-4
620.36/618.07	c cleaning 466 clauses out of 1300 for limit 0.001482749135509108
620.47/618.14	c cleaning 491 clauses out of 1334 for limit 0.0023829289265446933
620.47/618.20	c cleaning 494 clauses out of 1343 for limit 0.0039034335732856243
620.59/618.25	c cleaning 484 clauses out of 1352 for limit 0.006413654138585021
620.68/618.31	c cleaning 487 clauses out of 1366 for limit 0.010447644638115485
620.68/618.35	c cleaning 472 clauses out of 1378 for limit 0.017062444403543302
620.79/618.41	c cleaning 517 clauses out of 1407 for limit 0.027585875269376354
620.79/618.47	c cleaning 492 clauses out of 1389 for limit 0.04603625586125435
620.89/618.53	c cleaning 488 clauses out of 1397 for limit 0.07548518465252746
620.99/618.61	c cleaning 502 clauses out of 1409 for limit 0.12342496756844623
620.99/618.69	c cleaning 480 clauses out of 1407 for limit 0.2038336139098304
621.09/618.76	c cleaning 516 clauses out of 1427 for limit 0.33143763074872645
621.19/618.82	c cleaning 498 clauses out of 1413 for limit 0.5531062139130533
621.19/618.88	c cleaning 514 clauses out of 1413 for limit 0.9103227598343323
621.29/618.95	c cleaning 485 clauses out of 1399 for limit 1.5162671827209442
621.29/618.99	c cleaning 483 clauses out of 1415 for limit 2.4747276394665043
621.39/619.05	c cleaning 603 clauses out of 1431 for limit 4.031490030683168
621.49/619.13	c cleaning 550 clauses out of 1328 for limit 7.16412303844259
621.60/619.21	c cleaning 524 clauses out of 1278 for limit 12.276827230534115
621.60/619.28	c cleaning 474 clauses out of 1255 for limit 20.6378129027348
621.70/619.36	c cleaning 496 clauses out of 1280 for limit 33.33640796760728
621.79/619.42	c cleaning 483 clauses out of 1285 for limit 54.81709834069353
621.79/619.48	c cleaning 487 clauses out of 1304 for limit 89.2619746230597
621.89/619.53	c cleaning 493 clauses out of 1314 for limit 145.64684043914016
621.89/619.59	c cleaning 500 clauses out of 1322 for limit 238.9765992612938
621.99/619.65	c cleaning 486 clauses out of 1321 for limit 394.0083170916617
622.09/619.71	c cleaning 486 clauses out of 1335 for limit 642.9583315339246
622.09/619.76	c cleaning 475 clauses out of 1349 for limit 1049.3201952101315
622.19/619.82	c cleaning 494 clauses out of 1375 for limit 1699.4472218941778
622.19/619.88	c cleaning 487 clauses out of 1380 for limit 2789.6689503400307
622.29/619.94	c cleaning 489 clauses out of 1394 for limit 4558.892799684691
622.29/619.99	c cleaning 520 clauses out of 1404 for limit 7457.210824215396
622.39/620.07	c cleaning 528 clauses out of 1385 for limit 12479.125560762239
622.49/620.12	c cleaning 476 clauses out of 1356 for limit 20998.854945229614
622.49/620.18	c cleaning 524 clauses out of 1382 for limit 34046.47630886327
622.59/620.22	c cleaning 504 clauses out of 1356 for limit 57109.372406011345
622.59/620.27	c cleaning 476 clauses out of 1353 for limit 94484.30639909623
622.70/620.32	c cleaning 489 clauses out of 1376 for limit 153059.54474080238
622.70/620.38	c cleaning 497 clauses out of 1387 for limit 250413.81062638634
622.80/620.43	c cleaning 490 clauses out of 1390 for limit 412074.5802310408
622.80/620.47	c cleaning 691 clauses out of 1400 for limit 674712.0655152797
622.89/620.53	c cleaning 379 clauses out of 1210 for limit 1288699.1457242148
622.99/620.61	c cleaning 443 clauses out of 1330 for limit 1931553.0708619717
622.99/620.67	c cleaning 678 clauses out of 1387 for limit 3054482.9981901343
623.09/620.74	c cleaning 378 clauses out of 1209 for limit 5778881.104636864
623.19/620.80	c cleaning 565 clauses out of 1331 for limit 8656610.791850522
623.19/620.87	c cleaning 609 clauses out of 1266 for limit 1.5008874581607101E7
623.29/620.94	c cleaning 457 clauses out of 1157 for limit 2.7083473481477402E7
623.39/621.02	c cleaning 478 clauses out of 1200 for limit 4.306380122477735E7
623.49/621.13	c cleaning 479 clauses out of 1222 for limit 6.973941328175215E7
623.59/621.20	c cleaning 491 clauses out of 1243 for limit 1.1306657938350861E8
623.59/621.28	c cleaning 620 clauses out of 1252 for limit 1.8512153400037742E8
623.69/621.34	c cleaning 545 clauses out of 1132 for limit 3.37653090726444E8
623.80/621.41	c cleaning 489 clauses out of 1087 for limit 5.798871687932343E8
623.80/621.46	c cleaning 478 clauses out of 1098 for limit 9.467309829317024E8
623.90/621.52	c cleaning 425 clauses out of 1120 for limit 1.530617923572153E9
623.90/621.59	c cleaning 435 clauses out of 1195 for limit 2.3657715184750648E9
623.99/621.65	c cleaning 623 clauses out of 1259 for limit 3.706853077743549E9
624.09/621.73	c cleaning 539 clauses out of 1135 for limit 6.774178198100134E9
624.19/621.80	c cleaning 479 clauses out of 1096 for limit 1.1569053013763784E10
624.19/621.87	c cleaning 503 clauses out of 1118 for limit 1.872220346062685E10
624.29/621.93	c cleaning 424 clauses out of 1114 for limit 3.095529509751185E10
624.29/621.98	c cleaning 436 clauses out of 1190 for limit 4.778912347358949E10
624.39/622.03	c cleaning 462 clauses out of 1254 for limit 7.478842319759717E10
624.39/622.08	c cleaning 636 clauses out of 1292 for limit 1.1970858207882846E11
624.49/622.13	c cleaning 569 clauses out of 1157 for limit 2.2067078513159933E11
624.49/622.19	c cleaning 448 clauses out of 1087 for limit 3.869635247762877E11
624.59/622.25	c cleaning 402 clauses out of 1139 for limit 6.090202557497704E11
624.69/622.32	c cleaning 443 clauses out of 1237 for limit 9.247868566120178E11
624.69/622.37	c cleaning 619 clauses out of 1294 for limit 1.4579175338150562E12
624.79/622.43	c cleaning 537 clauses out of 1176 for limit 2.648197141591671E12
624.79/622.49	c cleaning 401 clauses out of 1138 for limit 4.508548515408184E12
624.90/622.54	c cleaning 452 clauses out of 1237 for limit 6.840143246331161E12
624.90/622.59	c cleaning 512 clauses out of 1285 for limit 1.0858945558338654E13
625.00/622.66	c cleaning 504 clauses out of 1273 for limit 1.8076663215742574E13
625.09/622.72	c cleaning 499 clauses out of 1273 for limit 2.9930377944703027E13
625.09/622.77	c cleaning 487 clauses out of 1272 for limit 4.929925504020273E13
625.19/622.82	c cleaning 482 clauses out of 1283 for limit 8.044289192570419E13
625.29/622.90	c cleaning 513 clauses out of 1301 for limit 1.3082565625043611E14
625.29/622.97	c cleaning 486 clauses out of 1288 for limit 2.179265996264683E14
625.39/623.02	c cleaning 502 clauses out of 1302 for limit 3.555257066283079E14
625.39/623.08	c cleaning 466 clauses out of 1300 for limit 5.872114661491414E14
625.49/623.13	c cleaning 515 clauses out of 1334 for limit 9.437086525125886E14
625.49/623.20	c cleaning 536 clauses out of 1319 for limit 1.574000471049461E15
625.59/623.27	c cleaning 639 clauses out of 1283 for limit 2.6685717499002925E15
625.69/623.34	c cleaning 509 clauses out of 1144 for limit 4.935548263254568E15
625.69/623.39	c cleaning 536 clauses out of 1135 for limit 8.203920686009063E-5
625.79/623.44	c cleaning 463 clauses out of 1100 for limit 1.3973816251012104E-4
625.79/623.49	c cleaning 525 clauses out of 1136 for limit 2.229208843147348E-4
625.89/623.55	c cleaning 477 clauses out of 1119 for limit 3.7621056129219385E-4
626.00/623.62	c cleaning 450 clauses out of 1135 for limit 6.074066087451573E-4
626.00/623.68	c cleaning 430 clauses out of 1184 for limit 9.592792429316502E-4
626.10/623.74	c cleaning 468 clauses out of 1254 for limit 0.001493671519285314
626.19/623.80	c cleaning 457 clauses out of 1286 for limit 0.0024019698681947343
626.19/623.87	c cleaning 478 clauses out of 1329 for limit 0.0038330053876367
626.29/623.94	c cleaning 465 clauses out of 1353 for limit 0.006221448702438297
626.39/624.00	c cleaning 490 clauses out of 1386 for limit 0.009995694042760336
626.39/624.06	c cleaning 493 clauses out of 1399 for limit 0.016380150680134917
626.49/624.11	c cleaning 489 clauses out of 1403 for limit 0.026855317277873738
626.49/624.18	c cleaning 528 clauses out of 1414 for limit 0.04394347892241299
626.59/624.24	c cleaning 504 clauses out of 1386 for limit 0.07393268904086955
626.69/624.30	c cleaning 487 clauses out of 1382 for limit 0.12227778881800767
626.69/624.36	c cleaning 490 clauses out of 1395 for limit 0.1997732335017354
626.79/624.41	c cleaning 575 clauses out of 1405 for limit 0.32710792753382384
626.79/624.47	c cleaning 530 clauses out of 1330 for limit 0.5698645479455587
626.89/624.53	c cleaning 499 clauses out of 1300 for limit 0.9614701717854933
626.89/624.58	c cleaning 500 clauses out of 1301 for limit 1.5843741870780246
626.99/624.63	c cleaning 499 clauses out of 1302 for limit 2.613451646539169
626.99/624.70	c cleaning 484 clauses out of 1302 for limit 4.305621455062944
627.10/624.76	c cleaning 490 clauses out of 1318 for limit 7.014347950851262
627.20/624.82	c cleaning 499 clauses out of 1329 for limit 11.483337619131879
627.20/624.86	c cleaning 498 clauses out of 1329 for limit 18.918622387423827
627.29/624.92	c cleaning 499 clauses out of 1331 for limit 31.152458154239522
627.29/624.98	c cleaning 485 clauses out of 1334 for limit 51.36170803475875
627.39/625.04	c cleaning 461 clauses out of 1347 for limit 83.71717312214568
627.49/625.10	c cleaning 493 clauses out of 1386 for limit 134.17598975043475
627.49/625.17	c cleaning 501 clauses out of 1393 for limit 220.16222640485412
627.59/625.22	c cleaning 508 clauses out of 1393 for limit 363.44040452184413
627.59/625.28	c cleaning 482 clauses out of 1384 for limit 602.6561720792375
627.69/625.34	c cleaning 553 clauses out of 1403 for limit 981.3827648946392
627.79/625.41	c cleaning 534 clauses out of 1351 for limit 1682.407312780781
627.79/625.48	c cleaning 495 clauses out of 1315 for limit 2844.772932336581
627.89/625.54	c cleaning 469 clauses out of 1320 for limit 4673.640635623894
627.99/625.60	c cleaning 463 clauses out of 1351 for limit 7530.6035531569
627.99/625.68	c cleaning 496 clauses out of 1390 for limit 12094.704002370672
628.09/625.75	c cleaning 501 clauses out of 1394 for limit 19888.551658281365
628.20/625.82	c cleaning 488 clauses out of 1391 for limit 32803.91402015354
628.20/625.88	c cleaning 510 clauses out of 1403 for limit 53635.336652771904
628.30/625.93	c cleaning 485 clauses out of 1393 for limit 89086.81911154803
628.30/625.99	c cleaning 455 clauses out of 1409 for limit 145393.15964167455
628.39/626.07	c cleaning 494 clauses out of 1454 for limit 232352.01772533372
628.49/626.15	c cleaning 523 clauses out of 1459 for limit 381484.536130338
628.59/626.23	c cleaning 514 clauses out of 1437 for limit 639390.0308449359
628.69/626.30	c cleaning 706 clauses out of 1422 for limit 1064496.9160659807
628.69/626.35	c cleaning 529 clauses out of 1216 for limit 2052893.0104187697
628.79/626.41	c cleaning 477 clauses out of 1186 for limit 3471131.6776034394
628.79/626.48	c cleaning 598 clauses out of 1209 for limit 5615460.33773584
628.89/626.53	c cleaning 530 clauses out of 1111 for limit 1.0077515924034674E7
628.89/626.59	c cleaning 430 clauses out of 1081 for limit 1.708038851629533E7
628.99/626.65	c cleaning 467 clauses out of 1151 for limit 2.645477075017647E7
629.09/626.72	c cleaning 478 clauses out of 1184 for limit 4.241148807636998E7
629.09/626.79	c cleaning 470 clauses out of 1206 for limit 6.866632302955048E7
629.19/626.83	c cleaning 448 clauses out of 1236 for limit 1.1049141015100947E8
629.19/626.89	c cleaning 525 clauses out of 1288 for limit 1.7485860569616115E8
629.30/626.97	c cleaning 514 clauses out of 1263 for limit 2.940731750204699E8
629.40/627.03	c cleaning 488 clauses out of 1249 for limit 4.904019740560752E8
629.49/627.10	c cleaning 568 clauses out of 1261 for limit 8.010422970388814E8
629.49/627.17	c cleaning 468 clauses out of 1193 for limit 1.396323278856448E9
629.59/627.25	c cleaning 473 clauses out of 1225 for limit 2.242571096456634E9
629.69/627.32	c cleaning 480 clauses out of 1253 for limit 3.6192754496055694E9
629.69/627.38	c cleaning 466 clauses out of 1273 for limit 5.87489611248381E9
629.79/627.43	c cleaning 517 clauses out of 1306 for limit 9.434237241758192E9
629.79/627.48	c cleaning 641 clauses out of 1289 for limit 1.5763510479090096E10
629.89/627.56	c cleaning 540 clauses out of 1148 for limit 2.918904298493773E10
629.99/627.60	c cleaning 473 clauses out of 1108 for limit 4.9874421441695305E10
1212.23/1209.20	c cleaning 279209 clauses out of 559637 for limit 7.72496325949426E10
1213.13/1210.18	c cleaning 140159 clauses out of 280925 for limit 2.530257987753563E11
1213.63/1210.60	c cleaning 70107 clauses out of 141266 for limit 8.298000047399106E11
1213.93/1210.93	c cleaning 35287 clauses out of 71659 for limit 2.6977159818936636E12
1214.03/1211.08	c cleaning 17773 clauses out of 36872 for limit 8.646217574974288E12
1214.23/1211.21	c cleaning 9536 clauses out of 19596 for limit 2.682942167855606E13
1214.23/1211.29	c cleaning 5017 clauses out of 10562 for limit 8.225408763710836E13
1214.33/1211.37	c cleaning 2761 clauses out of 6043 for limit 2.3661262948003156E14
1214.43/1211.43	c cleaning 1833 clauses out of 3782 for limit 6.234833764465498E14
1214.43/1211.49	c cleaning 937 clauses out of 2449 for limit 1.5878647404640025E15
1214.53/1211.55	c cleaning 951 clauses out of 2012 for limit 3.187353267474223E-5
1214.63/1211.62	c cleaning 753 clauses out of 1561 for limit 6.775029040568756E-5
1214.63/1211.67	c cleaning 499 clauses out of 1308 for limit 1.3334053926560162E-4
1214.73/1211.73	c cleaning 608 clauses out of 1309 for limit 2.197283991544379E-4
1214.73/1211.78	c cleaning 462 clauses out of 1201 for limit 3.949469077044321E-4
1214.83/1211.84	c cleaning 331 clauses out of 1239 for limit 6.313443610281309E-4
1214.93/1211.90	c cleaning 410 clauses out of 1408 for limit 9.162011750137752E-4
1214.93/1211.99	c cleaning 464 clauses out of 1500 for limit 0.0014211082174304523
1215.03/1212.09	c cleaning 469 clauses out of 1535 for limit 0.0022878703245301944
1215.13/1212.16	c cleaning 594 clauses out of 1565 for limit 0.0036969775929962564
1215.23/1212.23	c cleaning 537 clauses out of 1471 for limit 0.006486409670996378
1215.23/1212.29	c cleaning 534 clauses out of 1434 for limit 0.010972959668424266
1215.33/1212.34	c cleaning 488 clauses out of 1400 for limit 0.018535349762801762
1215.43/1212.40	c cleaning 481 clauses out of 1412 for limit 0.030307492863332168
1215.43/1212.46	c cleaning 476 clauses out of 1431 for limit 0.04931748958493062
1215.53/1212.52	c cleaning 496 clauses out of 1456 for limit 0.08001467012116523
1215.53/1212.58	c cleaning 498 clauses out of 1459 for limit 0.13155188559633094
1215.63/1212.64	c cleaning 498 clauses out of 1461 for limit 0.21664967425550452
1215.73/1212.72	c cleaning 501 clauses out of 1463 for limit 0.35679586879710834
1215.73/1212.78	c cleaning 487 clauses out of 1462 for limit 0.5888065841414486
1215.83/1212.85	c cleaning 482 clauses out of 1475 for limit 0.9624626767285662
1215.93/1212.91	c cleaning 500 clauses out of 1493 for limit 1.5680936517556427
1215.93/1212.99	c cleaning 502 clauses out of 1493 for limit 2.585996207560746
1216.03/1213.06	c cleaning 502 clauses out of 1495 for limit 4.276026941019337
1216.13/1213.12	c cleaning 593 clauses out of 1489 for limit 7.051877632815584
1216.13/1213.17	c cleaning 565 clauses out of 1396 for limit 12.40423353448362
1216.23/1213.23	c cleaning 523 clauses out of 1331 for limit 21.455230464180826
1216.23/1213.28	c cleaning 637 clauses out of 1307 for limit 36.03226300494953
1216.33/1213.34	c cleaning 561 clauses out of 1170 for limit 66.37998526549026
1216.43/1213.42	c cleaning 517 clauses out of 1109 for limit 115.49079058094657
1216.43/1213.49	c cleaning 485 clauses out of 1092 for limit 193.42479670167654
1216.53/1213.55	c cleaning 476 clauses out of 1108 for limit 314.6917994789303
1216.63/1213.62	c cleaning 486 clauses out of 1131 for limit 507.90671720242875
1216.63/1213.67	c cleaning 483 clauses out of 1145 for limit 827.3646509629418
1216.73/1213.73	c cleaning 487 clauses out of 1162 for limit 1344.4733788160909
1216.83/1213.80	c cleaning 485 clauses out of 1177 for limit 2193.344162745544
1216.83/1213.85	c cleaning 479 clauses out of 1190 for limit 3570.4515820318447
1216.93/1213.92	c cleaning 486 clauses out of 1211 for limit 5786.045617863655
1216.93/1213.98	c cleaning 491 clauses out of 1225 for limit 9432.912258423823
1217.03/1214.02	c cleaning 494 clauses out of 1235 for limit 15445.619244786265
1217.03/1214.09	c cleaning 512 clauses out of 1240 for limit 25343.813985859553
1217.13/1214.15	c cleaning 485 clauses out of 1229 for limit 42211.634926098355
1217.23/1214.21	c cleaning 490 clauses out of 1243 for limit 68759.75220242518
1217.23/1214.26	c cleaning 487 clauses out of 1253 for limit 112489.04961039324
1217.33/1214.32	c cleaning 497 clauses out of 1266 for limit 183604.57553568573
1217.33/1214.38	c cleaning 495 clauses out of 1270 for limit 302136.9796289255
1217.43/1214.43	c cleaning 498 clauses out of 1274 for limit 496203.1895799447
1217.43/1214.49	c cleaning 505 clauses out of 1276 for limit 817022.8300841349
1217.53/1214.57	c cleaning 566 clauses out of 1271 for limit 1352680.4180249681
1217.63/1214.64	c cleaning 509 clauses out of 1205 for limit 2352933.1783494954
1217.63/1214.69	c cleaning 585 clauses out of 1196 for limit 3909501.17470342
1217.73/1214.74	c cleaning 463 clauses out of 1111 for limit 6940557.486221628
1217.73/1214.79	c cleaning 562 clauses out of 1150 for limit 1.107989091950363E7
1217.83/1214.84	c cleaning 509 clauses out of 1086 for limit 1.931035969087776E7
1217.83/1214.89	c cleaning 498 clauses out of 1077 for limit 3.21114836921267E7
1217.93/1214.95	c cleaning 449 clauses out of 1080 for limit 5.2861893931888446E7
1218.03/1215.00	c cleaning 527 clauses out of 1130 for limit 8.32356559081636E7
1218.03/1215.06	c cleaning 408 clauses out of 1103 for limit 1.4062684204452953E8
1218.13/1215.11	c cleaning 425 clauses out of 1195 for limit 2.1405812569449732E8
1218.13/1215.16	c cleaning 484 clauses out of 1271 for limit 3.322343036328875E8
1218.23/1215.21	c cleaning 472 clauses out of 1286 for limit 5.409665714748569E8
1218.23/1215.26	c cleaning 643 clauses out of 1314 for limit 8.731159450606933E8
1218.33/1215.31	c cleaning 559 clauses out of 1171 for limit 1.6157206539292984E9
1218.33/1215.36	c cleaning 454 clauses out of 1115 for limit 2.806775821175295E9
1218.43/1215.42	c cleaning 547 clauses out of 1159 for limit 4.444122500044862E9
1218.43/1215.47	c cleaning 451 clauses out of 1113 for limit 7.639495720682247E9
1218.53/1215.53	c cleaning 462 clauses out of 1164 for limit 1.2070681385064121E10
1218.53/1215.59	c cleaning 460 clauses out of 1199 for limit 1.9267170271961994E10
1218.63/1215.64	c cleaning 559 clauses out of 1244 for limit 3.0778339375433285E10
1218.73/1215.71	c cleaning 420 clauses out of 1181 for limit 5.325170368163861E10
1218.73/1215.78	c cleaning 500 clauses out of 1259 for limit 8.221376507507335E10
1218.83/1215.86	c cleaning 522 clauses out of 1259 for limit 1.3558149696951936E11
1218.93/1215.90	c cleaning 607 clauses out of 1237 for limit 2.2756860232422748E11
1218.93/1215.95	c cleaning 418 clauses out of 1130 for limit 4.108274797565601E11
1218.93/1215.99	c cleaning 464 clauses out of 1212 for limit 6.316713739341301E11
1219.03/1216.05	c cleaning 469 clauses out of 1248 for limit 1.0116612548970925E12
1219.13/1216.11	c cleaning 611 clauses out of 1279 for limit 1.6279274465906826E12
1219.13/1216.17	c cleaning 562 clauses out of 1169 for limit 2.9402311709761914E12
1219.23/1216.22	c cleaning 447 clauses out of 1109 for limit 5.121407734598494E12
1219.23/1216.26	c cleaning 410 clauses out of 1159 for limit 8.05730520840906E12
1219.33/1216.31	c cleaning 614 clauses out of 1249 for limit 1.2330102857970498E13
1219.33/1216.37	c cleaning 547 clauses out of 1135 for limit 2.2376345719338742E13
1219.43/1216.42	c cleaning 472 clauses out of 1088 for limit 3.8495681860075586E13
1219.43/1216.48	c cleaning 535 clauses out of 1118 for limit 6.190475639266648E13
1219.53/1216.53	c cleaning 521 clauses out of 1081 for limit 1.0537242915144994E14
1219.53/1216.58	c cleaning 443 clauses out of 1065 for limit 1.7726848130159556E14
1219.63/1216.63	c cleaning 380 clauses out of 1117 for limit 2.773392181000602E14
1219.63/1216.69	c cleaning 576 clauses out of 1242 for limit 4.134007973776888E14
1219.73/1216.74	c cleaning 414 clauses out of 1161 for limit 7.256780955910502E14
1219.83/1216.80	c cleaning 432 clauses out of 1247 for limit 1.1142064481354521E15
1219.83/1216.86	c cleaning 474 clauses out of 1316 for limit 1.7428765654655812E15
1219.93/1216.92	c cleaning 628 clauses out of 1342 for limit 2.8185509571011484E-5
1219.93/1216.97	c cleaning 571 clauses out of 1213 for limit 5.137347948229293E-5
1220.03/1217.02	c cleaning 540 clauses out of 1142 for limit 8.9989028869223E-5
1220.03/1217.08	c cleaning 487 clauses out of 1102 for limit 1.537906602664367E-4
1220.13/1217.12	c cleaning 484 clauses out of 1116 for limit 2.5069043283735165E-4
1220.13/1217.18	c cleaning 419 clauses out of 1132 for limit 4.0757863916486716E-4
1220.23/1217.23	c cleaning 445 clauses out of 1212 for limit 6.271574667229293E-4
1220.23/1217.28	c cleaning 454 clauses out of 1269 for limit 9.897887322369648E-4
1220.33/1217.34	c cleaning 500 clauses out of 1313 for limit 0.0015744405441758583
1220.43/1217.40	c cleaning 510 clauses out of 1313 for limit 0.0025964630822337604
1220.43/1217.44	c cleaning 462 clauses out of 1303 for limit 0.004314776943370878
1220.43/1217.49	c cleaning 476 clauses out of 1341 for limit 0.006914007944367625
1220.53/1217.54	c cleaning 497 clauses out of 1366 for limit 0.011204651457631812
1220.53/1217.59	c cleaning 501 clauses out of 1370 for limit 0.018442461371468405
1220.63/1217.65	c cleaning 499 clauses out of 1367 for limit 0.030419901154235682
1220.73/1217.72	c cleaning 482 clauses out of 1368 for limit 0.050129815096640856
1220.73/1217.78	c cleaning 544 clauses out of 1386 for limit 0.08159712495999219
1220.83/1217.83	c cleaning 492 clauses out of 1342 for limit 0.13897652820341033
1220.83/1217.89	c cleaning 526 clauses out of 1352 for limit 0.2279513628610944
1220.93/1217.94	c cleaning 494 clauses out of 1324 for limit 0.3831049496600886
1221.03/1218.01	c cleaning 487 clauses out of 1330 for limit 0.6289411264789639
1221.03/1218.07	c cleaning 488 clauses out of 1343 for limit 1.0271680671758865
1221.13/1218.14	c cleaning 492 clauses out of 1355 for limit 1.6789358938562235
1221.13/1218.19	c cleaning 495 clauses out of 1363 for limit 2.752538741751655
1221.23/1218.25	c cleaning 494 clauses out of 1369 for limit 4.523933859193545
1221.33/1218.32	c cleaning 495 clauses out of 1381 for limit 7.4402747642045055
1221.33/1218.39	c cleaning 505 clauses out of 1379 for limit 12.202046931163775
1221.43/1218.46	c cleaning 516 clauses out of 1376 for limit 20.207074091851
1221.53/1218.51	c cleaning 506 clauses out of 1359 for limit 33.707286023504395
1221.53/1218.57	c cleaning 523 clauses out of 1353 for limit 55.834333129850066
1221.63/1218.63	c cleaning 507 clauses out of 1329 for limit 93.64735688457715
1221.63/1218.69	c cleaning 481 clauses out of 1322 for limit 155.25476460798475
1221.73/1218.75	c cleaning 473 clauses out of 1341 for limit 252.4082242103635
1221.83/1218.81	c cleaning 514 clauses out of 1372 for limit 408.48122699396447
1221.83/1218.87	c cleaning 508 clauses out of 1354 for limit 679.86923456267
1221.93/1218.93	c cleaning 500 clauses out of 1346 for limit 1127.859184267942
1222.03/1219.00	c cleaning 525 clauses out of 1348 for limit 1860.9510883008215
1222.03/1219.05	c cleaning 492 clauses out of 1321 for limit 3125.42366846295
1222.13/1219.13	c cleaning 504 clauses out of 1331 for limit 5125.763561278123
1222.13/1219.19	c cleaning 514 clauses out of 1325 for limit 8474.373672560328
1222.23/1219.23	c cleaning 487 clauses out of 1311 for limit 14124.617104813402
1222.23/1219.29	c cleaning 511 clauses out of 1325 for limit 23070.334732541527
1222.33/1219.35	c cleaning 495 clauses out of 1313 for limit 38355.39178584232
1222.43/1219.41	c cleaning 512 clauses out of 1318 for limit 63013.213224199084
1222.43/1219.47	c cleaning 492 clauses out of 1306 for limit 104872.04732248513
1222.53/1219.52	c cleaning 498 clauses out of 1315 for limit 171936.29709523148
1222.53/1219.59	c cleaning 640 clauses out of 1316 for limit 283047.164189438
1222.63/1219.64	c cleaning 422 clauses out of 1176 for limit 522352.00092063827
1222.63/1219.69	c cleaning 475 clauses out of 1254 for limit 807846.6621514411
1222.73/1219.76	c cleaning 442 clauses out of 1280 for limit 1306492.4385100754
1222.83/1219.81	c cleaning 451 clauses out of 1337 for limit 2060662.3590477272
1222.83/1219.87	c cleaning 516 clauses out of 1386 for limit 3278165.7020439235
1222.93/1219.93	c cleaning 676 clauses out of 1371 for limit 5470752.61252162
1222.93/1219.98	c cleaning 545 clauses out of 1194 for limit 1.034907608072309E7
1223.03/1220.03	c cleaning 387 clauses out of 1149 for limit 1.773543172541252E7
1223.13/1220.10	c cleaning 606 clauses out of 1262 for limit 2.6629212636384457E7
1223.13/1220.16	c cleaning 563 clauses out of 1157 for limit 4.79484663103208E7
1223.23/1220.22	c cleaning 475 clauses out of 1093 for limit 8.361983235700564E7
1223.23/1220.28	c cleaning 393 clauses out of 1123 for limit 1.3488949976450446E8
1223.33/1220.33	c cleaning 595 clauses out of 1225 for limit 2.0291078910003054E8
1223.33/1220.38	c cleaning 370 clauses out of 1130 for limit 3.627593975915492E8
1223.43/1220.44	c cleaning 606 clauses out of 1260 for limit 5.365157274246614E8
1223.53/1220.50	c cleaning 540 clauses out of 1154 for limit 9.66057731780442E8
1223.53/1220.55	c cleaning 473 clauses out of 1114 for limit 1.6503634073906026E9
1223.63/1220.60	c cleaning 381 clauses out of 1142 for limit 2.657596672912436E9
1223.63/1220.65	c cleaning 454 clauses out of 1260 for limit 3.9683137830686903E9
1223.72/1220.71	c cleaning 508 clauses out of 1306 for limit 6.313777318337377E9
1223.72/1220.77	c cleaning 462 clauses out of 1299 for limit 1.0478851486269566E10
1223.82/1220.83	c cleaning 578 clauses out of 1339 for limit 1.6798371048695114E10
1223.82/1220.89	c cleaning 616 clauses out of 1259 for limit 2.940416697345772E10
1223.93/1220.94	c cleaning 484 clauses out of 1142 for limit 5.340597912756145E10
1223.93/1221.00	c cleaning 393 clauses out of 1159 for limit 8.686862521571173E10
1224.03/1221.05	c cleaning 542 clauses out of 1266 for limit 1.3115008177142203E11
1224.12/1221.11	c cleaning 402 clauses out of 1226 for limit 2.2378795710828705E11
1224.12/1221.17	c cleaning 478 clauses out of 1321 for limit 3.414889978084654E11
1224.22/1221.22	c cleaning 474 clauses out of 1344 for limit 5.54077690128649E11
1224.32/1221.30	c cleaning 504 clauses out of 1369 for limit 8.961647546754342E11
1224.32/1221.36	c cleaning 662 clauses out of 1365 for limit 1.4822263967368687E12
1224.42/1221.41	c cleaning 536 clauses out of 1203 for limit 2.773559291017732E12
1224.42/1221.47	c cleaning 528 clauses out of 1167 for limit 4.715069652225759E12
1224.52/1221.53	c cleaning 375 clauses out of 1139 for limit 7.966932389819777E12
1224.52/1221.59	c cleaning 449 clauses out of 1264 for limit 1.1839235754562104E13
1224.62/1221.64	c cleaning 489 clauses out of 1315 for limit 1.8767260266193934E13
1224.62/1221.70	c cleaning 495 clauses out of 1328 for limit 3.0708136699163254E13
1800.08/1796.41	c starts		: 23
1800.08/1796.41	c conflicts		: 1693649
1800.08/1796.41	c decisions		: 5234277
1800.08/1796.41	c propagations		: 543946744
1800.08/1796.41	c inspects		: 10692291482
1800.08/1796.41	c learnt literals	: 34
1800.08/1796.41	c learnt binary clauses	: 74030
1800.08/1796.41	c learnt ternary clauses	: 57960
1800.08/1796.41	c learnt clauses	: 1693615
1800.08/1796.41	c root simplifications	: 0
1800.08/1796.41	c removed literals (reason simplification)	: 0
1800.08/1796.41	c reason swapping (by a shorter reason)	: 0
1800.08/1796.41	c Calls to reduceDB	: 405
1800.08/1796.41	c speed (decisions/second)	: 2914.4519433198607
1800.08/1796.41	c non guided choices	4245
1800.08/1796.41	s UNKNOWN
1800.08/1796.41	c Total wall clock time (ms): 1796.307

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12140
/proc/meminfo: memFree=25392164/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/12140/stat : 12140 (java) D 12138 12140 11123 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 342074423 9515008 176 33554432000 1073741824 1073778376 140735727391104 140735727373832 219513963408 0 0 4096 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/12140/statm: 2323 176 133 9 0 71 0

[startup+0.045858 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12140
/proc/meminfo: memFree=25392164/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=2623916 CPUtime=0.01 cores=1,3,5,7
/proc/12140/stat : 12140 (java) S 12138 12140 11123 0 -1 4202496 3957 0 1 0 1 0 0 0 20 0 13 0 342074423 2686889984 4654 33554432000 1073741824 1073778376 140733939066320 140733939057456 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12140/statm: 655979 4655 1684 9 0 646680 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2623916

[startup+0.100202 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12140
/proc/meminfo: memFree=25392164/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=2957856 CPUtime=0.08 cores=1,3,5,7
/proc/12140/stat : 12140 (java) S 12138 12140 11123 0 -1 4202496 4927 0 1 0 7 1 0 0 20 0 18 0 342074423 3028844544 6123 33554432000 1073741824 1073778376 140733939066320 140733939057456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12140/statm: 739464 6124 2099 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12140
/proc/meminfo: memFree=25392164/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=2957856 CPUtime=0.52 cores=1,3,5,7
/proc/12140/stat : 12140 (java) S 12138 12140 11123 0 -1 4202496 8142 0 1 0 50 2 0 0 20 0 18 0 342074423 3028844544 10901 33554432000 1073741824 1073778376 140733939066320 140733939057456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12140/statm: 739464 10901 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2957856

[startup+0.700244 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 12140
/proc/meminfo: memFree=25392164/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=3024420 CPUtime=1.37 cores=1,3,5,7
/proc/12140/stat : 12140 (java) S 12138 12140 11123 0 -1 4202496 8999 0 1 0 135 2 0 0 20 0 19 0 342074423 3097006080 17934 33554432000 1073741824 1073778376 140733939066320 140733939057456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12140/statm: 756105 17934 2273 9 0 746526 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 3024420

[startup+1.50067 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12159
/proc/meminfo: memFree=25329596/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=3024420 CPUtime=2.19 cores=1,3,5,7
/proc/12140/stat : 12140 (java) S 12138 12140 11123 0 -1 4202496 9006 0 1 0 216 3 0 0 20 0 19 0 342074423 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140733939057456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12140/statm: 756105 18451 2275 9 0 746526 0
[pid=12140/tid=12142] ppid=12138 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/12140/task/12142/stat : 12142 (java) R 12138 12140 11123 0 -1 4202560 3125 0 1 0 144 2 0 0 20 0 19 0 342074425 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140065058898360 140064931864978 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12143] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12143/stat : 12143 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064924801576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12144] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12144/stat : 12144 (java) S 12138 12140 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064856205736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12145] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12145/stat : 12145 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064855152936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12146] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12146/stat : 12146 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064854100136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12147] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12147/stat : 12147 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064853048360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12148] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12148/stat : 12148 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064851995560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12149] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12149/stat : 12149 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064850942760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12150] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12150/stat : 12150 (java) S 12138 12140 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064849889960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12151] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12151/stat : 12151 (java) S 12138 12140 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342074427 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064837691880 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12152] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12152/stat : 12152 (java) S 12138 12140 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064836637944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12153] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12153/stat : 12153 (java) S 12138 12140 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064835585032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12154] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12154/stat : 12154 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064834533520 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12155] ppid=12138 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/12140/task/12155/stat : 12155 (java) S 12138 12140 11123 0 -1 4202560 1841 0 0 0 32 0 0 0 20 0 19 0 342074430 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064833481656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12156] ppid=12138 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/12140/task/12156/stat : 12156 (java) S 12138 12140 11123 0 -1 4202560 2844 0 0 0 37 0 0 0 20 0 19 0 342074430 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064832428856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12157] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12157/stat : 12157 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064831376248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12158] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12158/stat : 12158 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064830323656 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12159] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12159/stat : 12159 (java) S 12138 12140 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342074468 3097006080 18451 33554432000 1073741824 1073778376 140733939066320 140064828122280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 3024420

[startup+3.10068 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12159
/proc/meminfo: memFree=25322948/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=3024420 CPUtime=3.81 cores=1,3,5,7
/proc/12140/stat : 12140 (java) S 12138 12140 11123 0 -1 4202496 9015 0 1 0 378 3 0 0 20 0 19 0 342074423 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140733939057456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12140/statm: 756105 20503 2275 9 0 746526 0
[pid=12140/tid=12142] ppid=12138 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/12140/task/12142/stat : 12142 (java) R 12138 12140 11123 0 -1 4202560 3130 0 1 0 304 2 0 0 20 0 19 0 342074425 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140065058898368 140064931865295 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12143] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12143/stat : 12143 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064924801576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12144] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12144/stat : 12144 (java) S 12138 12140 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064856205736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12145] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12145/stat : 12145 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064855152936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12146] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12146/stat : 12146 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064854100136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12147] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12147/stat : 12147 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064853048360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12148] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12148/stat : 12148 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064851995560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12149] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12149/stat : 12149 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064850942760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12150] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12150/stat : 12150 (java) S 12138 12140 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064849889960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12151] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12151/stat : 12151 (java) S 12138 12140 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342074427 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064837691880 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12152] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12152/stat : 12152 (java) S 12138 12140 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064836637944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12153] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12153/stat : 12153 (java) S 12138 12140 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064835585032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12154] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12154/stat : 12154 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064834533520 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12155] ppid=12138 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/12140/task/12155/stat : 12155 (java) S 12138 12140 11123 0 -1 4202560 1843 0 0 0 33 0 0 0 20 0 19 0 342074430 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064833481656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12156] ppid=12138 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/12140/task/12156/stat : 12156 (java) S 12138 12140 11123 0 -1 4202560 2846 0 0 0 38 0 0 0 20 0 19 0 342074430 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064832428856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12157] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12157/stat : 12157 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064831376248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12158] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12158/stat : 12158 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064830323656 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12159] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12159/stat : 12159 (java) S 12138 12140 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342074468 3097006080 20503 33554432000 1073741824 1073778376 140733939066320 140064828122280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 3024420

[startup+6.30073 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12159
/proc/meminfo: memFree=25309884/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=3024420 CPUtime=7.01 cores=1,3,5,7
/proc/12140/stat : 12140 (java) S 12138 12140 11123 0 -1 4202496 9022 0 1 0 698 3 0 0 20 0 19 0 342074423 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140733939057456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12140/statm: 756105 22962 2276 9 0 746526 0
[pid=12140/tid=12142] ppid=12138 vsize=3024420 CPUtime=6.26 cores=1,3,5,7
/proc/12140/task/12142/stat : 12142 (java) R 12138 12140 11123 0 -1 4202560 3136 0 1 0 623 3 0 0 20 0 19 0 342074425 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140065058898368 140064931920993 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12143] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12143/stat : 12143 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064924801576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12144] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12144/stat : 12144 (java) S 12138 12140 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064856205736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12145] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12145/stat : 12145 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064855152936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12146] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12146/stat : 12146 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064854100136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12147] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12147/stat : 12147 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064853048360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12148] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12148/stat : 12148 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064851995560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12149] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12149/stat : 12149 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064850942760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12150] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12150/stat : 12150 (java) S 12138 12140 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342074426 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064849889960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12151] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12151/stat : 12151 (java) S 12138 12140 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342074427 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064837691880 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12152] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12152/stat : 12152 (java) S 12138 12140 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064836637944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12153] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12153/stat : 12153 (java) S 12138 12140 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064835585032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12154] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12154/stat : 12154 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064834533520 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12155] ppid=12138 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/12140/task/12155/stat : 12155 (java) S 12138 12140 11123 0 -1 4202560 1843 0 0 0 34 0 0 0 20 0 19 0 342074430 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064833481656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12156] ppid=12138 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/12140/task/12156/stat : 12156 (java) S 12138 12140 11123 0 -1 4202560 2846 0 0 0 38 0 0 0 20 0 19 0 342074430 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064832428856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12157] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12157/stat : 12157 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064831376248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12158] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12158/stat : 12158 (java) S 12138 12140 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064830323656 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12159] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12159/stat : 12159 (java) S 12138 12140 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342074468 3097006080 22962 33554432000 1073741824 1073778376 140733939066320 140064828122280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=12140/tid=12148] ppid=12138 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12140/task/12148/stat : 12148 (java) S 12138 12140 11123 0 -1 4202560 210 0 0 0 33 12 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064851995560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12149] ppid=12138 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/12140/task/12149/stat : 12149 (java) S 12138 12140 11123 0 -1 4202560 260 0 0 0 36 15 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064850942760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12150] ppid=12138 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/12140/task/12150/stat : 12150 (java) S 12138 12140 11123 0 -1 4202560 175 0 0 0 18 10 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064849889960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12151] ppid=12138 vsize=3024420 CPUtime=1.64 cores=1,3,5,7
/proc/12140/task/12151/stat : 12151 (java) S 12138 12140 11123 0 -1 4202560 218 0 0 0 157 7 0 0 20 0 19 0 342074427 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064837691880 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12152] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12152/stat : 12152 (java) S 12138 12140 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064836637944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12153] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12153/stat : 12153 (java) S 12138 12140 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064835585032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12154] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12154/stat : 12154 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064834533520 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12155] ppid=12138 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/12140/task/12155/stat : 12155 (java) S 12138 12140 11123 0 -1 4202560 1887 0 0 0 40 0 0 0 20 0 19 0 342074430 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064833481656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12156] ppid=12138 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/12140/task/12156/stat : 12156 (java) S 12138 12140 11123 0 -1 4202560 2860 0 0 0 43 0 0 0 20 0 19 0 342074430 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064832428856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12157] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12157/stat : 12157 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064831376248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12158] ppid=12138 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/12140/task/12158/stat : 12158 (java) S 12138 12140 11123 0 -1 4202560 98 0 0 0 26 40 0 0 20 0 19 0 342074430 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064830323656 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12159] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12159/stat : 12159 (java) S 12138 12140 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342074468 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064828122280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1665.61
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12265
/proc/meminfo: memFree=23723240/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=3024420 CPUtime=1725.6 cores=1,3,5,7
/proc/12140/stat : 12140 (java) S 12138 12140 11123 0 -1 4202496 11478 0 1 0 172394 166 0 0 20 0 19 0 342074423 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140733939057456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12140/statm: 756105 417922 2304 9 0 746526 0
[pid=12140/tid=12142] ppid=12138 vsize=3024420 CPUtime=1719.44 cores=1,3,5,7
/proc/12140/task/12142/stat : 12142 (java) R 12138 12140 11123 0 -1 4202560 3322 0 1 0 171905 39 0 0 20 0 19 0 342074425 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140065058897184 140064931865248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12143] ppid=12138 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/12140/task/12143/stat : 12143 (java) S 12138 12140 11123 0 -1 4202560 346 0 0 0 38 21 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064924801576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12144] ppid=12138 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/12140/task/12144/stat : 12144 (java) S 12138 12140 11123 0 -1 4202560 194 0 0 0 20 13 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064856205736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12145] ppid=12138 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/12140/task/12145/stat : 12145 (java) S 12138 12140 11123 0 -1 4202560 188 0 0 0 26 11 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064855152936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12146] ppid=12138 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/12140/task/12146/stat : 12146 (java) S 12138 12140 11123 0 -1 4202560 289 0 0 0 30 16 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064854100136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12147] ppid=12138 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12140/task/12147/stat : 12147 (java) S 12138 12140 11123 0 -1 4202560 246 0 0 0 30 14 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064853048360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12148] ppid=12138 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/12140/task/12148/stat : 12148 (java) S 12138 12140 11123 0 -1 4202560 210 0 0 0 33 12 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064851995560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12149] ppid=12138 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/12140/task/12149/stat : 12149 (java) S 12138 12140 11123 0 -1 4202560 260 0 0 0 36 15 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064850942760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12150] ppid=12138 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/12140/task/12150/stat : 12150 (java) S 12138 12140 11123 0 -1 4202560 175 0 0 0 18 10 0 0 20 0 19 0 342074426 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064849889960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12151] ppid=12138 vsize=3024420 CPUtime=1.64 cores=1,3,5,7
/proc/12140/task/12151/stat : 12151 (java) S 12138 12140 11123 0 -1 4202560 218 0 0 0 157 7 0 0 20 0 19 0 342074427 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064837691880 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12152] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12152/stat : 12152 (java) S 12138 12140 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064836637944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12153] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12153/stat : 12153 (java) S 12138 12140 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064835585032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12154] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12154/stat : 12154 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064834533520 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12155] ppid=12138 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/12140/task/12155/stat : 12155 (java) S 12138 12140 11123 0 -1 4202560 1887 0 0 0 40 0 0 0 20 0 19 0 342074430 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064833481656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12156] ppid=12138 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/12140/task/12156/stat : 12156 (java) S 12138 12140 11123 0 -1 4202560 2860 0 0 0 43 0 0 0 20 0 19 0 342074430 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064832428856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12157] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12157/stat : 12157 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064831376248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12158] ppid=12138 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/12140/task/12158/stat : 12158 (java) S 12138 12140 11123 0 -1 4202560 102 0 0 0 27 42 0 0 20 0 19 0 342074430 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064830323656 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12159] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12159/stat : 12159 (java) S 12138 12140 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342074468 3097006080 417922 33554432000 1073741824 1073778376 140733939066320 140064828122280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.6
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12265
/proc/meminfo: memFree=23716096/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=3024420 CPUtime=1785.98 cores=1,3,5,7
/proc/12140/stat : 12140 (java) S 12138 12140 11123 0 -1 4202496 11577 0 1 0 178431 167 0 0 20 0 19 0 342074423 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140733939057456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12140/statm: 756105 419620 2304 9 0 746526 0
[pid=12140/tid=12142] ppid=12138 vsize=3024420 CPUtime=1778.82 cores=1,3,5,7
/proc/12140/task/12142/stat : 12142 (java) R 12138 12140 11123 0 -1 4202560 3324 0 1 0 177842 40 0 0 20 0 19 0 342074425 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140065058897184 140064931939555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12143] ppid=12138 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/12140/task/12143/stat : 12143 (java) S 12138 12140 11123 0 -1 4202560 347 0 0 0 47 21 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064924801576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12144] ppid=12138 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12140/task/12144/stat : 12144 (java) S 12138 12140 11123 0 -1 4202560 284 0 0 0 26 13 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064856205736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12145] ppid=12138 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12140/task/12145/stat : 12145 (java) S 12138 12140 11123 0 -1 4202560 190 0 0 0 33 11 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064855152936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12146] ppid=12138 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/12140/task/12146/stat : 12146 (java) S 12138 12140 11123 0 -1 4202560 289 0 0 0 38 16 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064854100136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12147] ppid=12138 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/12140/task/12147/stat : 12147 (java) S 12138 12140 11123 0 -1 4202560 246 0 0 0 37 14 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064853048360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12148] ppid=12138 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/12140/task/12148/stat : 12148 (java) S 12138 12140 11123 0 -1 4202560 210 0 0 0 38 12 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064851995560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12149] ppid=12138 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/12140/task/12149/stat : 12149 (java) S 12138 12140 11123 0 -1 4202560 260 0 0 0 43 15 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064850942760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12150] ppid=12138 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/12140/task/12150/stat : 12150 (java) S 12138 12140 11123 0 -1 4202560 175 0 0 0 22 10 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064849889960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12151] ppid=12138 vsize=3024420 CPUtime=2.11 cores=1,3,5,7
/proc/12140/task/12151/stat : 12151 (java) S 12138 12140 11123 0 -1 4202560 220 0 0 0 204 7 0 0 20 0 19 0 342074427 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064837691880 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12152] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12152/stat : 12152 (java) S 12138 12140 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064836637944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12153] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12153/stat : 12153 (java) S 12138 12140 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064835585032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12154] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12154/stat : 12154 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064834533520 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12155] ppid=12138 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/12140/task/12155/stat : 12155 (java) S 12138 12140 11123 0 -1 4202560 1887 0 0 0 40 0 0 0 20 0 19 0 342074430 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064833481656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12156] ppid=12138 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/12140/task/12156/stat : 12156 (java) S 12138 12140 11123 0 -1 4202560 2860 0 0 0 43 0 0 0 20 0 19 0 342074430 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064832428856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12157] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12157/stat : 12157 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064831376248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12158] ppid=12138 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/12140/task/12158/stat : 12158 (java) S 12138 12140 11123 0 -1 4202560 104 0 0 0 28 43 0 0 20 0 19 0 342074430 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064830323656 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12159] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12159/stat : 12159 (java) S 12138 12140 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342074468 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064828122280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.98
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 12266
/proc/meminfo: memFree=23715976/32873648 swapFree=7120/7120
[pid=12140] ppid=12138 vsize=3024420 CPUtime=1800.08 cores=1,3,5,7
/proc/12140/stat : 12140 (java) S 12138 12140 11123 0 -1 4202496 11579 0 1 0 179841 167 0 0 20 0 19 0 342074423 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140733939057456 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12140/statm: 756105 419620 2304 9 0 746526 0
[pid=12140/tid=12142] ppid=12138 vsize=3024420 CPUtime=1792.92 cores=1,3,5,7
/proc/12140/task/12142/stat : 12142 (java) R 12138 12140 11123 0 -1 4202560 3324 0 1 0 179252 40 0 0 20 0 19 0 342074425 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140065058897184 140064931939555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12143] ppid=12138 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/12140/task/12143/stat : 12143 (java) S 12138 12140 11123 0 -1 4202560 347 0 0 0 47 21 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064924801576 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12144] ppid=12138 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/12140/task/12144/stat : 12144 (java) S 12138 12140 11123 0 -1 4202560 284 0 0 0 26 13 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064856205736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12145] ppid=12138 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/12140/task/12145/stat : 12145 (java) S 12138 12140 11123 0 -1 4202560 190 0 0 0 33 11 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064855152936 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12146] ppid=12138 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/12140/task/12146/stat : 12146 (java) S 12138 12140 11123 0 -1 4202560 289 0 0 0 38 16 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064854100136 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12147] ppid=12138 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/12140/task/12147/stat : 12147 (java) S 12138 12140 11123 0 -1 4202560 246 0 0 0 37 14 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064853048360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12148] ppid=12138 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/12140/task/12148/stat : 12148 (java) S 12138 12140 11123 0 -1 4202560 210 0 0 0 38 12 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064851995560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12149] ppid=12138 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/12140/task/12149/stat : 12149 (java) S 12138 12140 11123 0 -1 4202560 260 0 0 0 43 15 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064850942760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12140/tid=12150] ppid=12138 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/12140/task/12150/stat : 12150 (java) S 12138 12140 11123 0 -1 4202560 175 0 0 0 22 10 0 0 20 0 19 0 342074426 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064849889960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12151] ppid=12138 vsize=3024420 CPUtime=2.11 cores=1,3,5,7
/proc/12140/task/12151/stat : 12151 (java) S 12138 12140 11123 0 -1 4202560 220 0 0 0 204 7 0 0 20 0 19 0 342074427 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064837691880 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12152] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12152/stat : 12152 (java) S 12138 12140 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064836637944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12153] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12153/stat : 12153 (java) S 12138 12140 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342074428 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064835585032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12154] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12154/stat : 12154 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064834533520 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12140/tid=12155] ppid=12138 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/12140/task/12155/stat : 12155 (java) S 12138 12140 11123 0 -1 4202560 1887 0 0 0 40 0 0 0 20 0 19 0 342074430 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064833481656 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12140/tid=12156] ppid=12138 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/12140/task/12156/stat : 12156 (java) S 12138 12140 11123 0 -1 4202560 2860 0 0 0 43 0 0 0 20 0 19 0 342074430 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064832428856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12157] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12157/stat : 12157 (java) S 12138 12140 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342074430 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064831376248 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12158] ppid=12138 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/12140/task/12158/stat : 12158 (java) S 12138 12140 11123 0 -1 4202560 106 0 0 0 28 43 0 0 20 0 19 0 342074430 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064830323656 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12140/tid=12159] ppid=12138 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/12140/task/12159/stat : 12159 (java) S 12138 12140 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342074468 3097006080 419620 33554432000 1073741824 1073778376 140733939066320 140064828122280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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.42
CPU time (s): 1800.8
CPU user time (s): 1798.65
CPU system time (s): 2.15167
CPU usage (%): 100.244
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 2.15167
maximum resident set size= 1678600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11612
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38170
involuntary context switches= 25908

runsolver used 6.18106 second user time and 15.5726 second system time

The end

Launcher Data

Begin job on node114 at 2012-06-03 23:37:51
IDJOB=3741971
IDBENCH=90122
IDSOLVER=2319
FILE ID=node114/3741971-1338759471
RUNJOBID= node114-1338749374-11140
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_K97.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741971-1338759471/watcher-3741971-1338759471 -o /tmp/evaluation-result-3741971-1338759471/solver-3741971-1338759471 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741971-1338759471.opb           

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

MD5SUM BENCH= 43f0e9fb1c8ca4724fdfde37689b9cda
RANDOM SEED=339424815

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:        25392428 kB
Buffers:         1062772 kB
Cached:          3726824 kB
SwapCached:         2244 kB
Active:          4585244 kB
Inactive:        1872544 kB
Active(anon):    1654856 kB
Inactive(anon):     8360 kB
Active(file):    2930388 kB
Inactive(file):  1864184 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              3960 kB
Writeback:             0 kB
AnonPages:       1682160 kB
Mapped:            19196 kB
Shmem:               100 kB
Slab:             865516 kB
SReclaimable:     309280 kB
SUnreclaim:       556236 kB
KernelStack:        1600 kB
PageTables:         7504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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-04 00:07:49