Trace number 363453

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.24 1787.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM0155c0c96434984f6ded6bb7ada20c0c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6548
Best CPU time to get the best result obtained on this benchmark2.23666
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6548
Optimality of the best value was proved YES
Number of variables2655
Total number of constraints146
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint4
Maximum length of a constraint2655
Number of terms in the objective function 2655
Biggest coefficient in the objective function 266
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 489211
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 266
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 489211
Number of bits of the biggest sum of numbers19
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.09/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.14	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.14	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.14	c no version file found!!!
0.09/0.15	c sun.arch.data.model	32
0.09/0.15	c java.version	1.6.0
0.09/0.15	c os.name	Linux
0.09/0.15	c os.version	2.6.9-22.EL.rootsmp
0.09/0.15	c os.arch	i386
0.09/0.15	c Free memory 1651659224
0.09/0.15	c Max memory 1654456320
0.09/0.15	c Total memory 1654456320
0.09/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/363453-1177027674/instance-363453-1177027674.opb
0.20/0.20	c reading problem ... 
1.18/0.89	c ... done. Wall clock time 0.691s.
1.18/0.89	c CPU time (experimental) 0.57s.
1.18/0.89	c #vars     2655
1.18/0.89	c #constraints  291
571.05/565.97	c cleaning 375715 clauses out of 751494 for limit 4.572009968282583
580.87/575.75	c cleaning 188136 clauses out of 376283 for limit 15.118615507833352
583.78/578.70	c cleaning 94312 clauses out of 188642 for limit 49.48477000969146
585.57/580.46	c cleaning 47385 clauses out of 94832 for limit 162.6596932680317
586.87/581.80	c cleaning 23935 clauses out of 47946 for limit 530.0341513054202
588.17/583.03	c cleaning 12212 clauses out of 24510 for limit 1708.1826173121578
588.57/583.46	c cleaning 6348 clauses out of 12799 for limit 5399.977734082975
588.87/583.70	c cleaning 3421 clauses out of 6950 for limit 16383.420526875654
588.97/583.90	c cleaning 1946 clauses out of 4031 for limit 46676.84526127108
589.17/584.03	c cleaning 1219 clauses out of 2583 for limit 119888.28598400652
589.27/584.14	c cleaning 858 clauses out of 1864 for limit 273975.1266691438
589.37/584.23	c cleaning 678 clauses out of 1506 for limit 559226.7787415361
589.47/584.33	c cleaning 589 clauses out of 1329 for limit 1046112.3982283301
589.57/584.42	c cleaning 614 clauses out of 1239 for limit 1848644.4831175334
589.67/584.50	c cleaning 563 clauses out of 1126 for limit 3357969.2411863306
589.67/584.59	c cleaning 452 clauses out of 1063 for limit 5865941.488974438
589.77/584.67	c cleaning 474 clauses out of 1110 for limit 9254850.073639682
589.88/584.74	c cleaning 484 clauses out of 1136 for limit 1.491316840498947E7
589.98/584.80	c cleaning 497 clauses out of 1152 for limit 2.425222905686229E7
589.98/584.87	c cleaning 577 clauses out of 1156 for limit 3.989667520301697E7
590.08/584.94	c cleaning 537 clauses out of 1079 for limit 7.0490238761232E7
590.18/585.00	c cleaning 521 clauses out of 1042 for limit 1.2037563589019874E8
590.18/585.07	c cleaning 472 clauses out of 1020 for limit 2.0259443736108413E8
590.28/585.13	c cleaning 441 clauses out of 1048 for limit 3.2517885153007656E8
590.28/585.19	c cleaning 478 clauses out of 1107 for limit 5.076820888500584E8
590.38/585.25	c cleaning 487 clauses out of 1130 for limit 8.210156163919938E8
590.48/585.32	c cleaning 571 clauses out of 1143 for limit 1.3385651627087061E9
590.58/585.40	c cleaning 535 clauses out of 1071 for limit 2.353518696567554E9
590.58/585.47	c cleaning 440 clauses out of 1037 for limit 4.012534374710954E9
590.68/585.54	c cleaning 548 clauses out of 1096 for limit 6.25472677872604E9
590.78/585.60	c cleaning 522 clauses out of 1048 for limit 1.0787318507390835E10
590.78/585.66	c cleaning 433 clauses out of 1026 for limit 1.8171187547481083E10
590.88/585.72	c cleaning 547 clauses out of 1094 for limit 2.8132203375252823E10
590.88/585.78	c cleaning 523 clauses out of 1047 for limit 4.8476390550280396E10
590.98/585.85	c cleaning 453 clauses out of 1023 for limit 8.173775380623418E10
591.08/585.91	c cleaning 454 clauses out of 1070 for limit 1.288755233587184E11
591.08/585.97	c cleaning 481 clauses out of 1116 for limit 2.0377265876794418E11
591.18/586.03	c cleaning 493 clauses out of 1135 for limit 3.304228951295582E11
591.18/586.09	c cleaning 572 clauses out of 1144 for limit 5.417075390014459E11
591.28/586.15	c cleaning 460 clauses out of 1070 for limit 9.53221852599667E11
591.38/586.22	c cleaning 537 clauses out of 1110 for limit 1.5153420536055103E12
591.38/586.28	c cleaning 456 clauses out of 1073 for limit 2.585174239891686E12
710.04/704.18	c cleaning 116543 clauses out of 233117 for limit 1.2574857009045111E11
717.74/711.89	c cleaning 58514 clauses out of 117075 for limit 4.1333600076599554E11
718.94/713.05	c cleaning 29505 clauses out of 59060 for limit 1.3498805264473477E12
719.24/713.39	c cleaning 15002 clauses out of 30056 for limit 4.378728234365577E12
728.64/722.66	c cleaning 21753 clauses out of 43553 for limit 73015.00950338143
728.93/722.96	c cleaning 11127 clauses out of 22301 for limit 235394.48433700638
729.13/723.16	c cleaning 5801 clauses out of 11674 for limit 741577.967240347
729.33/723.31	c cleaning 3157 clauses out of 6372 for limit 2238319.6906233216
729.43/723.43	c cleaning 1825 clauses out of 3715 for limit 6331330.014292393
729.53/723.52	c cleaning 1165 clauses out of 2390 for limit 1.622974721029696E7
729.63/723.61	c cleaning 829 clauses out of 1725 for limit 3.7083135153841764E7
729.63/723.69	c cleaning 674 clauses out of 1396 for limit 7.556766659313913E7
729.74/723.76	c cleaning 575 clauses out of 1222 for limit 1.4236594377842173E8
729.84/723.84	c cleaning 540 clauses out of 1147 for limit 2.5013230575907344E8
729.93/723.92	c cleaning 552 clauses out of 1107 for limit 4.274068424026283E8
729.93/723.99	c cleaning 499 clauses out of 1056 for limit 7.396317947389671E8
730.03/724.07	c cleaning 499 clauses out of 1056 for limit 1.2185320239201427E9
730.13/724.14	c cleaning 527 clauses out of 1058 for limit 2.0077313321332905E9
730.23/724.22	c cleaning 508 clauses out of 1030 for limit 3.3976247746253967E9
730.33/724.35	c cleaning 509 clauses out of 1022 for limit 5.646997957780694E9
730.43/724.46	c cleaning 477 clauses out of 1013 for limit 9.395393372048664E9
730.53/724.56	c cleaning 499 clauses out of 1038 for limit 1.5151372324563456E10
730.63/724.67	c cleaning 519 clauses out of 1038 for limit 2.4961653237654266E10
730.73/724.80	c cleaning 491 clauses out of 1019 for limit 4.193265898732668E10
730.94/724.91	c cleaning 481 clauses out of 1027 for limit 6.8545274177131134E10
731.03/725.00	c cleaning 499 clauses out of 1046 for limit 1.1098701316273022E11
731.13/725.10	c cleaning 493 clauses out of 1048 for limit 1.828659997471866E11
731.13/725.19	c cleaning 527 clauses out of 1054 for limit 2.995539230854869E11
904.74/897.78	c cleaning 122993 clauses out of 246027 for limit 6.0391160177760654E-5
907.44/900.47	c cleaning 61759 clauses out of 123535 for limit 1.985438884044083E-4
908.34/901.38	c cleaning 31109 clauses out of 62275 for limit 6.488647503555459E-4
908.84/901.82	c cleaning 15822 clauses out of 31666 for limit 0.0021044111659839137
909.05/902.03	c cleaning 8139 clauses out of 16344 for limit 0.006723901431506078
909.14/902.20	c cleaning 4320 clauses out of 8706 for limit 0.020837779009068465
909.34/902.33	c cleaning 2404 clauses out of 4885 for limit 0.061182454781448785
909.47/902.45	c cleaning 1451 clauses out of 2982 for limit 0.16545283976650468
909.57/902.55	c cleaning 972 clauses out of 2030 for limit 0.40041210844797004
909.67/902.65	c cleaning 727 clauses out of 1558 for limit 0.8603827085998691
909.77/902.75	c cleaning 627 clauses out of 1332 for limit 1.6612894263959774
909.87/902.85	c cleaning 557 clauses out of 1205 for limit 3.02843576093266
909.97/902.95	c cleaning 533 clauses out of 1148 for limit 5.2422703192790685
910.07/903.07	c cleaning 516 clauses out of 1115 for limit 8.901072110303316
910.17/903.17	c cleaning 508 clauses out of 1098 for limit 14.891423744174395
910.27/903.28	c cleaning 497 clauses out of 1091 for limit 24.74025719826339
1040.83/1032.65	c cleaning 145758 clauses out of 291593 for limit 256415.0984655916
1043.43/1035.25	c cleaning 73153 clauses out of 146336 for limit 843451.0967276732
1044.23/1036.07	c cleaning 36804 clauses out of 73683 for limit 2762483.381966325
1044.73/1036.56	c cleaning 18643 clauses out of 37380 for limit 8989138.579853868
1045.12/1036.95	c cleaning 9568 clauses out of 19236 for limit 2.8778223398883384E7
1045.32/1037.14	c cleaning 5036 clauses out of 10169 for limit 8.986506638101071E7
1045.43/1037.25	c cleaning 2767 clauses out of 5631 for limit 2.6709790579029882E8
1045.53/1037.33	c cleaning 1637 clauses out of 3364 for limit 7.373198229439065E8
1045.62/1037.41	c cleaning 1075 clauses out of 2229 for limit 1.8387671625010967E9
1045.62/1037.49	c cleaning 777 clauses out of 1653 for limit 4.084936684576444E9
1045.72/1037.56	c cleaning 680 clauses out of 1375 for limit 8.090527904352619E9
1045.82/1037.63	c cleaning 594 clauses out of 1196 for limit 1.5354609553439857E10
1045.92/1037.71	c cleaning 543 clauses out of 1101 for limit 2.7479195465698277E10
1045.92/1037.78	c cleaning 481 clauses out of 1059 for limit 4.716130033315241E10
1046.02/1037.85	c cleaning 489 clauses out of 1077 for limit 7.639895232006294E10
1046.12/1037.91	c cleaning 495 clauses out of 1088 for limit 1.247182757296152E11
1046.12/1037.98	c cleaning 502 clauses out of 1094 for limit 2.0475384695054694E11
1046.22/1038.04	c cleaning 500 clauses out of 1092 for limit 3.382849218869426E11
1046.32/1038.11	c cleaning 541 clauses out of 1092 for limit 5.578770911387764E11
1046.32/1038.18	c cleaning 520 clauses out of 1050 for limit 9.558576984269401E11
1046.42/1038.25	c cleaning 507 clauses out of 1030 for limit 1.6069457067128657E12
1046.53/1038.32	c cleaning 466 clauses out of 1023 for limit 2.6682018543809756E12
1046.53/1038.39	c cleaning 480 clauses out of 1057 for limit 4.258682029341095E12
1046.63/1038.46	c cleaning 491 clauses out of 1077 for limit 6.892716022734498E12
1055.82/1047.50	c cleaning 15251 clauses out of 30586 for limit 26329.13708653433
1056.02/1047.79	c cleaning 7874 clauses out of 15835 for limit 83868.16273771312
1056.32/1048.03	c cleaning 4187 clauses out of 8462 for limit 259079.21633274932
1056.42/1048.17	c cleaning 2361 clauses out of 4774 for limit 756562.0560562558
1056.53/1048.27	c cleaning 1428 clauses out of 2914 for limit 2046104.5555201466
1056.63/1048.36	c cleaning 968 clauses out of 1987 for limit 4953474.155311426
1056.72/1048.43	c cleaning 728 clauses out of 1518 for limit 1.0682118027075568E7
1056.82/1048.51	c cleaning 644 clauses out of 1290 for limit 2.07298099473127E7
1056.82/1048.59	c cleaning 566 clauses out of 1145 for limit 3.847697483792333E7
1056.92/1048.69	c cleaning 531 clauses out of 1079 for limit 6.733499749843723E7
1057.02/1048.77	c cleaning 490 clauses out of 1048 for limit 1.1432912965087712E8
1057.12/1048.86	c cleaning 524 clauses out of 1058 for limit 1.8676194979798362E8
1057.22/1048.94	c cleaning 510 clauses out of 1034 for limit 3.151442701073234E8
1057.32/1049.01	c cleaning 503 clauses out of 1024 for limit 5.247904030423643E8
1057.32/1049.09	c cleaning 478 clauses out of 1021 for limit 8.679925266764529E8
1057.42/1049.16	c cleaning 490 clauses out of 1044 for limit 1.4013016331808379E9
1057.52/1049.24	c cleaning 518 clauses out of 1053 for limit 2.288891102191473E9
1057.63/1049.32	c cleaning 514 clauses out of 1036 for limit 3.840467952770569E9
1057.63/1049.40	c cleaning 507 clauses out of 1021 for limit 6.420066609686615E9
1057.73/1049.48	c cleaning 470 clauses out of 1014 for limit 1.0660638287208603E10
1057.82/1049.57	c cleaning 492 clauses out of 1044 for limit 1.7075622750906176E10
1057.92/1049.65	c cleaning 526 clauses out of 1053 for limit 2.7947249858865242E10
1058.02/1049.73	c cleaning 474 clauses out of 1027 for limit 4.725555762545313E10
1058.12/1049.80	c cleaning 486 clauses out of 1053 for limit 7.600652054965323E10
1058.12/1049.88	c cleaning 528 clauses out of 1066 for limit 1.2369250744330089E11
1058.22/1049.95	c cleaning 514 clauses out of 1038 for limit 2.0948799088407733E11
1058.32/1050.01	c cleaning 504 clauses out of 1024 for limit 3.5019699530970233E11
1058.32/1050.08	c cleaning 470 clauses out of 1020 for limit 5.797864847375845E11
1058.42/1050.15	c cleaning 489 clauses out of 1051 for limit 9.288721502626957E11
1058.52/1050.22	c cleaning 499 clauses out of 1063 for limit 1.5160579153171958E12
1058.52/1050.29	c cleaning 498 clauses out of 1062 for limit 2.4975339670562544E12
1058.62/1050.36	c cleaning 532 clauses out of 1065 for limit 4.1112767402063716E12
1058.73/1050.44	c cleaning 516 clauses out of 1033 for limit 6.990075787561825E12
1058.83/1050.52	c cleaning 467 clauses out of 1016 for limit 1.1708732207030535E13
1058.83/1050.59	c cleaning 489 clauses out of 1050 for limit 1.870271607605096E13
1058.92/1050.65	c cleaning 482 clauses out of 1061 for limit 3.052351070188709E13
1059.02/1050.73	c cleaning 493 clauses out of 1078 for limit 4.949399172698822E13
1059.02/1050.79	c cleaning 494 clauses out of 1086 for limit 8.110204698447295E13
1301.71/1291.80	c cleaning 203523 clauses out of 407093 for limit 9.218041442542318E7
1307.61/1297.70	c cleaning 102027 clauses out of 204068 for limit 3.026524865316223E8
1309.21/1299.34	c cleaning 51230 clauses out of 102541 for limit 9.932932701910685E8
1309.91/1300.01	c cleaning 25871 clauses out of 51812 for limit 3.2451522976365075E9
1310.21/1300.40	c cleaning 13183 clauses out of 26440 for limit 1.0476720664300049E10
1310.51/1300.61	c cleaning 6838 clauses out of 13757 for limit 3.3206183630491344E10
1310.61/1300.74	c cleaning 3669 clauses out of 7419 for limit 1.0154375482100809E11
1310.71/1300.84	c cleaning 2077 clauses out of 4250 for limit 2.9232472276189825E11
1310.81/1300.93	c cleaning 1299 clauses out of 2673 for limit 7.664986685105085E11
1310.91/1301.01	c cleaning 898 clauses out of 1874 for limit 1.803003891124038E12
1310.91/1301.09	c cleaning 737 clauses out of 1476 for limit 3.7751636274719097E12
1311.01/1301.16	c cleaning 615 clauses out of 1240 for limit 7.41806870143246E12
1311.12/1301.24	c cleaning 555 clauses out of 1124 for limit 1.3482412186720201E13
1311.22/1301.32	c cleaning 486 clauses out of 1070 for limit 2.3379786054266105E13
1311.31/1301.40	c cleaning 496 clauses out of 1083 for limit 3.805548217492149E13
1311.31/1301.49	c cleaning 499 clauses out of 1088 for limit 6.253270118208714E13
1311.41/1301.57	c cleaning 544 clauses out of 1088 for limit 1.0302166493463708E14
1311.51/1301.64	c cleaning 471 clauses out of 1044 for limit 1.7705689667265538E14
1537.93/1526.31	c cleaning 194483 clauses out of 389074 for limit 3.0552014703486052
1540.43/1528.87	c cleaning 97526 clauses out of 195090 for limit 10.038259784348185
1541.33/1529.76	c cleaning 49025 clauses out of 98064 for limit 32.93363913722727
1541.73/1530.14	c cleaning 24704 clauses out of 49540 for limit 107.61770420278148
1542.03/1530.43	c cleaning 12600 clauses out of 25335 for limit 346.68910349219675
1542.23/1530.63	c cleaning 6536 clauses out of 13235 for limit 1094.4427329489258
1542.33/1530.79	c cleaning 3518 clauses out of 7199 for limit 3318.1858041075775
1542.53/1530.90	c cleaning 2008 clauses out of 4181 for limit 9422.119195215486
1542.63/1531.01	c cleaning 1254 clauses out of 2675 for limit 24334.917921391276
1542.73/1531.11	c cleaning 883 clauses out of 1922 for limit 55910.153881525504
1542.83/1531.20	c cleaning 689 clauses out of 1537 for limit 115068.66296610459
1542.93/1531.30	c cleaning 592 clauses out of 1347 for limit 216314.04267047264
1542.93/1531.38	c cleaning 542 clauses out of 1255 for limit 382881.5776685121
1543.03/1531.47	c cleaning 525 clauses out of 1215 for limit 653516.9094446583
1543.13/1531.54	c cleaning 516 clauses out of 1188 for limit 1100027.4685771507
1543.23/1531.60	c cleaning 506 clauses out of 1172 for limit 1838858.2220256987
1543.23/1531.67	c cleaning 498 clauses out of 1166 for limit 3048127.9568043393
1543.33/1531.74	c cleaning 584 clauses out of 1169 for limit 5018889.479891012
1543.33/1531.80	c cleaning 543 clauses out of 1086 for limit 8918313.134172035
1543.43/1531.86	c cleaning 504 clauses out of 1041 for limit 1.5312590771054788E7
1543.53/1531.92	c cleaning 438 clauses out of 1037 for limit 2.5349916683129903E7
1543.53/1531.98	c cleaning 497 clauses out of 1099 for limit 3.944695523616449E7
1543.63/1532.04	c cleaning 471 clauses out of 1103 for limit 6.488227450275414E7
1543.73/1532.10	c cleaning 566 clauses out of 1132 for limit 1.0425839588942748E8
1543.73/1532.16	c cleaning 451 clauses out of 1066 for limit 1.825812381226107E8
1543.83/1532.22	c cleaning 557 clauses out of 1115 for limit 2.878686506579554E8
1543.83/1532.28	c cleaning 529 clauses out of 1058 for limit 5.003103171788219E8
1543.93/1532.34	c cleaning 433 clauses out of 1030 for limit 8.483563220100394E8
1544.03/1532.41	c cleaning 547 clauses out of 1095 for limit 1.3133735614279544E9
1544.03/1532.47	c cleaning 441 clauses out of 1048 for limit 2.2630648182530065E9
1544.13/1532.53	c cleaning 471 clauses out of 1108 for limit 3.533531068129096E9
1544.13/1532.59	c cleaning 568 clauses out of 1136 for limit 5.677952021078204E9
1544.23/1532.65	c cleaning 453 clauses out of 1068 for limit 9.959893259279106E9
1544.33/1532.71	c cleaning 557 clauses out of 1115 for limit 1.573283385660053E10
1544.33/1532.77	c cleaning 502 clauses out of 1059 for limit 2.7344895149529343E10
1544.43/1532.83	c cleaning 442 clauses out of 1056 for limit 4.517827863814026E10
1800.04/1787.11	c starts		: 24
1800.04/1787.11	c conflicts		: 2712601
1800.04/1787.11	c decisions		: 2970887
1800.04/1787.11	c propagations		: 33181554
1800.04/1787.11	c inspects		: 1896559963
1800.04/1787.11	c learnt literals	: 7
1800.04/1787.11	c learnt binary clauses	: 13
1800.04/1787.11	c learnt ternary clauses	: 11
1800.04/1787.11	c learnt clauses	: 2712594
1800.04/1787.11	c root simplifications	: 0
1800.04/1787.11	c removed literals (reason simplification)	: 0
1800.04/1787.11	c reason swapping (by a shorter reason)	: 0
1800.04/1787.11	c Calls to reduceDB	: 202
1800.04/1787.11	c speed (decisions/second)	: 1663.312295262319
1800.04/1787.11	c non guided choices	264
1800.04/1787.11	s UNKNOWN
1800.04/1787.11	c Total wall clock time (ms): 1786.913

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/node14/watcher-363453-1177027674 -o ROOT/results/node14/solver-363453-1177027674 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/363453-1177027674/sat4jPseudoResolution.jar /tmp/evaluation/363453-1177027674/instance-363453-1177027674.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: 0.92 0.98 0.99 2/77 22616
/proc/meminfo: memFree=1674240/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=152 CPUtime=0
/proc/22616/stat : 22616 (java) R 22614 22616 21704 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 150685218 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 1 0 0
/proc/22616/statm: 38 26 19 9 0 4 0

[startup+0.0929879 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22616
/proc/meminfo: memFree=1674240/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1777844 CPUtime=0.08
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 3872 0 1 0 5 3 0 0 18 0 7 0 150685218 1820512256 3615 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 444461 3615 1096 9 0 442097 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1777844

[startup+0.102988 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22616
/proc/meminfo: memFree=1674240/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1780108 CPUtime=0.09
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 3975 0 1 0 6 3 0 0 18 0 12 0 150685218 1822830592 3717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 445027 3717 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780108

[startup+0.303007 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22616
/proc/meminfo: memFree=1674240/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1782264 CPUtime=0.34
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 5098 0 1 0 30 4 0 0 18 0 12 0 150685218 1825038336 4835 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 445566 4835 1267 9 0 443178 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1782264

[startup+0.702049 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 22616
/proc/meminfo: memFree=1674240/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1784860 CPUtime=0.99
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 7942 0 1 0 95 4 0 0 18 0 12 0 150685218 1827696640 6766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 446215 6766 1308 9 0 443827 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 1784860

[startup+1.50112 s]
/proc/loadavg: 0.92 0.98 0.99 5/90 22629
/proc/meminfo: memFree=1645080/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1785648 CPUtime=2.29
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 10809 0 1 0 223 6 0 0 18 0 13 0 150685218 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 446412 9278 1320 9 0 444024 0
[pid=22616/tid=22618] ppid=22614 vsize=1785648 CPUtime=1.06
/proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 7541 0 1 0 102 4 0 0 20 0 13 0 150685220 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22619] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 150685221 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22620] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 150685221 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22621] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 150685224 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22622] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 150685224 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22623] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685224 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22624] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1828503552 9278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22625] ppid=22614 vsize=1785648 CPUtime=0.6
/proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1654 0 0 0 60 0 0 0 16 0 13 0 150685228 1828503552 9279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22626] ppid=22614 vsize=1785648 CPUtime=0.59
/proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 892 0 0 0 59 0 0 0 16 0 13 0 150685228 1828503552 9279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22627] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1828503552 9279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22628] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1828503552 9279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22629] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1828503552 9279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 1785648

[startup+3.10127 s]
/proc/loadavg: 0.92 0.98 0.99 3/90 22629
/proc/meminfo: memFree=1637848/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1785648 CPUtime=4.01
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 13595 0 1 0 393 8 0 0 18 0 13 0 150685218 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 446412 12062 1322 9 0 444024 0
[pid=22616/tid=22618] ppid=22614 vsize=1785648 CPUtime=2.67
/proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 10317 0 1 0 260 7 0 0 17 0 13 0 150685220 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105880117 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22619] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 150685221 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22620] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 150685221 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22621] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 150685224 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22622] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 150685224 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22623] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685224 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22624] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22625] ppid=22614 vsize=1785648 CPUtime=0.67
/proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1661 0 0 0 67 0 0 0 16 0 13 0 150685228 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22626] ppid=22614 vsize=1785648 CPUtime=0.65
/proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 895 0 0 0 65 0 0 0 16 0 13 0 150685228 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22627] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22628] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22629] ppid=22614 vsize=1785648 CPUtime=0
/proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1828503552 12062 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 1785648

[startup+6.30257 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 22629
/proc/meminfo: memFree=1614936/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1785392 CPUtime=7.25
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 18892 0 1 0 714 11 0 0 18 0 13 0 150685218 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 446348 17293 1322 9 0 443960 0
[pid=22616/tid=22618] ppid=22614 vsize=1785392 CPUtime=5.86
/proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 15610 0 1 0 577 9 0 0 25 0 13 0 150685220 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109837151 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22619] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 150685221 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22620] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 150685221 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22621] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 150685224 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22622] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 150685224 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22623] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685224 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22624] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22625] ppid=22614 vsize=1785392 CPUtime=0.69
/proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1663 0 0 0 69 0 0 0 16 0 13 0 150685228 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22626] ppid=22614 vsize=1785392 CPUtime=0.67
/proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 897 0 0 0 67 0 0 0 16 0 13 0 150685228 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22627] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22628] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22629] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1828241408 17293 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 1785392

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/90 22629
/proc/meminfo: memFree=1581920/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1785392 CPUtime=13.68
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 26370 0 1 0 1353 15 0 0 18 0 13 0 150685218 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 446348 24771 1322 9 0 443960 0
[pid=22616/tid=22618] ppid=22614 vsize=1785392 CPUtime=12.27
/proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 23087 0 1 0 1214 13 0 0 25 0 13 0 150685220 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761229 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22619] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 150685221 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22620] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 150685221 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22621] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 150685224 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22622] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 150685224 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22623] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685224 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22624] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22625] ppid=22614 vsize=1785392 CPUtime=0.69
/proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1663 0 0 0 69 0 0 0 16 0 13 0 150685228 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22626] ppid=22614 vsize=1785392 CPUtime=0.68
/proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 898 0 0 0 68 0 0 0 17 0 13 0 150685228 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22627] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22628] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22629] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1828241408 24771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.68
Current children cumulated vsize (KiB) 1785392

[startup+25.5024 s]
/proc/loadavg: 0.95 0.98 0.99 2/90 22629
/proc/meminfo: memFree=1527328/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1785392 CPUtime=26.47
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 39749 0 1 0 2627 20 0 0 18 0 13 0 150685218 1828241408 38150 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 446348 38150 1322 9 0 443960 0
[pid=22616/tid=22618] ppid=22614 vsize=1785392 CPUtime=25.07
/proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 36466 0 1 0 2488 19 0 0 25 0 13 0 150685220 1828241408 38150 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109336840 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22619] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 2 0 0 0 0 0 0 0 19 0 13 0 150685221 1828241408 38150 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22620] ppid=22614 vsize=1785392 CPUtime=0
/proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 150685221 1828241408 38150 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=22616/tid=22621] ppid=22614 vsize=1787960 CPUtime=4.7
/proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 14223 0 2 0 451 19 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22622] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22623] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22624] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22625] ppid=22614 vsize=1787960 CPUtime=0.76
/proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1668 0 0 0 76 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22626] ppid=22614 vsize=1787960 CPUtime=0.81
/proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 914 0 0 0 81 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22627] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22628] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22629] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1614.59
Current children cumulated vsize (KiB) 1787960

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 22629
/proc/meminfo: memFree=787360/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1787960 CPUtime=1674.76
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 637251 0 3 0 167144 332 0 0 18 0 13 0 150685218 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 446990 221970 1335 9 0 444602 0
[pid=22616/tid=22618] ppid=22614 vsize=1787960 CPUtime=1644.71
/proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 37806 0 1 0 164439 32 0 0 25 0 13 0 150685220 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109813433 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22619] ppid=22614 vsize=1787960 CPUtime=11.86
/proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 292736 0 0 0 1043 143 0 0 16 0 13 0 150685221 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22620] ppid=22614 vsize=1787960 CPUtime=11.85
/proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 289183 0 0 0 1051 134 0 0 16 0 13 0 150685221 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22621] ppid=22614 vsize=1787960 CPUtime=4.7
/proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 14223 0 2 0 451 19 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22622] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22623] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22624] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22625] ppid=22614 vsize=1787960 CPUtime=0.76
/proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1668 0 0 0 76 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22626] ppid=22614 vsize=1787960 CPUtime=0.81
/proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 914 0 0 0 81 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22627] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22628] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22629] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1674.76
Current children cumulated vsize (KiB) 1787960

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 22629
/proc/meminfo: memFree=787424/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1787960 CPUtime=1735.08
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 637253 0 3 0 173176 332 0 0 18 0 13 0 150685218 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 446990 221970 1335 9 0 444602 0
[pid=22616/tid=22618] ppid=22614 vsize=1787960 CPUtime=1704.34
/proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 37808 0 1 0 170402 32 0 0 25 0 13 0 150685220 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109760901 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22619] ppid=22614 vsize=1787960 CPUtime=12.2
/proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 292736 0 0 0 1077 143 0 0 16 0 13 0 150685221 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22620] ppid=22614 vsize=1787960 CPUtime=12.19
/proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 289183 0 0 0 1085 134 0 0 16 0 13 0 150685221 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22621] ppid=22614 vsize=1787960 CPUtime=4.7
/proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 14223 0 2 0 451 19 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22622] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22623] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22624] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22625] ppid=22614 vsize=1787960 CPUtime=0.76
/proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1668 0 0 0 76 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22626] ppid=22614 vsize=1787960 CPUtime=0.81
/proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 914 0 0 0 81 0 0 0 16 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22627] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22628] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22629] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1830871040 221970 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1735.08
Current children cumulated vsize (KiB) 1787960

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 22629
/proc/meminfo: memFree=787360/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1787960 CPUtime=1795.23
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 637255 0 3 0 179190 333 0 0 18 0 13 0 150685218 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 446990 221971 1335 9 0 444602 0
[pid=22616/tid=22618] ppid=22614 vsize=1787960 CPUtime=1764.15
/proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 37810 0 1 0 176383 32 0 0 25 0 13 0 150685220 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109730279 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22619] ppid=22614 vsize=1787960 CPUtime=12.37
/proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 292736 0 0 0 1094 143 0 0 17 0 13 0 150685221 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22620] ppid=22614 vsize=1787960 CPUtime=12.36
/proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 289183 0 0 0 1102 134 0 0 16 0 13 0 150685221 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22621] ppid=22614 vsize=1787960 CPUtime=4.7
/proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 14223 0 2 0 451 19 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22622] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22623] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22624] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22625] ppid=22614 vsize=1787960 CPUtime=0.76
/proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1668 0 0 0 76 0 0 0 16 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22626] ppid=22614 vsize=1787960 CPUtime=0.81
/proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 914 0 0 0 81 0 0 0 16 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22627] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22628] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22629] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1795.23
Current children cumulated vsize (KiB) 1787960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 22629
/proc/meminfo: memFree=787360/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=1787960 CPUtime=1800.04
/proc/22616/stat : 22616 (java) S 22614 22616 21704 0 -1 0 637255 0 3 0 179671 333 0 0 18 0 13 0 150685218 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22616/statm: 446990 221971 1335 9 0 444602 0
[pid=22616/tid=22618] ppid=22614 vsize=1787960 CPUtime=1768.95
/proc/22616/task/22618/stat : 22618 (java) R 22614 22616 21704 0 -1 64 37810 0 1 0 176863 32 0 0 25 0 13 0 150685220 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761229 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22619] ppid=22614 vsize=1787960 CPUtime=12.37
/proc/22616/task/22619/stat : 22619 (java) S 22614 22616 21704 0 -1 64 292736 0 0 0 1094 143 0 0 17 0 13 0 150685221 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22620] ppid=22614 vsize=1787960 CPUtime=12.36
/proc/22616/task/22620/stat : 22620 (java) S 22614 22616 21704 0 -1 64 289183 0 0 0 1102 134 0 0 16 0 13 0 150685221 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22621] ppid=22614 vsize=1787960 CPUtime=4.7
/proc/22616/task/22621/stat : 22621 (java) S 22614 22616 21704 0 -1 64 14223 0 2 0 451 19 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22622] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22622/stat : 22622 (java) S 22614 22616 21704 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22623] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22623/stat : 22623 (java) S 22614 22616 21704 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 150685224 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22624] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22624/stat : 22624 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22625] ppid=22614 vsize=1787960 CPUtime=0.76
/proc/22616/task/22625/stat : 22625 (java) S 22614 22616 21704 0 -1 64 1668 0 0 0 76 0 0 0 16 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22626] ppid=22614 vsize=1787960 CPUtime=0.81
/proc/22616/task/22626/stat : 22626 (java) S 22614 22616 21704 0 -1 64 914 0 0 0 81 0 0 0 16 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22627] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22627/stat : 22627 (java) S 22614 22616 21704 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22616/tid=22628] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22628/stat : 22628 (java) S 22614 22616 21704 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 150685228 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22616/tid=22629] ppid=22614 vsize=1787960 CPUtime=0
/proc/22616/task/22629/stat : 22629 (java) S 22614 22616 21704 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 150685318 1830871040 221971 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1787960

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

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

[startup+1787.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/90 22629
/proc/meminfo: memFree=787360/2055920 swapFree=4148744/4192956
[pid=22616] ppid=22614 vsize=0 CPUtime=1800.14
/proc/22616/stat : 22616 (java) Z 22614 22616 21704 0 -1 1036 637275 0 3 0 179677 337 0 0 15 0 2 0 150685218 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22616/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1787.3
CPU time (s): 1800.24
CPU user time (s): 1796.77
CPU system time (s): 3.46647
CPU usage (%): 100.724
Max. virtual memory (cumulated for all children) (KiB): 1791964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.77
system time used= 3.46647
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637275
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37375
involuntary context switches= 61218

runsolver used 1.78573 second user time and 4.76628 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Fri Apr 20 00:07:55 UTC 2007

IDJOB= 363453
IDBENCH= 1851
IDSOLVER= 159
FILE ID= node14/363453-1177027674

PBS_JOBID= 4630606

Free space on /tmp= 66204 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  0155c0c96434984f6ded6bb7ada20c0c

RANDOM SEED= 937430052

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1674840 kB
Buffers:         47880 kB
Cached:         266308 kB
SwapCached:      11464 kB
Active:          60648 kB
Inactive:       279612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1674840 kB
SwapTotal:     4192956 kB
SwapFree:      4148744 kB
Dirty:            3720 kB
Writeback:           0 kB
Mapped:          32688 kB
Slab:            26416 kB
Committed_AS:  6932460 kB
PageTables:       1792 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= 66204 MiB

End job on node14 on Fri Apr 20 00:37:44 UTC 2007