Trace number 3742517

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.01 1794.82

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K143.opb
MD5SUM8f58618b79e9d2a9b56b6a791eca5768
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17017
Total number of constraints17305
Number of constraints which are clauses17162
Number of constraints which are cardinality constraints (but not clauses)143
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint143
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 144
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.03/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.03/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.03/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.03/0.09	c no version file found!!!
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version	1.6.0_24
0.03/0.09	c os.name	Linux
0.03/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch	amd64
0.03/0.09	c Free memory 1599470296
0.03/0.09	c Max memory 1607860224
0.03/0.09	c Total memory 1607860224
0.03/0.09	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3742517-1338769842.opb
0.07/0.12	c reading problem ... 
1.20/0.63	c ... done. Wall clock time 0.514s.
1.20/0.63	c CPU time (experimental) 0.59s.
1.20/0.63	c #vars     17017
1.20/0.63	c #constraints  17303
971.16/967.80	c cleaning 309499 clauses out of 620476 for limit 6648.134755818309
972.48/969.16	c cleaning 155327 clauses out of 311477 for limit 21840.1041678335
973.17/969.88	c cleaning 77826 clauses out of 156648 for limit 71473.11291304404
973.87/970.50	c cleaning 39273 clauses out of 79322 for limit 232771.48818884106
974.17/970.83	c cleaning 19706 clauses out of 40549 for limit 750929.5206651981
974.37/971.05	c cleaning 10056 clauses out of 21343 for limit 2352771.4886577358
974.47/971.19	c cleaning 5362 clauses out of 11787 for limit 7025671.126973605
974.68/971.33	c cleaning 2861 clauses out of 6925 for limit 1.9720921725147683E7
974.77/971.47	c cleaning 1994 clauses out of 4564 for limit 4.934660038051174E7
974.97/971.65	c cleaning 1339 clauses out of 3070 for limit 1.2098189578203698E8
975.17/971.86	c cleaning 893 clauses out of 2231 for limit 2.745459729251627E8
975.37/972.07	c cleaning 711 clauses out of 1838 for limit 5.495725443776003E8
975.57/972.26	c cleaning 744 clauses out of 1627 for limit 1.0238559752155762E9
975.78/972.45	c cleaning 496 clauses out of 1383 for limit 1.9863699155165412E9
975.87/972.59	c cleaning 490 clauses out of 1387 for limit 3.266342600012561E9
976.07/972.79	c cleaning 683 clauses out of 1397 for limit 5.34807731456027E9
976.37/973.06	c cleaning 554 clauses out of 1214 for limit 1.0149187675235748E10
976.57/973.25	c cleaning 506 clauses out of 1160 for limit 1.7516521558230286E10
976.78/973.44	c cleaning 492 clauses out of 1154 for limit 2.9037280196454517E10
976.97/973.63	c cleaning 479 clauses out of 1162 for limit 4.7556677243888466E10
977.07/973.72	c cleaning 508 clauses out of 1183 for limit 7.703512179729623E10
977.17/973.85	c cleaning 394 clauses out of 1175 for limit 1.2790618292548798E11
977.38/974.06	c cleaning 535 clauses out of 1281 for limit 1.934800373043761E11
977.58/974.21	c cleaning 610 clauses out of 1249 for limit 3.2823302569358154E11
977.68/974.39	c cleaning 486 clauses out of 1136 for limit 5.933606405521201E11
977.88/974.55	c cleaning 487 clauses out of 1150 for limit 9.666185224238346E11
978.08/974.70	c cleaning 471 clauses out of 1163 for limit 1.57626461194992E12
978.18/974.83	c cleaning 445 clauses out of 1192 for limit 2.5362290452153267E12
978.28/974.94	c cleaning 606 clauses out of 1249 for limit 3.999697986799399E12
978.38/975.09	c cleaning 532 clauses out of 1142 for limit 7.206840477665588E12
978.58/975.21	c cleaning 459 clauses out of 1109 for limit 1.2226463118089732E13
978.68/975.38	c cleaning 451 clauses out of 1150 for limit 1.944421591248003E13
978.88/975.52	c cleaning 439 clauses out of 1199 for limit 3.075565490108345E13
978.98/975.63	c cleaning 438 clauses out of 1260 for limit 4.8264688119363E13
979.08/975.78	c cleaning 497 clauses out of 1322 for limit 7.58620337205341E13
979.28/975.90	c cleaning 487 clauses out of 1326 for limit 1.2485410074465648E14
979.38/976.04	c cleaning 490 clauses out of 1338 for limit 2.0385041357306938E14
979.48/976.15	c cleaning 457 clauses out of 1348 for limit 3.336827108917283E14
979.58/976.25	c cleaning 677 clauses out of 1392 for limit 5.3342671336065856E14
979.67/976.36	c cleaning 569 clauses out of 1216 for limit 1.0080238784392966E15
979.77/976.49	c cleaning 437 clauses out of 1145 for limit 1.761918321643094E15
979.97/976.61	c cleaning 526 clauses out of 1209 for limit 2.7545797867001895E15
980.08/976.76	c cleaning 484 clauses out of 1182 for limit 4.641790718813505E15
980.27/976.92	c cleaning 584 clauses out of 1198 for limit 7.552697684505811E-5
980.37/977.06	c cleaning 530 clauses out of 1114 for limit 1.3394595887393805E-4
980.57/977.22	c cleaning 505 clauses out of 1084 for limit 2.270081300187745E-4
980.67/977.37	c cleaning 492 clauses out of 1079 for limit 3.761015608023366E-4
980.87/977.53	c cleaning 410 clauses out of 1087 for limit 6.156769907638931E-4
981.07/977.70	c cleaning 431 clauses out of 1177 for limit 9.376956290059451E-4
981.18/977.86	c cleaning 405 clauses out of 1246 for limit 0.001460751022942594
981.37/978.00	c cleaning 398 clauses out of 1341 for limit 0.0022383157497014444
981.47/978.14	c cleaning 429 clauses out of 1444 for limit 0.0034314157000040536
981.57/978.28	c cleaning 466 clauses out of 1514 for limit 0.005391827970194243
981.77/978.41	c cleaning 470 clauses out of 1548 for limit 0.00869654669369439
981.87/978.52	c cleaning 481 clauses out of 1578 for limit 0.014069111697661571
981.97/978.65	c cleaning 502 clauses out of 1598 for limit 0.022934395643065396
982.07/978.77	c cleaning 529 clauses out of 1600 for limit 0.03792608610538977
982.17/978.89	c cleaning 516 clauses out of 1566 for limit 0.06358425392319668
982.38/979.01	c cleaning 487 clauses out of 1551 for limit 0.10597902957781888
982.47/979.13	c cleaning 580 clauses out of 1563 for limit 0.1732583337873972
982.57/979.28	c cleaning 519 clauses out of 1484 for limit 0.3012378986078397
982.77/979.40	c cleaning 500 clauses out of 1466 for limit 0.5033846158813046
982.87/979.50	c cleaning 489 clauses out of 1464 for limit 0.829620921898437
982.97/979.64	c cleaning 532 clauses out of 1475 for limit 1.3579526884820072
983.07/979.74	c cleaning 481 clauses out of 1443 for limit 2.289107643296547
983.17/979.85	c cleaning 494 clauses out of 1463 for limit 3.727165000136084
983.27/979.96	c cleaning 490 clauses out of 1473 for limit 6.1293459260218075
983.38/980.08	c cleaning 480 clauses out of 1478 for limit 10.023647224097784
983.50/980.19	c cleaning 470 clauses out of 1499 for limit 16.315071204255094
983.69/980.34	c cleaning 477 clauses out of 1529 for limit 26.37782653726904
983.79/980.45	c cleaning 479 clauses out of 1551 for limit 42.84065190017975
983.89/980.58	c cleaning 479 clauses out of 1575 for limit 69.78253351394784
984.09/980.72	c cleaning 549 clauses out of 1593 for limit 113.43938590795949
984.19/980.84	c cleaning 510 clauses out of 1544 for limit 193.01374336641658
984.29/980.95	c cleaning 493 clauses out of 1534 for limit 320.3804868812295
984.39/981.05	c cleaning 492 clauses out of 1541 for limit 525.9502488717081
984.50/981.16	c cleaning 483 clauses out of 1549 for limit 862.882721938909
984.60/981.27	c cleaning 477 clauses out of 1567 for limit 1408.0711262597415
984.69/981.38	c cleaning 486 clauses out of 1591 for limit 2289.358513954358
984.79/981.48	c cleaning 483 clauses out of 1604 for limit 3741.1144928745653
984.89/981.59	c cleaning 498 clauses out of 1620 for limit 6102.555308159573
984.99/981.69	c cleaning 489 clauses out of 1622 for limit 10051.520803456016
985.19/981.80	c cleaning 503 clauses out of 1633 for limit 16464.64336294209
985.29/981.91	c cleaning 488 clauses out of 1630 for limit 27202.373247496736
985.39/982.01	c cleaning 514 clauses out of 1642 for limit 44532.505884421866
985.49/982.12	c cleaning 494 clauses out of 1632 for limit 74186.36064207744
985.60/982.24	c cleaning 496 clauses out of 1634 for limit 121705.44498038203
985.70/982.36	c cleaning 529 clauses out of 1638 for limit 200218.42944156568
985.79/982.46	c cleaning 492 clauses out of 1612 for limit 336521.12541002565
985.89/982.58	c cleaning 727 clauses out of 1617 for limit 551594.2139103727
986.09/982.79	c cleaning 617 clauses out of 1390 for limit 1058207.4349294354
986.29/982.99	c cleaning 539 clauses out of 1273 for limit 1905518.1604655667
986.49/983.14	c cleaning 528 clauses out of 1239 for limit 3244879.960161301
986.70/983.36	c cleaning 573 clauses out of 1206 for limit 5470234.724145653
986.89/983.56	c cleaning 477 clauses out of 1133 for limit 9602387.92511954
987.19/983.80	c cleaning 515 clauses out of 1156 for limit 1.5520553663758816E7
987.29/983.99	c cleaning 452 clauses out of 1141 for limit 2.5931956620450813E7
987.49/984.15	c cleaning 442 clauses out of 1189 for limit 4.103882929294148E7
987.69/984.33	c cleaning 468 clauses out of 1248 for limit 6.454351770129238E7
987.80/984.49	c cleaning 484 clauses out of 1279 for limit 1.0375715319072604E8
988.09/984.73	c cleaning 612 clauses out of 1295 for limit 1.6899533270098308E8
988.29/984.99	c cleaning 406 clauses out of 1183 for limit 3.0508132314666414E8
988.59/985.20	c cleaning 467 clauses out of 1278 for limit 4.661867339546862E8
988.79/985.42	c cleaning 477 clauses out of 1310 for limit 7.492743131859986E8
989.00/985.61	c cleaning 461 clauses out of 1333 for limit 1.2143332242491586E9
989.09/985.76	c cleaning 510 clauses out of 1372 for limit 1.9456727773517013E9
989.29/985.96	c cleaning 547 clauses out of 1362 for limit 3.2322332486755695E9
989.39/986.09	c cleaning 442 clauses out of 1316 for limit 5.522227704487858E9
989.59/986.20	c cleaning 676 clauses out of 1376 for limit 8.72723511901999E9
989.69/986.33	c cleaning 537 clauses out of 1197 for limit 1.6495037665172241E10
989.79/986.44	c cleaning 369 clauses out of 1160 for limit 2.807019048319416E10
990.00/986.64	c cleaning 550 clauses out of 1291 for limit 4.159422087748832E10
990.19/986.83	c cleaning 451 clauses out of 1241 for limit 7.13581104525099E10
990.39/987.01	c cleaning 426 clauses out of 1290 for limit 1.1320909006549774E11
990.49/987.17	c cleaning 464 clauses out of 1364 for limit 1.765682150463846E11
990.59/987.30	c cleaning 509 clauses out of 1401 for limit 2.837782855011577E11
990.89/987.52	c cleaning 469 clauses out of 1391 for limit 4.7088140548455273E11
991.10/987.73	c cleaning 694 clauses out of 1422 for limit 7.596175003971556E11
991.29/987.93	c cleaning 541 clauses out of 1228 for limit 1.4506147137359434E12
991.49/988.12	c cleaning 511 clauses out of 1187 for limit 2.47488836014671E12
991.69/988.31	c cleaning 422 clauses out of 1176 for limit 4.1195985567612915E12
991.79/988.47	c cleaning 463 clauses out of 1254 for limit 6.371190189025709E12
991.99/988.64	c cleaning 448 clauses out of 1292 for limit 1.0208125277076541E13
992.09/988.79	c cleaning 545 clauses out of 1344 for limit 1.6183226895091715E13
992.30/988.99	c cleaning 521 clauses out of 1298 for limit 2.7606482526597234E13
992.49/989.18	c cleaning 463 clauses out of 1277 for limit 4.627546131131019E13
992.69/989.37	c cleaning 420 clauses out of 1314 for limit 7.416554217216784E13
992.89/989.58	c cleaning 451 clauses out of 1394 for limit 1.1528973856531466E14
993.09/989.71	c cleaning 468 clauses out of 1443 for limit 1.8367201226529412E14
993.19/989.87	c cleaning 457 clauses out of 1475 for limit 2.9632833568415875E14
993.40/990.07	c cleaning 498 clauses out of 1518 for limit 4.748422099914909E14
993.69/990.30	c cleaning 510 clauses out of 1520 for limit 7.820479613099099E14
993.79/990.49	c cleaning 737 clauses out of 1510 for limit 1.2982427796231415E15
993.99/990.65	c cleaning 420 clauses out of 1275 for limit 2.5406660772215095E15
994.09/990.79	c cleaning 631 clauses out of 1353 for limit 3.940459249585982E15
994.29/990.93	c cleaning 577 clauses out of 1222 for limit 7.194975481046774E-5
994.40/991.07	c cleaning 498 clauses out of 1145 for limit 1.2663417475896441E-4
994.59/991.24	c cleaning 494 clauses out of 1147 for limit 2.0847255080080996E-4
994.69/991.35	c cleaning 402 clauses out of 1155 for limit 3.421016938731993E-4
994.79/991.48	c cleaning 404 clauses out of 1251 for limit 5.198364911240582E-4
994.99/991.61	c cleaning 378 clauses out of 1347 for limit 7.961820158484268E-4
995.09/991.75	c cleaning 430 clauses out of 1469 for limit 0.0012039655227383931
995.29/991.97	c cleaning 478 clauses out of 1539 for limit 0.001895191559066457
995.50/992.14	c cleaning 463 clauses out of 1561 for limit 0.0030813761529953528
995.69/992.32	c cleaning 502 clauses out of 1598 for limit 0.004963942386949103
995.79/992.48	c cleaning 498 clauses out of 1596 for limit 0.008196463462742358
995.99/992.60	c cleaning 507 clauses out of 1598 for limit 0.013500147275538091
996.09/992.72	c cleaning 511 clauses out of 1591 for limit 0.02236150289243035
996.29/992.91	c cleaning 490 clauses out of 1580 for limit 0.037133849109548395
996.39/993.04	c cleaning 516 clauses out of 1590 for limit 0.06085353589772592
996.60/993.22	c cleaning 497 clauses out of 1576 for limit 0.10144990384116785
996.70/993.35	c cleaning 480 clauses out of 1577 for limit 0.16686414327405916
996.80/993.43	c cleaning 483 clauses out of 1598 for limit 0.2718368569619059
996.90/993.54	c cleaning 478 clauses out of 1615 for limit 0.4435764444688853
996.99/993.65	c cleaning 470 clauses out of 1636 for limit 0.7214048836871784
997.09/993.79	c cleaning 486 clauses out of 1666 for limit 1.1682701149021169
997.29/993.91	c cleaning 482 clauses out of 1680 for limit 1.9105784269546797
997.39/994.02	c cleaning 483 clauses out of 1702 for limit 3.122543733795902
997.49/994.14	c cleaning 506 clauses out of 1715 for limit 5.090047099857688
997.59/994.27	c cleaning 538 clauses out of 1710 for limit 8.427140094716043
997.80/994.42	c cleaning 550 clauses out of 1671 for limit 14.207617273861882
997.90/994.58	c cleaning 521 clauses out of 1621 for limit 24.152971648829528
998.10/994.75	c cleaning 495 clauses out of 1600 for limit 40.3542695687154
998.30/994.98	c cleaning 487 clauses out of 1605 for limit 66.34226942445994
998.50/995.11	c cleaning 474 clauses out of 1618 for limit 108.5282325169866
998.60/995.28	c cleaning 499 clauses out of 1644 for limit 176.14702849242778
998.80/995.46	c cleaning 509 clauses out of 1646 for limit 290.42747720841277
998.90/995.59	c cleaning 485 clauses out of 1636 for limit 481.3994714926243
999.10/995.71	c cleaning 489 clauses out of 1651 for limit 786.6792992000724
999.20/995.85	c cleaning 490 clauses out of 1662 for limit 1288.7529222351302
999.30/995.98	c cleaning 479 clauses out of 1672 for limit 2112.614695292129
999.40/996.10	c cleaning 459 clauses out of 1693 for limit 3440.768854778712
999.60/996.22	c cleaning 519 clauses out of 1735 for limit 5542.470320420524
999.70/996.36	c cleaning 726 clauses out of 1714 for limit 9243.009788198668
999.90/996.56	c cleaning 607 clauses out of 1489 for limit 17563.85857817021
1000.10/996.72	c cleaning 567 clauses out of 1381 for limit 31199.1186681005
1000.20/996.87	c cleaning 520 clauses out of 1314 for limit 54074.99977918976
1000.40/997.08	c cleaning 502 clauses out of 1295 for limit 90575.87160840473
1000.60/997.24	c cleaning 485 clauses out of 1292 for limit 149568.84911863538
1000.80/997.42	c cleaning 499 clauses out of 1307 for limit 243828.2181926574
1000.90/997.51	c cleaning 477 clauses out of 1312 for limit 402179.2423739878
1000.90/997.59	c cleaning 463 clauses out of 1331 for limit 651168.3314006025
1001.10/997.72	c cleaning 542 clauses out of 1368 for limit 1044819.1313475552
1001.30/997.92	c cleaning 519 clauses out of 1329 for limit 1778941.4522315022
1001.50/998.11	c cleaning 508 clauses out of 1307 for limit 2974153.6422671536
1001.60/998.27	c cleaning 503 clauses out of 1299 for limit 4934983.711508605
1001.80/998.42	c cleaning 466 clauses out of 1298 for limit 8161032.225014844
1001.90/998.55	c cleaning 521 clauses out of 1330 for limit 1.310856064738489E7
1002.10/998.73	c cleaning 644 clauses out of 1309 for limit 2.196457928602886E7
1002.30/998.95	c cleaning 529 clauses out of 1165 for limit 4.0699820825292006E7
1002.50/999.15	c cleaning 502 clauses out of 1136 for limit 6.883288591050914E7
1002.70/999.36	c cleaning 495 clauses out of 1134 for limit 1.1371483934711276E8
1002.90/999.56	c cleaning 469 clauses out of 1141 for limit 1.867538066162011E8
1003.10/999.74	c cleaning 418 clauses out of 1170 for limit 2.997478722560074E8
1003.30/999.94	c cleaning 454 clauses out of 1252 for limit 4.619484655404341E8
1003.40/1000.05	c cleaning 441 clauses out of 1300 for limit 7.35155847447834E8
1003.60/1000.25	c cleaning 491 clauses out of 1357 for limit 1.1591236956363313E9
1003.80/1000.49	c cleaning 474 clauses out of 1366 for limit 1.8989556389346335E9
1004.00/1000.65	c cleaning 477 clauses out of 1392 for limit 3.073138762029781E9
1004.10/1000.77	c cleaning 489 clauses out of 1419 for limit 4.991521480605111E9
1004.30/1000.91	c cleaning 520 clauses out of 1426 for limit 8.158562676417774E9
1004.50/1001.13	c cleaning 491 clauses out of 1407 for limit 1.3649900358359917E10
1004.70/1001.31	c cleaning 483 clauses out of 1415 for limit 2.2360860587196575E10
1004.80/1001.41	c cleaning 505 clauses out of 1432 for limit 3.643827614828103E10
1004.90/1001.54	c cleaning 501 clauses out of 1427 for limit 6.030214417326393E10
1005.00/1001.69	c cleaning 493 clauses out of 1426 for limit 9.951604075849895E10
1005.20/1001.80	c cleaning 506 clauses out of 1433 for limit 1.633135846405213E11
1005.30/1001.95	c cleaning 490 clauses out of 1427 for limit 2.7045836341365256E11
1005.40/1002.09	c cleaning 483 clauses out of 1437 for limit 4.4291818104867926E11
1005.60/1002.22	c cleaning 715 clauses out of 1454 for limit 7.218912143335184E11
1005.70/1002.35	c cleaning 539 clauses out of 1239 for limit 1.3970782884970264E12
1005.90/1002.56	c cleaning 516 clauses out of 1200 for limit 2.3788479878757373E12
1006.00/1002.69	c cleaning 412 clauses out of 1187 for limit 3.977925454244931E12
1006.20/1002.86	c cleaning 424 clauses out of 1272 for limit 6.103410768233545E12
1006.40/1003.08	c cleaning 457 clauses out of 1348 for limit 9.497858731061158E12
1006.70/1003.32	c cleaning 671 clauses out of 1391 for limit 1.5179041729653059E13
1006.90/1003.51	c cleaning 526 clauses out of 1220 for limit 2.8540891938891133E13
1007.00/1003.68	c cleaning 464 clauses out of 1194 for limit 4.809267479574891E13
1007.30/1003.90	c cleaning 591 clauses out of 1230 for limit 7.69899494525021E13
1007.50/1004.10	c cleaning 504 clauses out of 1139 for limit 1.3711068762016492E14
1007.61/1004.28	c cleaning 462 clauses out of 1136 for limit 2.2693793585010962E14
1007.80/1004.42	c cleaning 498 clauses out of 1173 for limit 3.620835501924914E14
1007.90/1004.50	c cleaning 364 clauses out of 1175 for limit 5.961078312991149E14
1008.00/1004.64	c cleaning 427 clauses out of 1311 for limit 8.810811080375002E14
1008.10/1004.76	c cleaning 678 clauses out of 1384 for limit 1.3763800778000425E15
1008.20/1004.85	c cleaning 556 clauses out of 1206 for limit 2.6048519651250726E-5
1008.30/1004.97	c cleaning 511 clauses out of 1150 for limit 4.504933678079493E-5
1008.50/1005.10	c cleaning 536 clauses out of 1139 for limit 7.500986864405893E-5
1008.60/1005.23	c cleaning 502 clauses out of 1103 for limit 1.277387034012549E-4
1008.71/1005.38	c cleaning 482 clauses out of 1101 for limit 2.1104087753570546E-4
1008.90/1005.50	c cleaning 471 clauses out of 1119 for limit 3.4243622716663224E-4
1008.90/1005.59	c cleaning 410 clauses out of 1149 for limit 5.505289481085709E-4
1009.00/1005.67	c cleaning 335 clauses out of 1238 for limit 8.41784489663207E-4
1009.10/1005.74	c cleaning 419 clauses out of 1403 for limit 0.001224953999562907
1009.20/1005.86	c cleaning 500 clauses out of 1484 for limit 0.0019098507833025633
1009.30/1005.98	c cleaning 500 clauses out of 1487 for limit 0.003152693794179589
1009.50/1006.11	c cleaning 487 clauses out of 1485 for limit 0.005195808908562998
1009.60/1006.25	c cleaning 493 clauses out of 1497 for limit 0.008491398031298879
1009.70/1006.37	c cleaning 490 clauses out of 1505 for limit 0.013942957319338251
1009.81/1006.47	c cleaning 487 clauses out of 1514 for limit 0.022834257694931047
1010.00/1006.60	c cleaning 489 clauses out of 1527 for limit 0.03733615777082193
1010.10/1006.75	c cleaning 488 clauses out of 1539 for limit 0.061153376228293505
1010.20/1006.86	c cleaning 491 clauses out of 1551 for limit 0.10006982679877813
1010.30/1006.97	c cleaning 508 clauses out of 1562 for limit 0.16419458370895
1010.50/1007.13	c cleaning 476 clauses out of 1551 for limit 0.2718819714285513
1010.60/1007.27	c cleaning 560 clauses out of 1576 for limit 0.4416989773914228
1010.80/1007.45	c cleaning 522 clauses out of 1516 for limit 0.7572500185786193
1011.01/1007.63	c cleaning 530 clauses out of 1496 for limit 1.2680366642065644
1011.10/1007.78	c cleaning 507 clauses out of 1464 for limit 2.1325989510218264
1011.40/1008.00	c cleaning 502 clauses out of 1456 for limit 3.5327285508546207
1011.50/1008.16	c cleaning 510 clauses out of 1454 for limit 5.833955655680854
1011.60/1008.29	c cleaning 484 clauses out of 1444 for limit 9.687600567961908
1011.90/1008.50	c cleaning 515 clauses out of 1460 for limit 15.801068232142285
1012.11/1008.72	c cleaning 473 clauses out of 1445 for limit 26.328574395905548
1012.20/1008.89	c cleaning 482 clauses out of 1472 for limit 42.62292680325179
1012.40/1009.06	c cleaning 523 clauses out of 1490 for limit 69.44175637944839
1012.60/1009.20	c cleaning 482 clauses out of 1467 for limit 116.31420011745138
1012.70/1009.34	c cleaning 488 clauses out of 1489 for limit 189.7413947314567
1012.80/1009.47	c cleaning 496 clauses out of 1497 for limit 309.9936701532908
1012.90/1009.58	c cleaning 507 clauses out of 1503 for limit 510.2001198094082
1013.11/1009.74	c cleaning 507 clauses out of 1494 for limit 844.7647875850041
1013.21/1009.88	c cleaning 522 clauses out of 1488 for limit 1400.147753355931
1013.40/1010.07	c cleaning 502 clauses out of 1467 for limit 2344.4289955289664
1013.60/1010.24	c cleaning 488 clauses out of 1463 for limit 3869.098045835977
1013.70/1010.38	c cleaning 492 clauses out of 1475 for limit 6328.749819775062
1013.90/1010.51	c cleaning 491 clauses out of 1483 for limit 10380.653249679044
1014.10/1010.71	c cleaning 512 clauses out of 1492 for limit 17015.820644149586
1014.31/1010.94	c cleaning 481 clauses out of 1483 for limit 28316.52747323811
1014.50/1011.11	c cleaning 476 clauses out of 1499 for limit 46060.84102969277
1014.60/1011.25	c cleaning 623 clauses out of 1523 for limit 74838.31346894223
1014.70/1011.36	c cleaning 533 clauses out of 1399 for limit 134223.18990425344
1014.90/1011.50	c cleaning 565 clauses out of 1366 for limit 226699.44560518948
1015.10/1011.70	c cleaning 513 clauses out of 1301 for limit 392536.2306773897
1015.30/1011.92	c cleaning 523 clauses out of 1288 for limit 653878.5161372308
1015.40/1012.04	c cleaning 502 clauses out of 1265 for limit 1097939.2046388972
1015.60/1012.20	c cleaning 472 clauses out of 1263 for limit 1813515.846858768
1015.80/1012.41	c cleaning 526 clauses out of 1291 for limit 2925865.4471032005
1016.00/1012.61	c cleaning 492 clauses out of 1265 for limit 4924316.4482032
1016.20/1012.81	c cleaning 478 clauses out of 1273 for limit 8069822.138051883
1016.40/1013.04	c cleaning 506 clauses out of 1295 for limit 1.3082130739820877E7
1016.60/1013.24	c cleaning 519 clauses out of 1289 for limit 2.16746065737047E7
1016.80/1013.43	c cleaning 442 clauses out of 1270 for limit 3.627908344736451E7
1017.00/1013.67	c cleaning 514 clauses out of 1328 for limit 5.72160456745075E7
1017.20/1013.84	c cleaning 493 clauses out of 1314 for limit 9.536223834474085E7
1017.30/1013.97	c cleaning 504 clauses out of 1321 for limit 1.5643173815920198E8
1017.40/1014.09	c cleaning 490 clauses out of 1318 for limit 2.5882288692601576E8
1017.51/1014.20	c cleaning 527 clauses out of 1327 for limit 4.235147493270645E8
1017.70/1014.35	c cleaning 467 clauses out of 1300 for limit 7.129383837511E8
1017.80/1014.45	c cleaning 500 clauses out of 1334 for limit 1.1469115299670548E9
1017.90/1014.57	c cleaning 509 clauses out of 1333 for limit 1.8909366271746817E9
1018.10/1014.77	c cleaning 493 clauses out of 1324 for limit 3.1396050970005164E9
1018.40/1015.01	c cleaning 477 clauses out of 1331 for limit 5.150398609679745E9
1018.61/1015.23	c cleaning 524 clauses out of 1354 for limit 8.349416392722006E9
1018.80/1015.40	c cleaning 482 clauses out of 1330 for limit 1.4017773250913977E10
1018.90/1015.54	c cleaning 479 clauses out of 1349 for limit 2.2814403626780273E10
1019.00/1015.69	c cleaning 673 clauses out of 1369 for limit 3.703727255313179E10
1019.20/1015.86	c cleaning 551 clauses out of 1196 for limit 6.991448339780733E10
1019.40/1016.06	c cleaning 532 clauses out of 1147 for limit 1.2046470606497289E11
1019.60/1016.21	c cleaning 445 clauses out of 1113 for limit 2.043219112174535E11
1019.71/1016.38	c cleaning 477 clauses out of 1168 for limit 3.2108731675689087E11
1019.90/1016.50	c cleaning 428 clauses out of 1191 for limit 5.19290191000708E11
1019.90/1016.59	c cleaning 414 clauses out of 1264 for limit 8.077281255002184E11
1020.20/1016.80	c cleaning 579 clauses out of 1349 for limit 1.2468715192751047E12
1020.40/1017.00	c cleaning 482 clauses out of 1270 for limit 2.1841668971683298E12
1020.60/1017.21	c cleaning 484 clauses out of 1288 for limit 3.551645128636799E12
1020.70/1017.36	c cleaning 472 clauses out of 1304 for limit 5.785271224422206E12
1020.91/1017.53	c cleaning 440 clauses out of 1332 for limit 9.340131223880344E12
1021.10/1017.78	c cleaning 560 clauses out of 1392 for limit 1.4739198048554379E13
1021.30/1017.98	c cleaning 491 clauses out of 1332 for limit 2.540181518358322E13
1021.50/1018.13	c cleaning 493 clauses out of 1341 for limit 4.160984383826608E13
1021.60/1018.25	c cleaning 488 clauses out of 1348 for limit 6.826386260990159E13
1021.80/1018.46	c cleaning 486 clauses out of 1360 for limit 1.115829218408875E14
1022.01/1018.63	c cleaning 485 clauses out of 1375 for limit 1.8218991716087875E14
1022.20/1018.82	c cleaning 463 clauses out of 1389 for limit 2.9712976949363925E14
1022.40/1019.00	c cleaning 533 clauses out of 1426 for limit 4.772926793512995E14
1022.50/1019.18	c cleaning 683 clauses out of 1393 for limit 8.057662437286585E14
1022.80/1019.45	c cleaning 545 clauses out of 1210 for limit 1.5297860717666785E15
1023.01/1019.63	c cleaning 533 clauses out of 1165 for limit 2.6202699390469685E15
1023.20/1019.83	c cleaning 514 clauses out of 1132 for limit 4.447146331548576E15
1023.40/1020.07	c cleaning 526 clauses out of 1118 for limit 7.425777466534778E-5
1023.60/1020.21	c cleaning 499 clauses out of 1092 for limit 1.2537674265172968E-4
1023.70/1020.39	c cleaning 492 clauses out of 1095 for limit 2.066095597123493E-4
1023.90/1020.59	c cleaning 504 clauses out of 1101 for limit 3.3819258078577203E-4
1024.11/1020.74	c cleaning 402 clauses out of 1100 for limit 5.599098813370585E-4
1024.30/1020.94	c cleaning 406 clauses out of 1195 for limit 8.474132759933893E-4
1024.50/1021.13	c cleaning 440 clauses out of 1289 for limit 0.001295585678164791
1024.60/1021.29	c cleaning 470 clauses out of 1349 for limit 0.002041563973015814
1024.70/1021.39	c cleaning 463 clauses out of 1382 for limit 0.00329629690120465
1024.90/1021.54	c cleaning 498 clauses out of 1416 for limit 0.00528960769351594
1025.10/1021.75	c cleaning 502 clauses out of 1419 for limit 0.008713541826684797
1025.31/1021.92	c cleaning 494 clauses out of 1417 for limit 0.014390078147772845
1025.40/1022.05	c cleaning 511 clauses out of 1422 for limit 0.023624073303699415
1025.60/1022.24	c cleaning 478 clauses out of 1411 for limit 0.03926297931197388
1025.80/1022.41	c cleaning 481 clauses out of 1440 for limit 0.06389181747068032
1026.00/1022.61	c cleaning 500 clauses out of 1452 for limit 0.10376608287130033
1026.10/1022.74	c cleaning 489 clauses out of 1452 for limit 0.17112415223298946
1026.20/1022.84	c cleaning 472 clauses out of 1463 for limit 0.2800847653289259
1026.31/1022.96	c cleaning 507 clauses out of 1491 for limit 0.45322312039091045
1026.41/1023.05	c cleaning 502 clauses out of 1484 for limit 0.7509511488771741
1026.51/1023.14	c cleaning 498 clauses out of 1483 for limit 1.2404944762291878
1026.61/1023.28	c cleaning 514 clauses out of 1484 for limit 2.042318446972803
1026.81/1023.43	c cleaning 491 clauses out of 1470 for limit 3.400133062537018
1027.01/1023.62	c cleaning 505 clauses out of 1479 for limit 5.573152937272934
1027.11/1023.75	c cleaning 528 clauses out of 1477 for limit 9.230985357009049
1027.31/1023.94	c cleaning 505 clauses out of 1446 for limit 15.502888235274526
1027.51/1024.13	c cleaning 475 clauses out of 1441 for limit 25.655047037028307
1027.61/1024.29	c cleaning 504 clauses out of 1466 for limit 41.587107284323935
1027.81/1024.45	c cleaning 502 clauses out of 1462 for limit 68.77034411072876
1028.01/1024.67	c cleaning 510 clauses out of 1460 for limit 113.56685558620964
1028.21/1024.89	c cleaning 498 clauses out of 1451 for limit 188.63724430366676
1028.41/1025.01	c cleaning 509 clauses out of 1452 for limit 310.56292952327095
1028.51/1025.19	c cleaning 453 clauses out of 1443 for limit 515.3541611231949
1028.71/1025.32	c cleaning 487 clauses out of 1491 for limit 823.350727252331
1028.81/1025.45	c cleaning 511 clauses out of 1503 for limit 1345.627678199466
1029.01/1025.64	c cleaning 494 clauses out of 1492 for limit 2235.4808609050106
1029.21/1025.88	c cleaning 478 clauses out of 1499 for limit 3673.0644182488627
1029.41/1026.02	c cleaning 543 clauses out of 1520 for limit 5967.7135000426215
1029.51/1026.16	c cleaning 499 clauses out of 1477 for limit 10128.07584303249
1029.71/1026.38	c cleaning 521 clauses out of 1478 for limit 16691.25119549186
1030.01/1026.62	c cleaning 508 clauses out of 1457 for limit 27922.84479786531
1030.21/1026.82	c cleaning 484 clauses out of 1450 for limit 46317.126784750544
1030.41/1027.00	c cleaning 473 clauses out of 1465 for limit 75525.45729012245
1030.51/1027.12	c cleaning 498 clauses out of 1493 for limit 122338.0571700096
1030.61/1027.24	c cleaning 486 clauses out of 1498 for limit 201682.86215892478
1030.71/1027.40	c cleaning 537 clauses out of 1508 for limit 329076.8319720548
1030.91/1027.58	c cleaning 500 clauses out of 1471 for limit 556342.0205993224
1031.11/1027.78	c cleaning 503 clauses out of 1471 for limit 917482.4180722632
1031.31/1027.96	c cleaning 480 clauses out of 1468 for limit 1516143.312582196
1031.51/1028.12	c cleaning 489 clauses out of 1488 for limit 2466716.654540626
1031.61/1028.28	c cleaning 509 clauses out of 1499 for limit 4038094.2515838468
1031.71/1028.37	c cleaning 490 clauses out of 1490 for limit 6699581.93526283
1800.01/1794.81	c starts		: 22
1800.01/1794.81	c conflicts		: 1349009
1800.01/1794.81	c decisions		: 6825873
1800.01/1794.81	c propagations		: 1157210878
1800.01/1794.81	c inspects		: 7299100721
1800.01/1794.81	c learnt literals	: 29
1800.01/1794.81	c learnt binary clauses	: 99905
1800.01/1794.81	c learnt ternary clauses	: 73989
1800.01/1794.81	c learnt clauses	: 1348980
1800.01/1794.81	c root simplifications	: 0
1800.01/1794.81	c removed literals (reason simplification)	: 0
1800.01/1794.81	c reason swapping (by a shorter reason)	: 0
1800.01/1794.81	c Calls to reduceDB	: 371
1800.01/1794.81	c speed (decisions/second)	: 3804.476055488641
1800.01/1794.81	c non guided choices	10733
1800.01/1794.81	s UNKNOWN
1800.01/1794.81	c Total wall clock time (ms): 1794.697

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-3742517-1338769842/watcher-3742517-1338769842 -o /tmp/evaluation-result-3742517-1338769842/solver-3742517-1338769842 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742517-1338769842.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/195 14823
/proc/meminfo: memFree=25009316/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14823/stat : 14823 (java) D 14821 14823 14240 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 343108579 9515008 182 33554432000 1073741824 1073778376 140736506372736 140736506363768 254750310069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/14823/statm: 2323 182 140 9 0 71 0

[startup+0.055126 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 14823
/proc/meminfo: memFree=25009316/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/14823/stat : 14823 (java) S 14821 14823 14240 0 -1 4202496 3954 0 1 0 2 1 0 0 20 0 13 0 343108579 2686889984 5161 33554432000 1073741824 1073778376 140737277076096 140737277067232 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14823/statm: 655979 5161 1699 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100342 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 14823
/proc/meminfo: memFree=25009316/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/14823/stat : 14823 (java) S 14821 14823 14240 0 -1 4202496 4162 0 1 0 6 1 0 0 20 0 18 0 343108579 3028844544 5879 33554432000 1073741824 1073778376 140737277076096 140737277067232 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14823/statm: 739464 5880 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300294 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 14823
/proc/meminfo: memFree=25009316/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=2957856 CPUtime=0.5 cores=1,3,5,7
/proc/14823/stat : 14823 (java) S 14821 14823 14240 0 -1 4202496 8092 0 1 0 48 2 0 0 20 0 18 0 343108579 3028844544 11398 33554432000 1073741824 1073778376 140737277076096 140737277067232 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14823/statm: 739464 11398 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.70033 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 14823
/proc/meminfo: memFree=25009316/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=3024420 CPUtime=1.43 cores=1,3,5,7
/proc/14823/stat : 14823 (java) S 14821 14823 14240 0 -1 4202496 9955 0 1 0 139 4 0 0 20 0 19 0 343108579 3097006080 32442 33554432000 1073741824 1073778376 140737277076096 140737277067232 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14823/statm: 756105 32442 2268 9 0 746526 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 3024420

[startup+1.50074 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 14845
/proc/meminfo: memFree=26540724/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=3024420 CPUtime=2.41 cores=1,3,5,7
/proc/14823/stat : 14823 (java) S 14821 14823 14240 0 -1 4202496 9958 0 1 0 237 4 0 0 20 0 19 0 343108579 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140737277067232 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14823/statm: 756105 32445 2271 9 0 746526 0
[pid=14823/tid=14825] ppid=14821 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/14823/task/14825/stat : 14825 (java) R 14821 14823 14240 0 -1 4202560 3106 0 1 0 142 4 0 0 20 0 19 0 343108580 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050904125928 140050776614820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14826] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14826/stat : 14826 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050770024616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14827] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14827/stat : 14827 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050768972072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14828] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14828/stat : 14828 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050767919528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14829] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14829/stat : 14829 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050766866984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14830] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14830/stat : 14830 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050765814440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14831] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14831/stat : 14831 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050764761896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14832] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14832/stat : 14832 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050427800488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14833] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14833/stat : 14833 (java) S 14821 14823 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050426747944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14834] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14834/stat : 14834 (java) S 14821 14823 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050414549096 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14835] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14835/stat : 14835 (java) S 14821 14823 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050413495416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14836] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14836/stat : 14836 (java) S 14821 14823 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050412442760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14837] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14837/stat : 14837 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050411391504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14838] ppid=14821 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/14823/task/14838/stat : 14838 (java) S 14821 14823 14240 0 -1 4202560 2464 0 0 0 47 0 0 0 20 0 19 0 343108586 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050410338872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14839] ppid=14821 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/14823/task/14839/stat : 14839 (java) S 14821 14823 14240 0 -1 4202560 3187 0 0 0 45 0 0 0 20 0 19 0 343108586 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050409286328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14840] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14840/stat : 14840 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050408233976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14841] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14841/stat : 14841 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050407181640 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14845] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14845/stat : 14845 (java) S 14821 14823 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343108644 3097006080 32445 33554432000 1073741824 1073778376 140737277076096 140050405049128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 3024420

[startup+3.10061 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 14845
/proc/meminfo: memFree=26538304/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=3024420 CPUtime=4.04 cores=1,3,5,7
/proc/14823/stat : 14823 (java) S 14821 14823 14240 0 -1 4202496 9962 0 1 0 399 5 0 0 20 0 19 0 343108579 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140737277067232 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14823/statm: 756105 33470 2271 9 0 746526 0
[pid=14823/tid=14825] ppid=14821 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/14823/task/14825/stat : 14825 (java) R 14821 14823 14240 0 -1 4202560 3109 0 1 0 302 4 0 0 20 0 19 0 343108580 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050904125880 140050776640900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14826] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14826/stat : 14826 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050770024616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14827] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14827/stat : 14827 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050768972072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14828] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14828/stat : 14828 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050767919528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14829] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14829/stat : 14829 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050766866984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14830] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14830/stat : 14830 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050765814440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14831] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14831/stat : 14831 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050764761896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14832] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14832/stat : 14832 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050427800488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14833] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14833/stat : 14833 (java) S 14821 14823 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050426747944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14834] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14834/stat : 14834 (java) S 14821 14823 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050414549096 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14835] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14835/stat : 14835 (java) S 14821 14823 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050413495416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14836] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14836/stat : 14836 (java) S 14821 14823 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050412442760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14837] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14837/stat : 14837 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050411391504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14838] ppid=14821 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/14823/task/14838/stat : 14838 (java) S 14821 14823 14240 0 -1 4202560 2464 0 0 0 48 0 0 0 20 0 19 0 343108586 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050410338872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14839] ppid=14821 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/14823/task/14839/stat : 14839 (java) S 14821 14823 14240 0 -1 4202560 3187 0 0 0 45 0 0 0 20 0 19 0 343108586 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050409286328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14840] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14840/stat : 14840 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050408233976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14841] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14841/stat : 14841 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050407181640 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14845] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14845/stat : 14845 (java) S 14821 14823 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343108644 3097006080 33470 33554432000 1073741824 1073778376 140737277076096 140050405049128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 3024420

[startup+6.30074 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 14901
/proc/meminfo: memFree=26423348/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=3024420 CPUtime=7.27 cores=1,3,5,7
/proc/14823/stat : 14823 (java) S 14821 14823 14240 0 -1 4202496 9966 0 1 0 722 5 0 0 20 0 19 0 343108579 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140737277067232 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14823/statm: 756105 34471 2272 9 0 746526 0
[pid=14823/tid=14825] ppid=14821 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/14823/task/14825/stat : 14825 (java) R 14821 14823 14240 0 -1 4202560 3112 0 1 0 621 4 0 0 20 0 19 0 343108580 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050904126008 140050776640911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14826] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14826/stat : 14826 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050770024616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14827] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14827/stat : 14827 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050768972072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14828] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14828/stat : 14828 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050767919528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14829] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14829/stat : 14829 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050766866984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14830] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14830/stat : 14830 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050765814440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14831] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14831/stat : 14831 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050764761896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14832] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14832/stat : 14832 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050427800488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14833] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14833/stat : 14833 (java) S 14821 14823 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343108581 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050426747944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14834] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14834/stat : 14834 (java) S 14821 14823 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050414549096 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14835] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14835/stat : 14835 (java) S 14821 14823 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050413495416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14836] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14836/stat : 14836 (java) S 14821 14823 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050412442760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14837] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14837/stat : 14837 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050411391504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14838] ppid=14821 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14823/task/14838/stat : 14838 (java) S 14821 14823 14240 0 -1 4202560 2465 0 0 0 50 0 0 0 20 0 19 0 343108586 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050410338872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14839] ppid=14821 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/14823/task/14839/stat : 14839 (java) S 14821 14823 14240 0 -1 4202560 3187 0 0 0 47 0 0 0 20 0 19 0 343108586 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050409286328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14840] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14840/stat : 14840 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050408233976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14841] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14841/stat : 14841 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050407181640 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14845] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14845/stat : 14845 (java) S 14821 14823 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343108644 3097006080 34471 33554432000 1073741824 1073778376 140737277076096 140050405049128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=14823/tid=14838] ppid=14821 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/14823/task/14838/stat : 14838 (java) S 14821 14823 14240 0 -1 4202560 2482 0 0 0 61 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050410338872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14839] ppid=14821 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/14823/task/14839/stat : 14839 (java) S 14821 14823 14240 0 -1 4202560 3191 0 0 0 48 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050409286328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14840] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14840/stat : 14840 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050408233976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14841] ppid=14821 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/14823/task/14841/stat : 14841 (java) S 14821 14823 14240 0 -1 4202560 95 0 0 0 53 42 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050407181640 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14845] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14845/stat : 14845 (java) S 14821 14823 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343108644 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050405049128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1667.37
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 14914
/proc/meminfo: memFree=23313972/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=3024420 CPUtime=1727.44 cores=1,3,5,7
/proc/14823/stat : 14823 (java) S 14821 14823 14240 0 -1 4202496 12169 0 1 0 172528 216 0 0 20 0 19 0 343108579 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140737277067232 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14823/statm: 756105 420737 2302 9 0 746526 0
[pid=14823/tid=14825] ppid=14821 vsize=3024420 CPUtime=1714.59 cores=1,3,5,7
/proc/14823/task/14825/stat : 14825 (java) R 14821 14823 14240 0 -1 4202560 3276 0 1 0 171423 36 0 0 20 0 19 0 343108580 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050904124720 140050776640908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14826] ppid=14821 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/14823/task/14826/stat : 14826 (java) S 14821 14823 14240 0 -1 4202560 192 0 0 0 31 15 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050770024616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14827] ppid=14821 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/14823/task/14827/stat : 14827 (java) S 14821 14823 14240 0 -1 4202560 210 0 0 0 25 17 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050768972072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14828] ppid=14821 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/14823/task/14828/stat : 14828 (java) S 14821 14823 14240 0 -1 4202560 202 0 0 0 35 17 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050767919528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14829] ppid=14821 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/14823/task/14829/stat : 14829 (java) S 14821 14823 14240 0 -1 4202560 287 0 0 0 29 22 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050766866984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14830] ppid=14821 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/14823/task/14830/stat : 14830 (java) S 14821 14823 14240 0 -1 4202560 148 0 0 0 23 11 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050765814440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14831] ppid=14821 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/14823/task/14831/stat : 14831 (java) S 14821 14823 14240 0 -1 4202560 257 0 0 0 30 19 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050764761896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14832] ppid=14821 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/14823/task/14832/stat : 14832 (java) S 14821 14823 14240 0 -1 4202560 209 0 0 0 42 16 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050427800488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14833] ppid=14821 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/14823/task/14833/stat : 14833 (java) S 14821 14823 14240 0 -1 4202560 183 0 0 0 23 14 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050426747944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14834] ppid=14821 vsize=3024420 CPUtime=2.26 cores=1,3,5,7
/proc/14823/task/14834/stat : 14834 (java) S 14821 14823 14240 0 -1 4202560 246 0 0 0 218 8 0 0 20 0 19 0 343108583 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050414549096 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14835] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14835/stat : 14835 (java) S 14821 14823 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050413495416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14836] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14836/stat : 14836 (java) S 14821 14823 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050412442760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14837] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14837/stat : 14837 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050411391504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14838] ppid=14821 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/14823/task/14838/stat : 14838 (java) S 14821 14823 14240 0 -1 4202560 2482 0 0 0 61 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050410338872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14839] ppid=14821 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/14823/task/14839/stat : 14839 (java) S 14821 14823 14240 0 -1 4202560 3191 0 0 0 48 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050409286328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14840] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14840/stat : 14840 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050408233976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14841] ppid=14821 vsize=3024420 CPUtime=0.99 cores=1,3,5,7
/proc/14823/task/14841/stat : 14841 (java) S 14821 14823 14240 0 -1 4202560 99 0 0 0 55 44 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050407181640 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14845] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14845/stat : 14845 (java) S 14821 14823 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343108644 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050405049128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.44
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14918
/proc/meminfo: memFree=23313592/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=3024420 CPUtime=1787.49 cores=1,3,5,7
/proc/14823/stat : 14823 (java) S 14821 14823 14240 0 -1 4202496 12173 0 1 0 178529 220 0 0 20 0 19 0 343108579 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140737277067232 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14823/statm: 756105 420737 2302 9 0 746526 0
[pid=14823/tid=14825] ppid=14821 vsize=3024420 CPUtime=1774.44 cores=1,3,5,7
/proc/14823/task/14825/stat : 14825 (java) R 14821 14823 14240 0 -1 4202560 3276 0 1 0 177408 36 0 0 20 0 19 0 343108580 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050904124720 140050776640865 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14826] ppid=14821 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/14823/task/14826/stat : 14826 (java) S 14821 14823 14240 0 -1 4202560 192 0 0 0 31 15 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050770024616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14827] ppid=14821 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/14823/task/14827/stat : 14827 (java) S 14821 14823 14240 0 -1 4202560 210 0 0 0 25 17 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050768972072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14828] ppid=14821 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/14823/task/14828/stat : 14828 (java) S 14821 14823 14240 0 -1 4202560 202 0 0 0 35 17 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050767919528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14829] ppid=14821 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/14823/task/14829/stat : 14829 (java) S 14821 14823 14240 0 -1 4202560 287 0 0 0 29 22 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050766866984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14830] ppid=14821 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/14823/task/14830/stat : 14830 (java) S 14821 14823 14240 0 -1 4202560 148 0 0 0 23 11 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050765814440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14831] ppid=14821 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/14823/task/14831/stat : 14831 (java) S 14821 14823 14240 0 -1 4202560 257 0 0 0 30 19 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050764761896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14832] ppid=14821 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/14823/task/14832/stat : 14832 (java) S 14821 14823 14240 0 -1 4202560 209 0 0 0 42 16 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050427800488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14833] ppid=14821 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/14823/task/14833/stat : 14833 (java) S 14821 14823 14240 0 -1 4202560 183 0 0 0 23 14 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050426747944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14834] ppid=14821 vsize=3024420 CPUtime=2.26 cores=1,3,5,7
/proc/14823/task/14834/stat : 14834 (java) S 14821 14823 14240 0 -1 4202560 246 0 0 0 218 8 0 0 20 0 19 0 343108583 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050414549096 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14835] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14835/stat : 14835 (java) S 14821 14823 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050413495416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14836] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14836/stat : 14836 (java) S 14821 14823 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050412442760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14837] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14837/stat : 14837 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050411391504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14838] ppid=14821 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/14823/task/14838/stat : 14838 (java) S 14821 14823 14240 0 -1 4202560 2482 0 0 0 61 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050410338872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14839] ppid=14821 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/14823/task/14839/stat : 14839 (java) S 14821 14823 14240 0 -1 4202560 3191 0 0 0 48 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050409286328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14840] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14840/stat : 14840 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050408233976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14841] ppid=14821 vsize=3024420 CPUtime=1.02 cores=1,3,5,7
/proc/14823/task/14841/stat : 14841 (java) S 14821 14823 14240 0 -1 4202560 103 0 0 0 56 46 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050407181640 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14845] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14845/stat : 14845 (java) S 14821 14823 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343108644 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050405049128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14918
/proc/meminfo: memFree=23313592/32873844 swapFree=7628/7628
[pid=14823] ppid=14821 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/14823/stat : 14823 (java) S 14821 14823 14240 0 -1 4202496 12173 0 1 0 179781 220 0 0 20 0 19 0 343108579 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140737277067232 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14823/statm: 756105 420737 2302 9 0 746526 0
[pid=14823/tid=14825] ppid=14821 vsize=3024420 CPUtime=1786.91 cores=1,3,5,7
/proc/14823/task/14825/stat : 14825 (java) R 14821 14823 14240 0 -1 4202560 3276 0 1 0 178654 37 0 0 20 0 19 0 343108580 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050904124720 140050776640911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14826] ppid=14821 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/14823/task/14826/stat : 14826 (java) S 14821 14823 14240 0 -1 4202560 192 0 0 0 31 15 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050770024616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14827] ppid=14821 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/14823/task/14827/stat : 14827 (java) S 14821 14823 14240 0 -1 4202560 210 0 0 0 25 17 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050768972072 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14828] ppid=14821 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/14823/task/14828/stat : 14828 (java) S 14821 14823 14240 0 -1 4202560 202 0 0 0 35 17 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050767919528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14829] ppid=14821 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/14823/task/14829/stat : 14829 (java) S 14821 14823 14240 0 -1 4202560 287 0 0 0 29 22 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050766866984 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14830] ppid=14821 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/14823/task/14830/stat : 14830 (java) S 14821 14823 14240 0 -1 4202560 148 0 0 0 23 11 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050765814440 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14831] ppid=14821 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/14823/task/14831/stat : 14831 (java) S 14821 14823 14240 0 -1 4202560 257 0 0 0 30 19 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050764761896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14832] ppid=14821 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/14823/task/14832/stat : 14832 (java) S 14821 14823 14240 0 -1 4202560 209 0 0 0 42 16 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050427800488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14833] ppid=14821 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/14823/task/14833/stat : 14833 (java) S 14821 14823 14240 0 -1 4202560 183 0 0 0 23 14 0 0 20 0 19 0 343108581 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050426747944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14834] ppid=14821 vsize=3024420 CPUtime=2.26 cores=1,3,5,7
/proc/14823/task/14834/stat : 14834 (java) S 14821 14823 14240 0 -1 4202560 246 0 0 0 218 8 0 0 20 0 19 0 343108583 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050414549096 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14835] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14835/stat : 14835 (java) S 14821 14823 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050413495416 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14823/tid=14836] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14836/stat : 14836 (java) S 14821 14823 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343108583 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050412442760 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14837] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14837/stat : 14837 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050411391504 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14838] ppid=14821 vsize=3024420 CPUtime=0.61 cores=1,3,5,7
/proc/14823/task/14838/stat : 14838 (java) S 14821 14823 14240 0 -1 4202560 2482 0 0 0 61 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050410338872 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14823/tid=14839] ppid=14821 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/14823/task/14839/stat : 14839 (java) S 14821 14823 14240 0 -1 4202560 3191 0 0 0 48 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050409286328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14840] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14840/stat : 14840 (java) S 14821 14823 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050408233976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14823/tid=14841] ppid=14821 vsize=3024420 CPUtime=1.03 cores=1,3,5,7
/proc/14823/task/14841/stat : 14841 (java) S 14821 14823 14240 0 -1 4202560 103 0 0 0 56 47 0 0 20 0 19 0 343108586 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050407181640 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14823/tid=14845] ppid=14821 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14823/task/14845/stat : 14845 (java) S 14821 14823 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343108644 3097006080 420737 33554432000 1073741824 1073778376 140737277076096 140050405049128 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14823 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=888439
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=360641
# CPU time returned by wait4() is 1795.25
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.82
CPU time (s): 1800.01
CPU user time (s): 1797.81
CPU system time (s): 2.2
CPU usage (%): 100.289
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.89
system time used= 2.36064
maximum resident set size= 1683064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12203
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38037
involuntary context switches= 6054

runsolver used 6.48201 second user time and 16.4925 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-04 02:30:42
IDJOB=3742517
IDBENCH=90199
IDSOLVER=2319
FILE ID=node145/3742517-1338769842
RUNJOBID= node145-1338762649-14257
PBS_JOBID= 14636810
Free space on /tmp= 70920 MiB

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

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

MD5SUM BENCH= 8f58618b79e9d2a9b56b6a791eca5768
RANDOM SEED=1639553976

node145.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		: 2667.149
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	: 5334.29
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		: 2667.149
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		: 2667.149
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	: 5313.38
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		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25009720 kB
Buffers:          452236 kB
Cached:          4879472 kB
SwapCached:            0 kB
Active:          3350144 kB
Inactive:        3643464 kB
Active(anon):    1653276 kB
Inactive(anon):    10916 kB
Active(file):    1696868 kB
Inactive(file):  3632548 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4692 kB
Writeback:             0 kB
AnonPages:       1669284 kB
Mapped:            22376 kB
Shmem:               200 kB
Slab:             726736 kB
SReclaimable:     167724 kB
SUnreclaim:       559012 kB
KernelStack:        1584 kB
PageTables:         7416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1824512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1632256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70916 MiB
End job on node145 at 2012-06-04 03:00:39