Trace number 349547

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
SAT4JPseudoResolution 2007-03-23? (TO) 1800.21 1782.98

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-swath.opb
MD5SUM3553224658521cb15e26e6f30dd8f5c2
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9155
Total number of constraints884
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)423
Number of constraints which are nor clauses,nor cardinality constraints461
Minimum length of a constraint1
Maximum length of a constraint6754
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 16777216000000
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 66042304016951
Number of bits of the biggest sum of numbers46
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15	c no version file found!!!
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version	1.6.0
0.08/0.15	c os.name	Linux
0.08/0.15	c os.version	2.6.9-22.EL.rootsmp
0.08/0.15	c os.arch	i386
0.08/0.15	c Free memory 1651659224
0.08/0.15	c Max memory 1654456320
0.08/0.15	c Total memory 1654456320
0.08/0.15	c Number of processors 2
0.20/0.20	--- Begin Solver configuration ---
0.20/0.20	c Stops conflict analysis at the first Unique Implication Point
0.20/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.20/0.20	c Learn all clauses as in MiniSAT
0.20/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.20/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.20/0.20	c No reason simplification
0.20/0.20	c --- End Solver configuration ---
0.20/0.20	c solving /tmp/evaluation/349547-1176707798/instance-349547-1176707798.opb
0.20/0.20	c reading problem ... 
2.26/1.71	c ... done. Wall clock time 1.509s.
2.26/1.71	c CPU time (experimental) 1.39s.
2.26/1.71	c #vars     9155
2.26/1.71	c #constraints  586
646.67/641.92	c cleaning 75452 clauses out of 151001 for limit 2.7139484148966595
648.53/643.60	c cleaning 38007 clauses out of 76046 for limit 8.860482832923864
649.44/644.54	c cleaning 19212 clauses out of 38543 for limit 28.945575106054598
650.43/645.52	c cleaning 9855 clauses out of 19828 for limit 92.51265380485435
651.33/646.42	c cleaning 5175 clauses out of 10473 for limit 288.8449858919141
667.15/661.82	c cleaning 6846 clauses out of 13798 for limit 1082106.174242142
667.85/662.60	c cleaning 3674 clauses out of 7453 for limit 3307084.510557236
668.66/663.35	c cleaning 2088 clauses out of 4283 for limit 9528450.323593823
685.09/679.44	c cleaning 5845 clauses out of 11691 for limit 4.66705043417274E10
687.76/682.04	c cleaning 3612 clauses out of 7347 for limit 3.334158852991194E11
688.55/682.81	c cleaning 2055 clauses out of 4234 for limit 9.531622832978771E11
691.59/685.82	c cleaning 2090 clauses out of 4180 for limit 7.148245847757264E12
692.29/686.54	c cleaning 1294 clauses out of 2588 for limit 1.900195800308421E13
694.73/688.91	c cleaning 1394 clauses out of 2794 for limit 7.894122931025164E13
695.43/689.66	c cleaning 895 clauses out of 1900 for limit 1.914399503565812E14
696.13/690.37	c cleaning 695 clauses out of 1506 for limit 3.987049254972828E14
699.15/693.38	c cleaning 1352 clauses out of 2813 for limit 1.581974257242838E15
717.27/711.10	c cleaning 5922 clauses out of 11960 for limit 0.13569913523786764
718.27/712.01	c cleaning 3209 clauses out of 6535 for limit 0.4083335077508544
718.97/712.80	c cleaning 1854 clauses out of 3826 for limit 1.1501951519469604
719.77/713.54	c cleaning 1177 clauses out of 2475 for limit 2.9410385524731946
903.07/896.22	c cleaning 27658 clauses out of 55321 for limit 391.57545978693497
906.57/899.79	c cleaning 14124 clauses out of 28252 for limit 1382.2408566636784
909.30/902.40	c cleaning 7283 clauses out of 14571 for limit 4174.7673770787205
915.60/908.78	c cleaning 4367 clauses out of 8744 for limit 29857.99447356436
916.80/909.96	c cleaning 2427 clauses out of 4865 for limit 87443.93311320906
918.34/911.48	c cleaning 1488 clauses out of 2987 for limit 246674.5072336358
920.04/913.14	c cleaning 988 clauses out of 1987 for limit 604231.5114273119
921.54/914.60	c cleaning 738 clauses out of 1487 for limit 1315624.6889469093
922.94/916.10	c cleaning 618 clauses out of 1237 for limit 2577003.624926519
924.34/917.41	c cleaning 553 clauses out of 1107 for limit 4692225.268311483
925.63/918.79	c cleaning 529 clauses out of 1059 for limit 8129408.749324026
928.58/921.62	c cleaning 779 clauses out of 1558 for limit 1.5454877641168585E7
929.98/923.03	c cleaning 618 clauses out of 1253 for limit 3.087738651837687E7
931.37/924.46	c cleaning 567 clauses out of 1145 for limit 5.628428109493435E7
932.77/925.84	c cleaning 532 clauses out of 1078 for limit 9.858928935226943E7
934.07/927.13	c cleaning 510 clauses out of 1043 for limit 1.675392397023331E8
935.42/928.46	c cleaning 501 clauses out of 1022 for limit 2.7888567702169997E8
936.82/929.83	c cleaning 507 clauses out of 1025 for limit 4.604125730223825E8
938.32/931.34	c cleaning 515 clauses out of 1030 for limit 7.647224568760624E8
940.22/933.26	c cleaning 557 clauses out of 1115 for limit 1.287577164080787E9
942.03/935.06	c cleaning 475 clauses out of 958 for limit 2.236079981116583E9
1183.53/1175.96	c cleaning 10047 clauses out of 20101 for limit 3.563585324133137E-4
1201.36/1193.73	c cleaning 5656 clauses out of 11415 for limit 0.0024490600495271357
1205.01/1197.34	c cleaning 3145 clauses out of 6298 for limit 0.007611575150811211
1208.60/1200.96	c cleaning 1840 clauses out of 3689 for limit 0.022216050378253523
1220.94/1213.27	c cleaning 1638 clauses out of 3284 for limit 0.10488098419011482
1225.36/1217.69	c cleaning 1087 clauses out of 2182 for limit 0.2698630765166939
1229.35/1221.61	c cleaning 813 clauses out of 1634 for limit 0.6179424172402562
1237.17/1229.45	c cleaning 944 clauses out of 1896 for limit 1.5612120104059077
1239.69/1231.94	c cleaning 651 clauses out of 1311 for limit 3.233607115530742
1243.18/1235.40	c cleaning 595 clauses out of 1198 for limit 6.061784039541746
1246.68/1238.91	c cleaning 566 clauses out of 1141 for limit 10.902823157786475
1254.11/1246.40	c cleaning 790 clauses out of 1589 for limit 21.592138337450137
1257.43/1249.63	c cleaning 632 clauses out of 1272 for limit 43.296870735174686
1260.92/1253.18	c cleaning 563 clauses out of 1135 for limit 79.62163418045942
1264.64/1256.82	c cleaning 533 clauses out of 1075 for limit 139.0522134956338
1268.04/1260.27	c cleaning 505 clauses out of 1018 for limit 236.41019283298547
1269.54/1261.77	c cleaning 380 clauses out of 956 for limit 392.1432996533933
1273.05/1265.29	c cleaning 602 clauses out of 1213 for limit 584.5556873935308
1276.65/1268.83	c cleaning 558 clauses out of 1124 for limit 1053.9619201395446
1279.37/1271.53	c cleaning 482 clauses out of 977 for limit 1829.2834560049746
1280.37/1272.51	c cleaning 457 clauses out of 948 for limit 2966.2043444651654
1281.57/1273.73	c cleaning 493 clauses out of 995 for limit 4679.293187464514
1284.59/1276.74	c cleaning 506 clauses out of 1021 for limit 7664.59491548612
1288.30/1280.46	c cleaning 530 clauses out of 1068 for limit 12741.739068808685
1292.43/1284.53	c cleaning 537 clauses out of 1083 for limit 21676.06377224127
1296.33/1288.47	c cleaning 539 clauses out of 1087 for limit 37106.51794809563
1298.83/1290.93	c cleaning 448 clauses out of 904 for limit 63708.51872603846
1302.56/1294.67	c cleaning 496 clauses out of 1001 for limit 99252.34519726795
1306.46/1298.59	c cleaning 518 clauses out of 1045 for limit 163190.51851883216
1310.28/1302.35	c cleaning 535 clauses out of 1071 for limit 274407.6073241271
1310.78/1302.82	c cleaning 427 clauses out of 878 for limit 471296.4067849891
1311.02/1303.02	c cleaning 460 clauses out of 948 for limit 717682.999743765
1311.12/1303.17	c cleaning 477 clauses out of 988 for limit 1135638.058819768
1311.32/1303.33	c cleaning 489 clauses out of 1011 for limit 1830212.9109318217
1311.55/1303.52	c cleaning 493 clauses out of 1022 for limit 2985779.703402475
1311.65/1303.67	c cleaning 495 clauses out of 1029 for limit 4890453.901772122
1311.85/1303.81	c cleaning 501 clauses out of 1034 for limit 8026013.622863121
1311.95/1303.93	c cleaning 517 clauses out of 1035 for limit 1.3249667874103783E7
1312.08/1304.05	c cleaning 509 clauses out of 1018 for limit 2.22153648844968E7
1312.20/1304.19	c cleaning 489 clauses out of 1008 for limit 3.6962562509269424E7
1312.40/1304.31	c cleaning 495 clauses out of 1018 for limit 6.0297068923021935E7
1312.50/1304.43	c cleaning 497 clauses out of 1023 for limit 9.895192164864045E7
1312.60/1304.55	c cleaning 513 clauses out of 1028 for limit 1.6271652553483987E8
1312.70/1304.66	c cleaning 487 clauses out of 1013 for limit 2.7177042591769934E8
1312.91/1304.80	c cleaning 513 clauses out of 1026 for limit 4.4250702182668406E8
1313.01/1304.92	c cleaning 506 clauses out of 1013 for limit 7.391183235064957E8
1313.11/1305.04	c cleaning 486 clauses out of 1007 for limit 1.2261675847574933E9
1313.21/1305.16	c cleaning 510 clauses out of 1021 for limit 1.9943870535721097E9
1313.31/1305.27	c cleaning 505 clauses out of 1011 for limit 3.321543311410613E9
1313.41/1305.38	c cleaning 484 clauses out of 1006 for limit 5.504894264995546E9
1313.62/1305.50	c cleaning 510 clauses out of 1023 for limit 8.936382048719776E9
1313.72/1305.61	c cleaning 488 clauses out of 1012 for limit 1.4882579937923098E10
1313.82/1305.73	c cleaning 492 clauses out of 1024 for limit 2.4255747711760094E10
1313.92/1305.84	c cleaning 516 clauses out of 1033 for limit 3.96921570176467E10
1314.02/1305.95	c cleaning 508 clauses out of 1016 for limit 6.648638031450285E10
1314.12/1306.06	c cleaning 504 clauses out of 1009 for limit 1.1051612017953134E11
1314.23/1306.18	c cleaning 487 clauses out of 1004 for limit 1.829803519814362E11
1314.33/1306.29	c cleaning 490 clauses out of 1018 for limit 2.979070577525453E11
1314.43/1306.39	c cleaning 494 clauses out of 1028 for limit 4.865095196251153E11
1314.63/1306.50	c cleaning 517 clauses out of 1034 for limit 7.976636574809457E11
1314.73/1306.61	c cleaning 509 clauses out of 1018 for limit 1.337466660634684E12
1314.83/1306.73	c cleaning 504 clauses out of 1009 for limit 2.22533533450144E12
1314.93/1306.86	c cleaning 501 clauses out of 1003 for limit 3.684449094154334E12
1315.03/1306.98	c cleaning 486 clauses out of 1002 for limit 6.082213474452249E12
1315.23/1307.11	c cleaning 490 clauses out of 1016 for limit 9.89216973494094E12
1315.33/1307.24	c cleaning 504 clauses out of 1027 for limit 1.6154935289338428E13
1315.43/1307.38	c cleaning 490 clauses out of 1023 for limit 2.6745820133075273E13
1315.63/1307.51	c cleaning 515 clauses out of 1032 for limit 4.3679054746937E13
1315.73/1307.64	c cleaning 509 clauses out of 1018 for limit 7.309632609321505E13
1315.84/1307.77	c cleaning 504 clauses out of 1009 for limit 1.2162085386134416E14
1315.95/1307.89	c cleaning 503 clauses out of 1006 for limit 2.0136854517298478E14
1316.14/1308.01	c cleaning 479 clauses out of 1001 for limit 3.33075278064715E14
1316.24/1308.14	c cleaning 491 clauses out of 1023 for limit 5.380111071323356E14
1316.34/1308.26	c cleaning 516 clauses out of 1033 for limit 8.795427490975564E14
1316.44/1308.37	c cleaning 507 clauses out of 1016 for limit 1.4732788065250505E15
1316.54/1308.49	c cleaning 505 clauses out of 1010 for limit 2.4465138258765615E15
1316.75/1308.63	c cleaning 501 clauses out of 1004 for limit 4.054681173941714E15
1316.85/1308.74	c cleaning 502 clauses out of 1004 for limit 6.693405086459409E15
1316.95/1308.86	c cleaning 500 clauses out of 1000 for limit 1.106031983202512E16
1317.05/1308.98	c cleaning 501 clauses out of 1002 for limit 1.8240001709650172E16
1317.25/1309.10	c cleaning 500 clauses out of 1000 for limit 3.0110222965503792E16
1317.35/1309.22	c cleaning 500 clauses out of 1000 for limit 4.9655785743678896E16
1317.45/1309.34	c cleaning 500 clauses out of 1001 for limit 8.1889115412613616E16
1317.55/1309.46	c cleaning 476 clauses out of 999 for limit 0.0013504597119916198
1317.86/1309.72	c cleaning 739 clauses out of 1524 for limit 0.002409952260064299
1317.96/1309.84	c cleaning 617 clauses out of 1284 for limit 0.00471248258209116
1318.06/1309.96	c cleaning 561 clauses out of 1167 for limit 0.008550663441321386
1318.16/1310.08	c cleaning 531 clauses out of 1107 for limit 0.014880360289528972
1318.36/1310.21	c cleaning 517 clauses out of 1077 for limit 0.025248510523053512
1318.46/1310.33	c cleaning 505 clauses out of 1058 for limit 0.04230119751328403
1318.56/1310.45	c cleaning 502 clauses out of 1053 for limit 0.0700915793012376
1318.66/1310.57	c cleaning 505 clauses out of 1053 for limit 0.11582191896748031
1318.97/1310.83	c cleaning 750 clauses out of 1546 for limit 0.21411761055643133
1319.07/1310.96	c cleaning 624 clauses out of 1296 for limit 0.4212236657293231
1319.17/1311.08	c cleaning 564 clauses out of 1173 for limit 0.7682634133755543
1319.37/1311.21	c cleaning 529 clauses out of 1110 for limit 1.3402184231066794
1319.47/1311.34	c cleaning 522 clauses out of 1079 for limit 2.2691540530237595
1319.57/1311.45	c cleaning 509 clauses out of 1058 for limit 3.8202356841470655
1319.67/1311.58	c cleaning 504 clauses out of 1048 for limit 6.353834774537644
1319.87/1311.70	c cleaning 503 clauses out of 1044 for limit 10.518470377523576
1319.97/1311.82	c cleaning 502 clauses out of 1042 for limit 17.397056210735943
1320.18/1312.08	c cleaning 749 clauses out of 1539 for limit 32.00236896899805
1320.28/1312.20	c cleaning 624 clauses out of 1291 for limit 62.97742573160689
1320.48/1312.33	c cleaning 562 clauses out of 1166 for limit 114.87723436081468
1320.58/1312.46	c cleaning 531 clauses out of 1104 for limit 200.08721324385778
1320.68/1312.58	c cleaning 518 clauses out of 1074 for limit 339.52716435028816
1320.88/1312.70	c cleaning 508 clauses out of 1055 for limit 569.4396756850468
1320.98/1312.82	c cleaning 503 clauses out of 1047 for limit 946.2576166886892
1321.08/1312.94	c cleaning 504 clauses out of 1045 for limit 1565.0570682690352
1321.18/1313.06	c cleaning 499 clauses out of 1040 for limit 2590.8036765291495
1321.49/1313.32	c cleaning 752 clauses out of 1542 for limit 4756.9628093286765
1321.59/1313.44	c cleaning 621 clauses out of 1289 for limit 9375.244176102982
1321.69/1313.56	c cleaning 564 clauses out of 1168 for limit 17062.73120468512
1321.79/1313.68	c cleaning 532 clauses out of 1105 for limit 29772.788533031424
1321.99/1313.80	c cleaning 516 clauses out of 1072 for limit 50560.153137045156
1322.09/1313.92	c cleaning 509 clauses out of 1056 for limit 84643.79658682938
1322.19/1314.05	c cleaning 505 clauses out of 1048 for limit 140795.3037781216
1322.29/1314.17	c cleaning 497 clauses out of 1042 for limit 233293.75215046713
1322.39/1314.29	c cleaning 502 clauses out of 1045 for limit 383628.1112540783
1322.59/1314.41	c cleaning 500 clauses out of 1044 for limit 633893.9607638445
1322.80/1314.66	c cleaning 750 clauses out of 1543 for limit 1165275.0533885271
1322.90/1314.79	c cleaning 647 clauses out of 1294 for limit 2293773.3231687
1323.10/1314.90	c cleaning 573 clauses out of 1146 for limit 4266989.08053276
1323.20/1315.03	c cleaning 536 clauses out of 1073 for limit 7515576.748655597
1323.30/1315.15	c cleaning 497 clauses out of 1038 for limit 1.282493230420624E7
1323.39/1315.27	c cleaning 520 clauses out of 1040 for limit 2.1088246569654692E7
1323.49/1315.39	c cleaning 510 clauses out of 1020 for limit 3.545924835064221E7
1323.70/1315.52	c cleaning 505 clauses out of 1010 for limit 5.9056024819067106E7
1323.80/1315.64	c cleaning 503 clauses out of 1006 for limit 9.787640339474821E7
1323.89/1315.76	c cleaning 502 clauses out of 1004 for limit 1.6189471400299153E8
1324.31/1316.14	c cleaning 980 clauses out of 2001 for limit 3.6395898259001666E8
1324.41/1316.27	c cleaning 743 clauses out of 1522 for limit 7.89905753820132E8
1324.51/1316.39	c cleaning 616 clauses out of 1277 for limit 1.5494797182135093E9
1324.71/1316.52	c cleaning 560 clauses out of 1162 for limit 2.811001413190697E9
1324.82/1316.64	c cleaning 552 clauses out of 1104 for limit 4.889033680913607E9
1324.92/1316.76	c cleaning 525 clauses out of 1051 for limit 8.460786998444036E9
1325.01/1316.88	c cleaning 512 clauses out of 1024 for limit 1.4292242771023045E10
1325.21/1317.01	c cleaning 482 clauses out of 1013 for limit 2.384961071527891E10
1325.31/1317.13	c cleaning 515 clauses out of 1030 for limit 3.864336086515858E10
1325.72/1317.51	c cleaning 983 clauses out of 2015 for limit 8.859408473705968E10
1325.82/1317.63	c cleaning 766 clauses out of 1532 for limit 1.921661538750636E11
1325.93/1317.76	c cleaning 633 clauses out of 1267 for limit 3.835742523508182E11
1326.03/1317.88	c cleaning 566 clauses out of 1133 for limit 7.066714200211687E11
1326.22/1318.01	c cleaning 533 clauses out of 1067 for limit 1.2374820409061133E12
1326.32/1318.13	c cleaning 517 clauses out of 1035 for limit 2.105975785292659E12
1326.42/1318.25	c cleaning 485 clauses out of 1017 for limit 3.5309709571037334E12
1326.52/1318.37	c cleaning 495 clauses out of 1032 for limit 5.73840621332421E12
1326.62/1318.50	c cleaning 498 clauses out of 1038 for limit 9.418115900614822E12
1326.82/1318.62	c cleaning 519 clauses out of 1039 for limit 1.5501267536311125E13
1326.92/1318.74	c cleaning 488 clauses out of 1020 for limit 2.6039849785835062E13
1327.23/1319.00	c cleaning 744 clauses out of 1532 for limit 4.715108112476598E13
1327.33/1319.12	c cleaning 644 clauses out of 1288 for limit 9.248907678366083E13
1327.43/1319.24	c cleaning 572 clauses out of 1145 for limit 1.717478145671094E14
1327.53/1319.36	c cleaning 516 clauses out of 1072 for limit 3.022200659902329E14
1327.63/1319.49	c cleaning 507 clauses out of 1056 for limit 5.059528542327984E14
1327.83/1319.61	c cleaning 503 clauses out of 1050 for limit 8.399918418724702E14
1327.93/1319.73	c cleaning 504 clauses out of 1046 for limit 1.3891657203134545E15
1328.03/1319.85	c cleaning 521 clauses out of 1042 for limit 2.299714431110373E15
1328.13/1319.98	c cleaning 490 clauses out of 1022 for limit 3.870625312764475E15
1328.33/1320.10	c cleaning 515 clauses out of 1031 for limit 6.321130234355841E15
1328.43/1320.22	c cleaning 488 clauses out of 1016 for limit 1.0578292768673846E16
1328.84/1320.62	c cleaning 1014 clauses out of 2028 for limit 2.3768895477042668E16
1328.94/1320.74	c cleaning 757 clauses out of 1515 for limit 5.2523628083553648E16
1329.04/1320.86	c cleaning 609 clauses out of 1257 for limit 0.0010429258879820944
1329.14/1320.99	c cleaning 551 clauses out of 1148 for limit 0.001883227227291328
1329.34/1321.11	c cleaning 531 clauses out of 1098 for limit 0.0032503690292176625
1329.44/1321.24	c cleaning 510 clauses out of 1066 for limit 0.005515681522073216
1329.54/1321.35	c cleaning 507 clauses out of 1056 for limit 0.009182233983971005
1329.64/1321.48	c cleaning 503 clauses out of 1050 for limit 0.015244506621857883
1329.84/1321.60	c cleaning 500 clauses out of 1046 for limit 0.025211132973588526
1329.93/1321.72	c cleaning 502 clauses out of 1046 for limit 0.04157653095847692
1330.45/1322.22	c cleaning 1250 clauses out of 2545 for limit 0.12651738525347664
1330.54/1322.35	c cleaning 874 clauses out of 1794 for limit 0.2956901999322564
1330.64/1322.47	c cleaning 688 clauses out of 1420 for limit 0.6160655333587879
1330.74/1322.59	c cleaning 595 clauses out of 1233 for limit 1.1712310542491635
1330.94/1322.71	c cleaning 546 clauses out of 1137 for limit 2.09250529667343
1331.04/1322.83	c cleaning 522 clauses out of 1091 for limit 3.596318665545662
1331.14/1322.96	c cleaning 516 clauses out of 1069 for limit 6.052866557296435
1331.24/1323.08	c cleaning 506 clauses out of 1053 for limit 10.133659803096776
1331.34/1323.20	c cleaning 504 clauses out of 1048 for limit 16.808300655312387
1331.55/1323.33	c cleaning 497 clauses out of 1043 for limit 27.824166102565474
1331.95/1323.77	c cleaning 1004 clauses out of 2046 for limit 63.6163133212331
1332.15/1323.91	c cleaning 752 clauses out of 1542 for limit 139.2020528667488
1332.25/1324.06	c cleaning 627 clauses out of 1291 for limit 274.46954999033625
1332.45/1324.20	c cleaning 563 clauses out of 1165 for limit 502.0938316043912
1332.56/1324.34	c cleaning 530 clauses out of 1100 for limit 875.1953259561691
1332.66/1324.47	c cleaning 517 clauses out of 1071 for limit 1483.8793896057884
1332.85/1324.61	c cleaning 509 clauses out of 1054 for limit 2486.5852301205164
1332.95/1324.73	c cleaning 503 clauses out of 1046 for limit 4136.210900536783
1333.05/1324.86	c cleaning 503 clauses out of 1041 for limit 6840.22666652588
1333.47/1325.27	c cleaning 1002 clauses out of 2040 for limit 15686.56090209794
1333.67/1325.41	c cleaning 751 clauses out of 1536 for limit 34288.90016815649
1333.77/1325.55	c cleaning 625 clauses out of 1286 for limit 67607.39479848967
1333.87/1325.68	c cleaning 559 clauses out of 1162 for limit 123514.92538522504
1334.07/1325.82	c cleaning 529 clauses out of 1101 for limit 214548.31739045717
1334.17/1325.96	c cleaning 519 clauses out of 1072 for limit 363390.46989564796
1334.26/1326.08	c cleaning 507 clauses out of 1054 for limit 610123.9970972438
1334.46/1326.21	c cleaning 504 clauses out of 1046 for limit 1012857.6400726095
1334.56/1326.34	c cleaning 501 clauses out of 1042 for limit 1676749.7912414619
1334.66/1326.49	c cleaning 500 clauses out of 1042 for limit 2767952.6700011445
1335.18/1326.95	c cleaning 1020 clauses out of 2041 for limit 6331644.507107093
1335.38/1327.11	c cleaning 760 clauses out of 1521 for limit 1.40115506447986E7
1335.48/1327.25	c cleaning 630 clauses out of 1261 for limit 2.7871235144979764E7
1335.58/1327.38	c cleaning 547 clauses out of 1132 for limit 5.1252525913561046E7
1335.78/1327.52	c cleaning 525 clauses out of 1085 for limit 8.81836050989663E7
1335.88/1327.66	c cleaning 512 clauses out of 1060 for limit 1.4885643354039106E8
1335.98/1327.79	c cleaning 524 clauses out of 1049 for limit 2.483066697960542E8
1336.18/1327.92	c cleaning 511 clauses out of 1023 for limit 4.1905893341255313E8
1336.28/1328.06	c cleaning 506 clauses out of 1013 for limit 6.986050013113905E8
1336.48/1328.20	c cleaning 503 clauses out of 1006 for limit 1.1589495476298025E9
1336.69/1328.49	c cleaning 731 clauses out of 1503 for limit 2.109673775888492E9
1336.89/1328.63	c cleaning 613 clauses out of 1272 for limit 4.1109581982496624E9
1336.99/1328.76	c cleaning 561 clauses out of 1159 for limit 7.440508601669841E9
1337.19/1328.90	c cleaning 549 clauses out of 1098 for limit 1.2952082616341156E10
1337.29/1329.04	c cleaning 525 clauses out of 1050 for limit 2.2358519655264606E10
1337.39/1329.17	c cleaning 496 clauses out of 1025 for limit 3.777151168762671E10
1337.59/1329.30	c cleaning 515 clauses out of 1030 for limit 6.204994572165549E10
1337.69/1329.43	c cleaning 506 clauses out of 1013 for limit 1.0383793641258447E11
1337.79/1329.56	c cleaning 504 clauses out of 1008 for limit 1.7226433056401282E11
1337.89/1329.69	c cleaning 480 clauses out of 1005 for limit 2.85220167052212E11
1338.09/1329.82	c cleaning 491 clauses out of 1023 for limit 4.611662553577263E11
1338.40/1330.20	c cleaning 997 clauses out of 2032 for limit 1.0413029830824761E12
1338.59/1330.32	c cleaning 747 clauses out of 1536 for limit 2.274049946923264E12
1338.69/1330.44	c cleaning 645 clauses out of 1290 for limit 4.469839236145633E12
1338.79/1330.56	c cleaning 571 clauses out of 1143 for limit 8.302755457968341E12
1338.89/1330.67	c cleaning 536 clauses out of 1073 for limit 1.4600211733237662E13
1338.99/1330.79	c cleaning 519 clauses out of 1038 for limit 2.4914485390538523E13
1339.20/1330.91	c cleaning 508 clauses out of 1017 for limit 4.185190060994912E13
1339.30/1331.03	c cleaning 483 clauses out of 1010 for limit 6.95673024143963E13
1339.40/1331.14	c cleaning 514 clauses out of 1028 for limit 1.1282980072566842E14
1339.50/1331.26	c cleaning 487 clauses out of 1012 for limit 1.8863543883527903E14
1339.60/1331.38	c cleaning 491 clauses out of 1026 for limit 3.071473956636462E14
1339.70/1331.50	c cleaning 518 clauses out of 1036 for limit 5.021400267642529E14
1339.90/1331.61	c cleaning 508 clauses out of 1016 for limit 8.427092331778706E14
1340.41/1332.11	c cleaning 1233 clauses out of 2509 for limit 2.5265555935148415E15
1340.50/1332.23	c cleaning 867 clauses out of 1777 for limit 5.888877104002195E15
1340.60/1332.35	c cleaning 704 clauses out of 1408 for limit 1.2232187443885816E16
1340.70/1332.47	c cleaning 602 clauses out of 1205 for limit 2.3594464996715052E16
1340.80/1332.60	c cleaning 552 clauses out of 1104 for limit 4.2512682224544408E16
1341.00/1332.72	c cleaning 525 clauses out of 1050 for limit 7.3567355394792928E16
1341.10/1332.84	c cleaning 492 clauses out of 1026 for limit 0.0012428464648496524
1341.20/1332.96	c cleaning 500 clauses out of 1035 for limit 0.0020338311333431653
1341.30/1333.08	c cleaning 496 clauses out of 1033 for limit 0.003353835696689874
1341.51/1333.21	c cleaning 498 clauses out of 1038 for limit 0.005509791308754418
1341.60/1333.33	c cleaning 501 clauses out of 1041 for limit 0.009069266679853614
1341.70/1333.45	c cleaning 499 clauses out of 1038 for limit 0.014969676386032714
1342.21/1333.98	c cleaning 1248 clauses out of 2540 for limit 0.045293315093176904
1342.41/1334.12	c cleaning 879 clauses out of 1793 for limit 0.10591999081214096
1342.52/1334.24	c cleaning 686 clauses out of 1412 for limit 0.22136573144834368
1342.62/1334.37	c cleaning 591 clauses out of 1227 for limit 0.42052413242069814
1342.71/1334.50	c cleaning 547 clauses out of 1137 for limit 0.7491441979951998
1342.91/1334.61	c cleaning 523 clauses out of 1088 for limit 1.2884983095435008
1343.01/1334.74	c cleaning 511 clauses out of 1066 for limit 2.1709306117628473
1343.11/1334.86	c cleaning 508 clauses out of 1056 for limit 3.617675659318804
1343.21/1334.98	c cleaning 504 clauses out of 1046 for limit 6.011027640215978
1343.41/1335.10	c cleaning 498 clauses out of 1043 for limit 9.951453083677297
1343.51/1335.22	c cleaning 502 clauses out of 1046 for limit 16.380589332613585
1343.62/1335.35	c cleaning 497 clauses out of 1042 for limit 27.063275060618505
1344.12/1335.85	c cleaning 1252 clauses out of 2546 for limit 82.00639694145924
1344.22/1335.98	c cleaning 878 clauses out of 1795 for limit 192.0136380514427
1344.42/1336.10	c cleaning 685 clauses out of 1415 for limit 400.8915965603118
1344.52/1336.23	c cleaning 594 clauses out of 1231 for limit 760.7040674797078
1344.62/1336.35	c cleaning 549 clauses out of 1138 for limit 1358.3820313089823
1344.72/1336.47	c cleaning 521 clauses out of 1087 for limit 2340.5693280041182
1344.92/1336.60	c cleaning 510 clauses out of 1067 for limit 3936.198875742143
1345.02/1336.72	c cleaning 510 clauses out of 1058 for limit 6553.090767795166
1345.12/1336.85	c cleaning 502 clauses out of 1046 for limit 10909.052457125637
1345.22/1336.97	c cleaning 501 clauses out of 1045 for limit 18025.72839404947
1345.32/1337.09	c cleaning 503 clauses out of 1045 for limit 29756.59415474449
1345.52/1337.22	c cleaning 498 clauses out of 1040 for limit 49209.9627579341
1345.62/1337.34	c cleaning 498 clauses out of 1043 for limit 81001.38897289243
1346.03/1337.72	c cleaning 998 clauses out of 2045 for limit 185289.63385692373
1346.13/1337.85	c cleaning 759 clauses out of 1548 for limit 404076.7643548946
1346.23/1337.97	c cleaning 626 clauses out of 1287 for limit 799913.7292128624
1346.43/1338.11	c cleaning 562 clauses out of 1162 for limit 1462533.9911950317
1346.53/1338.25	c cleaning 530 clauses out of 1101 for limit 2548092.4222255996
1346.63/1338.38	c cleaning 513 clauses out of 1069 for limit 4319282.93553258
1346.83/1338.51	c cleaning 528 clauses out of 1057 for limit 7211153.997445409
1346.93/1338.65	c cleaning 515 clauses out of 1030 for limit 1.221610991357837E7
1347.03/1338.79	c cleaning 506 clauses out of 1013 for limit 2.044313866293341E7
1347.23/1338.92	c cleaning 482 clauses out of 1008 for limit 3.391461462027578E7
1347.33/1339.04	c cleaning 494 clauses out of 1027 for limit 5.4949959128560476E7
1347.43/1339.17	c cleaning 494 clauses out of 1031 for limit 9.008780709455712E7
1348.05/1339.72	c cleaning 1269 clauses out of 2538 for limit 2.709512274939788E8
1348.15/1339.87	c cleaning 864 clauses out of 1770 for limit 6.413570500284611E8
1348.34/1340.01	c cleaning 702 clauses out of 1404 for limit 1.3307390309677737E9
1348.44/1340.15	c cleaning 601 clauses out of 1203 for limit 2.5638037255446944E9
1348.64/1340.34	c cleaning 550 clauses out of 1101 for limit 4.615135515853484E9
1348.74/1340.43	c cleaning 525 clauses out of 1051 for limit 7.973058449130324E9
1349.15/1340.85	c cleaning 506 clauses out of 1046 for limit 1.3478516723647064E10
1349.84/1341.54	c cleaning 497 clauses out of 1020 for limit 2.234288581999675E10
1350.54/1342.27	c cleaning 491 clauses out of 1033 for limit 3.674854267774029E10
1351.35/1343.02	c cleaning 504 clauses out of 1043 for limit 6.008229772143517E10
1369.31/1360.86	c cleaning 5497 clauses out of 11029 for limit 2.0536347955303284E14
1392.79/1383.70	c cleaning 9228 clauses out of 18531 for limit 0.5437246786504715
1393.79/1384.63	c cleaning 4870 clauses out of 9810 for limit 1.7057145865334957
1394.59/1385.48	c cleaning 2676 clauses out of 5435 for limit 5.051951242921248
1419.40/1409.68	c cleaning 8345 clauses out of 16759 for limit 1984154.2618202025
1423.17/1413.33	c cleaning 5170 clauses out of 10412 for limit 2.3574576526658855E7
1450.85/1440.32	c cleaning 10088 clauses out of 20252 for limit 4.032105333067941E13
1451.75/1441.23	c cleaning 5288 clauses out of 10655 for limit 1.2525400306353131E14
1452.45/1441.97	c cleaning 2900 clauses out of 5872 for limit 3.7669292866957556E14
1453.25/1442.70	c cleaning 1735 clauses out of 3470 for limit 1.0491338586543038E15
1479.70/1468.59	c cleaning 8332 clauses out of 16732 for limit 7.144726308984145
1480.60/1469.48	c cleaning 4414 clauses out of 8904 for limit 22.230141942432585
1481.50/1470.38	c cleaning 2448 clauses out of 4988 for limit 65.31122140611875
1510.40/1498.59	c cleaning 8985 clauses out of 18038 for limit 9.79014990428628E7
1511.40/1499.53	c cleaning 4742 clauses out of 9558 for limit 3.06223942782361E8
1539.88/1527.34	c cleaning 10363 clauses out of 20810 for limit 1.25232025110622E15
1540.68/1528.11	c cleaning 5441 clauses out of 10948 for limit 3.929552485171542E15
1575.15/1561.72	c cleaning 12208 clauses out of 24508 for limit 3166.1262539412583
1576.05/1562.68	c cleaning 6366 clauses out of 12805 for limit 10043.49722100348
1576.95/1563.53	c cleaning 3431 clauses out of 6935 for limit 30460.422369559976
1577.75/1564.32	c cleaning 1958 clauses out of 4001 for limit 86809.2865130712
1609.18/1594.92	c cleaning 9729 clauses out of 19547 for limit 7.16718669854685E11
1609.98/1595.75	c cleaning 5111 clauses out of 10314 for limit 2.231102605549767E12
1610.78/1596.52	c cleaning 2805 clauses out of 5705 for limit 6.665242152976486E12
1614.72/1600.50	c cleaning 2699 clauses out of 5398 for limit 8.575295850871745E13
1647.39/1632.40	c cleaning 10302 clauses out of 20699 for limit 14.816463664039828
1648.39/1633.36	c cleaning 5402 clauses out of 10899 for limit 46.497776196136165
1683.42/1667.53	c cleaning 11963 clauses out of 23995 for limit 2.303015584805078E9
1687.47/1671.47	c cleaning 7229 clauses out of 14533 for limit 4.642760751994004E10
1688.27/1672.22	c cleaning 3864 clauses out of 7804 for limit 1.4258380635727954E11
1688.97/1672.93	c cleaning 2183 clauses out of 4439 for limit 4.129749366293611E11
1689.67/1673.62	c cleaning 1339 clauses out of 2757 for limit 1.0976464392926198E12
1690.37/1674.31	c cleaning 959 clauses out of 1918 for limit 2.601995392454048E12
1724.92/1708.06	c cleaning 10195 clauses out of 20462 for limit 0.7269259527870913
1725.82/1708.97	c cleaning 5343 clauses out of 10763 for limit 2.269983781793433
1726.62/1709.76	c cleaning 2916 clauses out of 5921 for limit 6.811636003290579
1727.43/1710.55	c cleaning 1709 clauses out of 3504 for limit 18.96285704828124
1729.87/1712.91	c cleaning 1608 clauses out of 3301 for limit 90.8232578249827
1730.57/1713.68	c cleaning 1049 clauses out of 2189 for limit 224.96485635854918
1733.71/1716.79	c cleaning 1537 clauses out of 3147 for limit 1165.5444151699792
1734.51/1717.59	c cleaning 1016 clauses out of 2101 for limit 2853.2826744046342
1737.65/1720.68	c cleaning 1504 clauses out of 3085 for limit 14372.728814722506
1738.45/1721.42	c cleaning 1002 clauses out of 2084 for limit 35192.98524605385
1741.48/1724.46	c cleaning 1493 clauses out of 3079 for limit 175656.46796757367
1746.24/1729.15	c cleaning 1559 clauses out of 3121 for limit 804925.4132530695
1748.73/1731.65	c cleaning 1056 clauses out of 2115 for limit 2065494.5206637299
1800.02/1782.81	c starts		: 21
1800.02/1782.81	c conflicts		: 677470
1800.02/1782.81	c decisions		: 798916
1800.02/1782.81	c propagations		: 21340439
1800.02/1782.81	c inspects		: 213173242
1800.02/1782.81	c learnt literals	: 2
1800.02/1782.81	c learnt binary clauses	: 2
1800.02/1782.81	c learnt ternary clauses	: 3
1800.02/1782.81	c learnt clauses	: 677468
1800.02/1782.81	c root simplifications	: 0
1800.02/1782.81	c removed literals (reason simplification)	: 0
1800.02/1782.81	c reason swapping (by a shorter reason)	: 0
1800.02/1782.81	c Calls to reduceDB	: 381
1800.02/1782.81	c speed (decisions/second)	: 448.55831450107377
1800.02/1782.81	c non guided choices	13097
1800.02/1782.81	s UNKNOWN
1800.02/1782.81	c Total wall clock time (ms): 1782.607

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node21/watcher-349547-1176707798 -o ROOT/results/node21/solver-349547-1176707798 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349547-1176707798/sat4jPseudoResolution.jar /tmp/evaluation/349547-1176707798/instance-349547-1176707798.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 27910
/proc/meminfo: memFree=1767848/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=152 CPUtime=0
/proc/27910/stat : 27910 (java) D 27908 27910 27514 0 -1 0 42 0 0 0 0 0 0 0 19 0 1 0 118697113 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 8438564 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/27910/statm: 38 26 19 9 0 4 0

[startup+0.0848901 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 27910
/proc/meminfo: memFree=1767848/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1777844 CPUtime=0.07
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 3805 0 1 0 5 2 0 0 18 0 7 0 118697113 1820512256 3547 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 444461 3547 1086 9 0 442097 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1777844

[startup+0.102891 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 27910
/proc/meminfo: memFree=1767848/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1780108 CPUtime=0.08
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 3974 0 1 0 6 2 0 0 18 0 12 0 118697113 1822830592 3715 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 445027 3715 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.302913 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 27910
/proc/meminfo: memFree=1767848/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1782264 CPUtime=0.34
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 5146 0 1 0 31 3 0 0 18 0 12 0 118697113 1825038336 4884 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 445566 4884 1267 9 0 443178 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1782264

[startup+0.702958 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 27910
/proc/meminfo: memFree=1767848/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1783508 CPUtime=0.98
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 7240 0 1 0 94 4 0 0 18 0 12 0 118697113 1826312192 6665 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 445877 6665 1303 9 0 443489 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 1783508

[startup+1.50122 s]
/proc/loadavg: 1.16 1.03 1.01 3/89 27922
/proc/meminfo: memFree=1729800/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1783624 CPUtime=2.03
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 23853 0 1 0 192 11 0 0 18 0 12 0 118697113 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 445906 22640 1305 9 0 443518 0
[pid=27910/tid=27912] ppid=27908 vsize=1783624 CPUtime=1.19
/proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 21361 0 1 0 109 10 0 0 23 0 12 0 118697114 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109517312 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27913] ppid=27908 vsize=1783624 CPUtime=0
/proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 118697116 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27914] ppid=27908 vsize=1783624 CPUtime=0
/proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 118697116 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27915] ppid=27908 vsize=1783624 CPUtime=0
/proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 118697118 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27916] ppid=27908 vsize=1783624 CPUtime=0
/proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 118697119 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27917] ppid=27908 vsize=1783624 CPUtime=0
/proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 118697119 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27918] ppid=27908 vsize=1783624 CPUtime=0
/proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118697122 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27919] ppid=27908 vsize=1783624 CPUtime=0.41
/proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1103 0 0 0 41 0 0 0 16 0 12 0 118697122 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27920] ppid=27908 vsize=1783624 CPUtime=0.41
/proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 666 0 0 0 41 0 0 0 16 0 12 0 118697122 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27921] ppid=27908 vsize=1783624 CPUtime=0
/proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 118697122 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27922] ppid=27908 vsize=1783624 CPUtime=0
/proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 118697122 1826430976 22640 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 1783624

[startup+3.10122 s]
/proc/loadavg: 1.16 1.03 1.01 3/90 27923
/proc/meminfo: memFree=1655936/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1785036 CPUtime=4.03
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 32270 0 1 0 388 15 0 0 18 0 13 0 118697113 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 446259 30126 1317 9 0 443871 0
[pid=27910/tid=27912] ppid=27908 vsize=1785036 CPUtime=2.64
/proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 28393 0 1 0 252 12 0 0 25 0 13 0 118697114 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109719863 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27913] ppid=27908 vsize=1785036 CPUtime=0
/proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 118697116 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27914] ppid=27908 vsize=1785036 CPUtime=0
/proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 118697116 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27915] ppid=27908 vsize=1785036 CPUtime=0
/proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 118697118 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27916] ppid=27908 vsize=1785036 CPUtime=0
/proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 118697119 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27917] ppid=27908 vsize=1785036 CPUtime=0
/proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 118697119 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27918] ppid=27908 vsize=1785036 CPUtime=0
/proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27919] ppid=27908 vsize=1785036 CPUtime=0.63
/proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1556 0 0 0 63 0 0 0 16 0 13 0 118697122 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27920] ppid=27908 vsize=1785036 CPUtime=0.72
/proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1594 0 0 0 72 0 0 0 16 0 13 0 118697122 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27921] ppid=27908 vsize=1785036 CPUtime=0
/proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27922] ppid=27908 vsize=1785036 CPUtime=0
/proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27923] ppid=27908 vsize=1785036 CPUtime=0
/proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827876864 30126 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 1785036

[startup+6.30256 s]
/proc/loadavg: 1.15 1.03 1.01 2/90 27923
/proc/meminfo: memFree=1623488/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1783948 CPUtime=7.29
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 45624 0 1 0 709 20 0 0 18 0 13 0 118697113 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 445987 43058 1326 9 0 443599 0
[pid=27910/tid=27912] ppid=27908 vsize=1783948 CPUtime=5.77
/proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 37712 0 1 0 561 16 0 0 25 0 13 0 118697114 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109720099 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27913] ppid=27908 vsize=1783948 CPUtime=0.05
/proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 2683 0 0 0 4 1 0 0 16 0 13 0 118697116 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27914] ppid=27908 vsize=1783948 CPUtime=0.04
/proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 1346 0 0 0 4 0 0 0 16 0 13 0 118697116 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27915] ppid=27908 vsize=1783948 CPUtime=0
/proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 118697118 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27916] ppid=27908 vsize=1783948 CPUtime=0
/proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27917] ppid=27908 vsize=1783948 CPUtime=0
/proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27918] ppid=27908 vsize=1783948 CPUtime=0
/proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27919] ppid=27908 vsize=1783948 CPUtime=0.65
/proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1558 0 0 0 65 0 0 0 15 0 13 0 118697122 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27920] ppid=27908 vsize=1783948 CPUtime=0.73
/proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1594 0 0 0 73 0 0 0 16 0 13 0 118697122 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27921] ppid=27908 vsize=1783948 CPUtime=0
/proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27922] ppid=27908 vsize=1783948 CPUtime=0
/proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27923] ppid=27908 vsize=1783948 CPUtime=0
/proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1826762752 43058 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 1783948

[startup+12.7013 s]
/proc/loadavg: 1.13 1.03 1.01 2/90 27923
/proc/meminfo: memFree=1599680/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1784044 CPUtime=13.75
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 45680 0 1 0 1354 21 0 0 18 0 13 0 118697113 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 446011 43075 1328 9 0 443623 0
[pid=27910/tid=27912] ppid=27908 vsize=1784044 CPUtime=12.15
/proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 37715 0 1 0 1199 16 0 0 25 0 13 0 118697114 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109720244 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27913] ppid=27908 vsize=1784044 CPUtime=0.05
/proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 2683 0 0 0 4 1 0 0 16 0 13 0 118697116 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27914] ppid=27908 vsize=1784044 CPUtime=0.04
/proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 1346 0 0 0 4 0 0 0 16 0 13 0 118697116 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27915] ppid=27908 vsize=1784044 CPUtime=0
/proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 118697118 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27916] ppid=27908 vsize=1784044 CPUtime=0
/proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27917] ppid=27908 vsize=1784044 CPUtime=0
/proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27918] ppid=27908 vsize=1784044 CPUtime=0
/proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27919] ppid=27908 vsize=1784044 CPUtime=0.68
/proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1607 0 0 0 68 0 0 0 16 0 13 0 118697122 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27920] ppid=27908 vsize=1784044 CPUtime=0.78
/proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1598 0 0 0 78 0 0 0 17 0 13 0 118697122 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27921] ppid=27908 vsize=1784044 CPUtime=0
/proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27922] ppid=27908 vsize=1784044 CPUtime=0
/proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27923] ppid=27908 vsize=1784044 CPUtime=0
/proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1826861056 43075 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.75
Current children cumulated vsize (KiB) 1784044

[startup+25.5027 s]
/proc/loadavg: 1.10 1.03 1.01 2/90 27923
/proc/meminfo: memFree=1567552/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1783948 CPUtime=26.69
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 53926 0 1 0 2645 24 0 0 18 0 13 0 118697113 1826762752 51138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 445987 51138 1328 9 0 443599 0
[pid=27910/tid=27912] ppid=27908 vsize=1783948 CPUtime=24.78
/proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 37725 0 1 0 2462 16 0 0 25 0 13 0 118697114 1826762752 51138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109719947 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27913] ppid=27908 vsize=1783948 CPUtime=0.16
/proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 5798 0 0 0 14 2 0 0 16 0 13 0 118697116 1826762752 51138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27914] ppid=27908 vsize=1783948 CPUtime=0.17
/proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 6457 0 0 0 14 3 0 0 16 0 13 0 118697116 1826762752 51138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27915] ppid=27908 vsize=1783948 CPUtime=0
/proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 118697118 1826762752 51138 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=27910/tid=27915] ppid=27908 vsize=1784916 CPUtime=3.06
/proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 651 0 0 0 285 21 0 0 16 0 13 0 118697118 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27916] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27917] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27918] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27919] ppid=27908 vsize=1784916 CPUtime=0.8
/proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1618 0 0 0 80 0 0 0 16 0 13 0 118697122 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27920] ppid=27908 vsize=1784916 CPUtime=0.91
/proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1676 0 0 0 91 0 0 0 16 0 13 0 118697122 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27921] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27922] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27923] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827753984 188141 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1616.68
Current children cumulated vsize (KiB) 1784916

[startup+1662.3 s]
/proc/loadavg: 1.11 1.04 1.01 2/90 27925
/proc/meminfo: memFree=1015872/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1784916 CPUtime=1678.1
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 551195 0 1 0 167452 358 0 0 18 0 13 0 118697113 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 446229 188219 1333 9 0 443841 0
[pid=27910/tid=27912] ppid=27908 vsize=1784916 CPUtime=1642.51
/proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 38490 0 1 0 164220 31 0 0 25 0 13 0 118697114 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109756404 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27913] ppid=27908 vsize=1784916 CPUtime=15.23
/proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 265378 0 0 0 1365 158 0 0 16 0 13 0 118697116 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27914] ppid=27908 vsize=1784916 CPUtime=15.27
/proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 242581 0 0 0 1383 144 0 0 17 0 13 0 118697116 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27915] ppid=27908 vsize=1784916 CPUtime=3.31
/proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 729 0 0 0 310 21 0 0 16 0 13 0 118697118 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27916] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27917] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27918] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27919] ppid=27908 vsize=1784916 CPUtime=0.8
/proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1618 0 0 0 80 0 0 0 16 0 13 0 118697122 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27920] ppid=27908 vsize=1784916 CPUtime=0.91
/proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1676 0 0 0 91 0 0 0 16 0 13 0 118697122 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27921] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27922] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27923] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827753984 188219 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1678.1
Current children cumulated vsize (KiB) 1784916

[startup+1722.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/90 27925
/proc/meminfo: memFree=985984/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1784916 CPUtime=1739.38
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 558777 0 1 0 173575 363 0 0 18 0 13 0 118697113 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 446229 195680 1333 9 0 443841 0
[pid=27910/tid=27912] ppid=27908 vsize=1784916 CPUtime=1701.04
/proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 38506 0 1 0 170073 31 0 0 22 0 13 0 118697114 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109617240 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27913] ppid=27908 vsize=1784916 CPUtime=16.54
/proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 270724 0 0 0 1493 161 0 0 17 0 13 0 118697116 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27914] ppid=27908 vsize=1784916 CPUtime=16.59
/proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 244801 0 0 0 1513 146 0 0 16 0 13 0 118697116 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27915] ppid=27908 vsize=1784916 CPUtime=3.44
/proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 729 0 0 0 323 21 0 0 15 0 13 0 118697118 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27916] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27917] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27918] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27919] ppid=27908 vsize=1784916 CPUtime=0.8
/proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1618 0 0 0 80 0 0 0 16 0 13 0 118697122 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27920] ppid=27908 vsize=1784916 CPUtime=0.91
/proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1676 0 0 0 91 0 0 0 16 0 13 0 118697122 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27921] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27922] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27923] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827753984 195680 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1739.38
Current children cumulated vsize (KiB) 1784916

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 27925
/proc/meminfo: memFree=986048/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1784916 CPUtime=1799.51
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 558783 0 1 0 179587 364 0 0 18 0 13 0 118697113 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 446229 195598 1333 9 0 443841 0
[pid=27910/tid=27912] ppid=27908 vsize=1784916 CPUtime=1760.76
/proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 38512 0 1 0 176044 32 0 0 25 0 13 0 118697114 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109756404 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27913] ppid=27908 vsize=1784916 CPUtime=16.7
/proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 270724 0 0 0 1509 161 0 0 17 0 13 0 118697116 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27914] ppid=27908 vsize=1784916 CPUtime=16.75
/proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 244801 0 0 0 1529 146 0 0 16 0 13 0 118697116 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27915] ppid=27908 vsize=1784916 CPUtime=3.54
/proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 729 0 0 0 333 21 0 0 16 0 13 0 118697118 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27916] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27917] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27918] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27919] ppid=27908 vsize=1784916 CPUtime=0.8
/proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1618 0 0 0 80 0 0 0 16 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27920] ppid=27908 vsize=1784916 CPUtime=0.91
/proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1676 0 0 0 91 0 0 0 16 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27921] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27922] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27923] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 1784916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.8 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 27925
/proc/meminfo: memFree=986048/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=1784916 CPUtime=1800.02
/proc/27910/stat : 27910 (java) S 27908 27910 27514 0 -1 0 558783 0 1 0 179638 364 0 0 18 0 13 0 118697113 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27910/statm: 446229 195598 1333 9 0 443841 0
[pid=27910/tid=27912] ppid=27908 vsize=1784916 CPUtime=1761.26
/proc/27910/task/27912/stat : 27912 (java) R 27908 27910 27514 0 -1 64 38512 0 1 0 176094 32 0 0 25 0 13 0 118697114 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109808929 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27913] ppid=27908 vsize=1784916 CPUtime=16.7
/proc/27910/task/27913/stat : 27913 (java) S 27908 27910 27514 0 -1 64 270724 0 0 0 1509 161 0 0 17 0 13 0 118697116 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27914] ppid=27908 vsize=1784916 CPUtime=16.75
/proc/27910/task/27914/stat : 27914 (java) S 27908 27910 27514 0 -1 64 244801 0 0 0 1529 146 0 0 16 0 13 0 118697116 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27915] ppid=27908 vsize=1784916 CPUtime=3.54
/proc/27910/task/27915/stat : 27915 (java) S 27908 27910 27514 0 -1 64 729 0 0 0 333 21 0 0 16 0 13 0 118697118 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27916] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27916/stat : 27916 (java) S 27908 27910 27514 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27917] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27917/stat : 27917 (java) S 27908 27910 27514 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118697119 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27918] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27918/stat : 27918 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27919] ppid=27908 vsize=1784916 CPUtime=0.8
/proc/27910/task/27919/stat : 27919 (java) S 27908 27910 27514 0 -1 64 1618 0 0 0 80 0 0 0 16 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27920] ppid=27908 vsize=1784916 CPUtime=0.91
/proc/27910/task/27920/stat : 27920 (java) S 27908 27910 27514 0 -1 64 1676 0 0 0 91 0 0 0 16 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27921] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27921/stat : 27921 (java) S 27908 27910 27514 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27910/tid=27922] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27922/stat : 27922 (java) S 27908 27910 27514 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 118697122 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27910/tid=27923] ppid=27908 vsize=1784916 CPUtime=0
/proc/27910/task/27923/stat : 27923 (java) S 27908 27910 27514 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 118697289 1827753984 195598 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1784916

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

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

[startup+1782.91 s]
/proc/loadavg: 1.01 1.02 1.00 2/90 27925
/proc/meminfo: memFree=986048/2055920 swapFree=4168968/4192956
[pid=27910] ppid=27908 vsize=0 CPUtime=1800.13
/proc/27910/stat : 27910 (java) Z 27908 27910 27514 0 -1 1036 558803 0 1 0 179644 369 0 0 15 0 2 0 118697113 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27910/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1782.98
CPU time (s): 1800.21
CPU user time (s): 1796.45
CPU system time (s): 3.76043
CPU usage (%): 100.966
Max. virtual memory (cumulated for all children) (KiB): 1785168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.45
system time used= 3.76043
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558803
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39209
involuntary context switches= 59572

runsolver used 1.71474 second user time and 4.85126 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Mon Apr 16 07:16:38 UTC 2007

IDJOB= 349547
IDBENCH= 2511
IDSOLVER= 159
FILE ID= node21/349547-1176707798

PBS_JOBID= 4560052

Free space on /tmp= 66534 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-swath.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349547-1176707798/sat4jPseudoResolution.jar /tmp/evaluation/349547-1176707798/instance-349547-1176707798.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-349547-1176707798 -o ROOT/results/node21/solver-349547-1176707798 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349547-1176707798/sat4jPseudoResolution.jar /tmp/evaluation/349547-1176707798/instance-349547-1176707798.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  3553224658521cb15e26e6f30dd8f5c2

RANDOM SEED= 838301616

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1768256 kB
Buffers:         29912 kB
Cached:         178064 kB
SwapCached:       2892 kB
Active:         111764 kB
Inactive:       120068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1768256 kB
SwapTotal:     4192956 kB
SwapFree:      4168968 kB
Dirty:            5108 kB
Writeback:           0 kB
Mapped:          30808 kB
Slab:            41340 kB
Committed_AS:   967700 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66534 MiB

End job on node21 on Mon Apr 16 07:46:23 UTC 2007