Trace number 349432

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.25 1778.38

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-maros-r7.opb
MD5SUM0981750c20a5ad85ded6bb04bf23d130
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10442014720
Best CPU time to get the best result obtained on this benchmark999.228
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10442014720
Optimality of the best value was proved NO
Number of variables282240
Total number of constraints3136
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3136
Minimum length of a constraint150
Maximum length of a constraint720
Number of terms in the objective function 188160
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 6734508713856
Number of bits of the sum of numbers in the objective function 43
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 4602477289606474
Number of bits of the biggest sum of numbers53
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.14	c no version file found!!!
0.08/0.14	c sun.arch.data.model	32
0.08/0.14	c java.version	1.6.0
0.08/0.14	c os.name	Linux
0.08/0.14	c os.version	2.6.9-22.EL.rootsmp
0.08/0.14	c os.arch	i386
0.08/0.14	c Free memory 1651659224
0.08/0.14	c Max memory 1654456320
0.08/0.14	c Total memory 1654456320
0.08/0.14	c Number of processors 2
0.21/0.20	--- Begin Solver configuration ---
0.21/0.20	c Stops conflict analysis at the first Unique Implication Point
0.21/0.20	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.21/0.20	c Learn all clauses as in MiniSAT
0.21/0.20	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.21/0.20	c VSIDS like heuristics from MiniSAT using a heap
0.21/0.20	c No reason simplification
0.21/0.20	c --- End Solver configuration ---
0.21/0.20	c solving /tmp/evaluation/349432-1176700831/instance-349432-1176700831.opb
0.21/0.20	c reading problem ... 
30.56/24.29	c ... done. Wall clock time 24.086s.
30.56/24.29	c CPU time (experimental) 18.16s.
30.56/24.29	c #vars     282240
30.56/24.29	c #constraints  6272
1114.16/1097.19	c cleaning 252665 clauses out of 505500 for limit 8.749447026021779E-7
1125.97/1108.85	c cleaning 127657 clauses out of 255336 for limit 2.1149673250486377E-5
1140.32/1123.09	c cleaning 65833 clauses out of 131678 for limit 0.002241377848376703
1155.95/1138.59	c cleaning 35085 clauses out of 70348 for limit 0.37964969958990286
1159.97/1142.51	c cleaning 18042 clauses out of 36260 for limit 1.9971710146091881
1165.93/1148.46	c cleaning 9772 clauses out of 19718 for limit 16.472057624908466
1169.35/1151.86	c cleaning 5388 clauses out of 10946 for limit 80.69879417455901
1174.40/1156.89	c cleaning 3443 clauses out of 7059 for limit 561.799670468822
1184.60/1166.92	c cleaning 3472 clauses out of 7116 for limit 18487.574268877088
1192.85/1175.13	c cleaning 2985 clauses out of 6143 for limit 260963.806821347
1195.79/1178.10	c cleaning 1997 clauses out of 4158 for limit 1048547.437846919
1198.60/1180.88	c cleaning 1501 clauses out of 3162 for limit 3753677.771496018
1201.32/1183.58	c cleaning 1250 clauses out of 2660 for limit 1.212312211458591E7
1204.25/1186.44	c cleaning 1205 clauses out of 2410 for limit 3.639073672052872E7
1206.87/1189.09	c cleaning 1102 clauses out of 2205 for limit 1.0817105629614696E8
1209.69/1191.86	c cleaning 1052 clauses out of 2104 for limit 3.086172625653391E8
1212.53/1194.65	c cleaning 941 clauses out of 2051 for limit 8.601566516311194E8
1215.34/1197.42	c cleaning 1055 clauses out of 2110 for limit 2.2739061234737926E9
1216.67/1198.77	c cleaning 697 clauses out of 1556 for limit 5.090211087784644E9
1219.48/1201.53	c cleaning 849 clauses out of 1859 for limit 1.1587180426818584E10
1222.01/1204.04	c cleaning 927 clauses out of 2011 for limit 2.916025882840312E10
1224.83/1206.86	c cleaning 957 clauses out of 2083 for limit 7.648767104304085E10
1229.05/1211.05	c cleaning 1230 clauses out of 2625 for limit 2.7194717320768872E11
1232.07/1214.01	c cleaning 1197 clauses out of 2395 for limit 8.106252229048989E11
1235.20/1217.14	c cleaning 1091 clauses out of 2198 for limit 2.402203063754397E12
1238.13/1220.01	c cleaning 969 clauses out of 2107 for limit 6.81529474917539E12
1240.95/1222.84	c cleaning 986 clauses out of 2138 for limit 1.8266412118652105E13
1243.77/1225.61	c cleaning 1076 clauses out of 2153 for limit 4.9381378427337305E13
1246.59/1228.44	c cleaning 1038 clauses out of 2077 for limit 1.3921387299965338E14
1249.31/1231.15	c cleaning 963 clauses out of 2039 for limit 3.856679600590418E14
1252.24/1234.04	c cleaning 952 clauses out of 2077 for limit 1.0307196976343934E15
1255.06/1236.82	c cleaning 983 clauses out of 2124 for limit 2.7384185125703985E15
1257.88/1239.61	c cleaning 1070 clauses out of 2141 for limit 7.388383695325962E15
1260.50/1242.21	c cleaning 1011 clauses out of 2070 for limit 2.0762183510652374E-4
1261.92/1243.60	c cleaning 712 clauses out of 1559 for limit 4.546248205084538E-4
1263.22/1244.94	c cleaning 589 clauses out of 1348 for limit 8.679601063741416E-4
1264.65/1246.38	c cleaning 545 clauses out of 1258 for limit 0.001532252683753451
1267.57/1249.27	c cleaning 776 clauses out of 1713 for limit 0.003060310151151544
1270.69/1252.33	c cleaning 886 clauses out of 1937 for limit 0.007360460037733653
1273.62/1255.29	c cleaning 939 clauses out of 2051 for limit 0.01890517463554779
1276.65/1258.22	c cleaning 972 clauses out of 2113 for limit 0.04995663100847221
1279.67/1261.25	c cleaning 985 clauses out of 2140 for limit 0.13401583867809877
1282.60/1264.18	c cleaning 994 clauses out of 2156 for limit 0.3621324402499467
1284.02/1265.58	c cleaning 746 clauses out of 1661 for limit 0.7744046114665332
1285.42/1266.92	c cleaning 625 clauses out of 1415 for limit 1.499122112103605
1286.74/1268.23	c cleaning 563 clauses out of 1291 for limit 2.712424174938113
1288.04/1269.58	c cleaning 529 clauses out of 1227 for limit 4.701762211823645
1290.85/1272.36	c cleaning 765 clauses out of 1698 for limit 9.24015618411225
1293.79/1275.21	c cleaning 879 clauses out of 1933 for limit 22.074807138405234
1296.91/1278.37	c cleaning 947 clauses out of 2054 for limit 56.49891486864241
1298.33/1279.79	c cleaning 722 clauses out of 1608 for limit 119.13651732393475
1299.83/1281.22	c cleaning 611 clauses out of 1385 for limit 227.87807737126857
1301.35/1282.71	c cleaning 557 clauses out of 1274 for limit 408.54394574417984
1302.75/1284.10	c cleaning 524 clauses out of 1217 for limit 705.299402298923
1304.28/1285.62	c cleaning 513 clauses out of 1194 for limit 1186.725203711641
1307.20/1288.54	c cleaning 757 clauses out of 1680 for limit 2291.5137806364537
1310.32/1291.62	c cleaning 878 clauses out of 1923 for limit 5444.578261673643
1311.84/1293.16	c cleaning 689 clauses out of 1545 for limit 11175.602144177374
1313.24/1294.56	c cleaning 595 clauses out of 1357 for limit 21004.384860712857
1314.67/1295.94	c cleaning 544 clauses out of 1261 for limit 37238.83651908136
1317.39/1298.67	c cleaning 772 clauses out of 1718 for limit 74410.51604073177
1320.12/1301.39	c cleaning 887 clauses out of 1946 for limit 178659.62331231433
1323.13/1304.36	c cleaning 945 clauses out of 2058 for limit 458987.7996702583
1326.06/1307.22	c cleaning 969 clauses out of 2113 for limit 1215790.6219812694
1328.88/1310.02	c cleaning 991 clauses out of 2145 for limit 3260447.979684098
1331.60/1312.76	c cleaning 994 clauses out of 2154 for limit 8830202.170747625
1334.42/1315.52	c cleaning 1000 clauses out of 2160 for limit 2.394828229606126E7
1337.34/1318.42	c cleaning 998 clauses out of 2160 for limit 6.513075954366459E7
1338.77/1319.82	c cleaning 830 clauses out of 1661 for limit 1.3953772460473964E8
1340.17/1321.23	c cleaning 666 clauses out of 1332 for limit 2.872416701253315E8
1341.59/1322.61	c cleaning 583 clauses out of 1167 for limit 5.412167272662936E8
1342.89/1323.92	c cleaning 482 clauses out of 1083 for limit 9.608044048286599E8
1344.21/1325.28	c cleaning 470 clauses out of 1101 for limit 1.558590447305445E9
1345.51/1326.57	c cleaning 565 clauses out of 1130 for limit 2.5018557208652234E9
1346.83/1327.87	c cleaning 451 clauses out of 1066 for limit 4.37798126161269E9
1348.13/1329.17	c cleaning 473 clauses out of 1114 for limit 6.901878146179221E9
1349.55/1330.56	c cleaning 570 clauses out of 1141 for limit 1.1112780107874765E10
1352.38/1333.34	c cleaning 701 clauses out of 1571 for limit 2.195047660001795E10
1353.80/1334.77	c cleaning 685 clauses out of 1371 for limit 4.152150468015171E10
1355.20/1336.11	c cleaning 593 clauses out of 1186 for limit 7.915561656917192E10
1356.55/1337.43	c cleaning 546 clauses out of 1092 for limit 1.4163323081121463E11
1357.85/1338.79	c cleaning 523 clauses out of 1046 for limit 2.4384396013275638E11
1359.37/1340.21	c cleaning 430 clauses out of 1024 for limit 4.1118203304068207E11
1360.67/1341.57	c cleaning 546 clauses out of 1093 for limit 6.346514833476565E11
1362.09/1342.90	c cleaning 440 clauses out of 1047 for limit 1.0926087312598529E12
1363.29/1344.15	c cleaning 553 clauses out of 1107 for limit 1.7041962861397314E12
1364.71/1345.50	c cleaning 441 clauses out of 1054 for limit 2.9517699797659326E12
1366.01/1346.88	c cleaning 470 clauses out of 1113 for limit 4.60981869769498E12
1367.43/1348.30	c cleaning 571 clauses out of 1143 for limit 7.402674711908702E12
1368.83/1349.65	c cleaning 458 clauses out of 1073 for limit 1.3017439660037646E13
1370.25/1351.01	c cleaning 557 clauses out of 1114 for limit 2.0656725559820734E13
1373.08/1353.85	c cleaning 779 clauses out of 1558 for limit 4.020920652036375E13
1374.61/1355.31	c cleaning 639 clauses out of 1278 for limit 8.075761372510052E13
1375.91/1356.66	c cleaning 487 clauses out of 1139 for limit 1.494329927847387E14
1377.33/1358.00	c cleaning 494 clauses out of 1153 for limit 2.4368641001703453E14
1378.62/1359.33	c cleaning 579 clauses out of 1159 for limit 3.997910507833605E14
1379.96/1360.62	c cleaning 540 clauses out of 1080 for limit 7.075361528138174E14
1381.36/1362.01	c cleaning 432 clauses out of 1040 for limit 1.21169952880938E15
1382.67/1363.35	c cleaning 471 clauses out of 1107 for limit 1.8754350689378852E15
1383.97/1364.65	c cleaning 568 clauses out of 1136 for limit 3.0138886928891505E15
1385.30/1365.98	c cleaning 534 clauses out of 1069 for limit 5.28710863638496E15
1386.60/1367.23	c cleaning 517 clauses out of 1035 for limit 9.005575603255702E15
1389.22/1369.89	c cleaning 751 clauses out of 1518 for limit 1.6699052450443747E-4
1390.64/1371.28	c cleaning 627 clauses out of 1267 for limit 3.299460036399216E-4
1391.94/1372.57	c cleaning 561 clauses out of 1140 for limit 6.047425446717124E-4
1393.26/1373.83	c cleaning 461 clauses out of 1079 for limit 0.001053682620183735
1394.57/1375.14	c cleaning 476 clauses out of 1118 for limit 0.0016770474277352308
1395.89/1376.47	c cleaning 486 clauses out of 1141 for limit 0.002707215819893446
1397.29/1377.85	c cleaning 491 clauses out of 1156 for limit 0.004411040937277381
1398.60/1379.12	c cleaning 495 clauses out of 1164 for limit 0.007217176350369662
1399.90/1380.40	c cleaning 498 clauses out of 1170 for limit 0.01185290584881103
1401.24/1381.79	c cleaning 505 clauses out of 1172 for limit 0.0195136706960209
1402.53/1383.10	c cleaning 500 clauses out of 1167 for limit 0.032318531162573716
1403.94/1384.41	c cleaning 502 clauses out of 1166 for limit 0.05328994785273745
1405.14/1385.67	c cleaning 498 clauses out of 1164 for limit 0.08803325344557135
1406.57/1387.07	c cleaning 498 clauses out of 1166 for limit 0.14492959189235524
1408.06/1388.50	c cleaning 501 clauses out of 1168 for limit 0.23859902460181523
1409.39/1389.83	c cleaning 500 clauses out of 1168 for limit 0.3938755863612083
1410.89/1391.31	c cleaning 497 clauses out of 1168 for limit 0.6495535336428823
1412.31/1392.78	c cleaning 501 clauses out of 1171 for limit 1.0684563498777493
1413.81/1394.21	c cleaning 495 clauses out of 1169 for limit 1.763277003754066
1415.23/1395.63	c cleaning 504 clauses out of 1175 for limit 2.895926845782117
1416.63/1397.00	c cleaning 499 clauses out of 1170 for limit 4.7913838756341285
1417.95/1398.38	c cleaning 503 clauses out of 1172 for limit 7.896045020465793
1419.24/1399.69	c cleaning 499 clauses out of 1168 for limit 13.053162962440387
1420.76/1401.12	c cleaning 503 clauses out of 1169 for limit 21.50799756448772
1422.17/1402.54	c cleaning 502 clauses out of 1167 for limit 35.56591879222208
1423.60/1403.97	c cleaning 499 clauses out of 1166 for limit 58.762022743025604
1425.09/1405.44	c cleaning 496 clauses out of 1165 for limit 96.79573579015427
1426.72/1407.00	c cleaning 500 clauses out of 1169 for limit 159.08291000350877
1428.02/1408.38	c cleaning 502 clauses out of 1170 for limit 262.3871575695015
1429.44/1409.79	c cleaning 498 clauses out of 1167 for limit 433.39006942196005
1430.84/1411.10	c cleaning 499 clauses out of 1171 for limit 713.7035012902496
1432.06/1412.39	c cleaning 498 clauses out of 1170 for limit 1175.6437086564304
1433.46/1413.76	c cleaning 496 clauses out of 1172 for limit 1935.4852286177181
1434.98/1415.29	c cleaning 511 clauses out of 1177 for limit 3181.4961997023124
1436.28/1416.58	c cleaning 502 clauses out of 1166 for limit 5296.210137258603
1437.81/1418.01	c cleaning 498 clauses out of 1163 for limit 8747.932416435842
1440.73/1420.99	c cleaning 750 clauses out of 1666 for limit 16624.799742276322
1522.27/1502.18	c cleaning 12123 clauses out of 24415 for limit 1.842327643997721E13
1531.11/1510.94	c cleaning 7314 clauses out of 14793 for limit 3.712626727746791E14
1536.45/1516.21	c cleaning 4487 clauses out of 8978 for limit 2.7408867558514973E-5
1540.68/1520.48	c cleaning 2990 clauses out of 5992 for limit 1.843745874278779E-4
1543.90/1523.61	c cleaning 1920 clauses out of 4002 for limit 7.507711160309695E-4
1545.20/1524.97	c cleaning 1211 clauses out of 2582 for limit 0.0019190411583291083
1548.02/1527.71	c cleaning 1100 clauses out of 2370 for limit 0.00568027606828634
1550.75/1530.45	c cleaning 1053 clauses out of 2271 for limit 0.01613789706632225
1555.38/1535.01	c cleaning 1282 clauses out of 2717 for limit 0.06043765233725382
1556.70/1536.30	c cleaning 887 clauses out of 1935 for limit 0.13994975488873188
1559.32/1538.98	c cleaning 944 clauses out of 2049 for limit 0.35979691802591224
1560.63/1540.26	c cleaning 718 clauses out of 1605 for limit 0.757495832068384
1562.04/1541.69	c cleaning 612 clauses out of 1387 for limit 1.445555299719996
1563.65/1543.20	c cleaning 557 clauses out of 1275 for limit 2.59332456321173
1565.06/1544.60	c cleaning 527 clauses out of 1217 for limit 4.476080158425479
1566.47/1546.01	c cleaning 514 clauses out of 1191 for limit 7.550349771526525
1567.79/1547.39	c cleaning 503 clauses out of 1176 for limit 12.597747106476461
1569.19/1548.73	c cleaning 510 clauses out of 1174 for limit 20.831594322979587
1572.02/1551.51	c cleaning 752 clauses out of 1664 for limit 39.97137227201834
1573.53/1553.02	c cleaning 625 clauses out of 1412 for limit 77.68256743016119
1575.04/1554.54	c cleaning 560 clauses out of 1286 for limit 140.52017243497397
1576.45/1555.94	c cleaning 534 clauses out of 1227 for limit 243.12268238714893
1577.87/1557.31	c cleaning 516 clauses out of 1192 for limit 412.3017339562075
1579.28/1558.78	c cleaning 503 clauses out of 1176 for limit 689.1916101286491
1580.69/1560.12	c cleaning 506 clauses out of 1174 for limit 1139.6450422171345
1582.00/1561.49	c cleaning 500 clauses out of 1167 for limit 1888.8097749735523
1583.61/1563.03	c cleaning 501 clauses out of 1169 for limit 3115.799311977192
1585.22/1564.60	c cleaning 496 clauses out of 1166 for limit 5141.292366144219
1586.53/1565.99	c cleaning 504 clauses out of 1170 for limit 8449.691965143917
1587.94/1567.33	c cleaning 500 clauses out of 1166 for limit 13982.475766042411
1589.37/1568.79	c cleaning 498 clauses out of 1167 for limit 23062.276167928085
1590.87/1570.24	c cleaning 505 clauses out of 1169 for limit 37967.70970578712
1592.38/1571.73	c cleaning 502 clauses out of 1164 for limit 62882.79229592107
1593.69/1573.02	c cleaning 502 clauses out of 1161 for limit 103866.1308822334
1595.11/1574.43	c cleaning 498 clauses out of 1159 for limit 171584.72571004418
1596.52/1575.85	c cleaning 501 clauses out of 1162 for limit 282518.1355411175
1598.13/1577.41	c cleaning 497 clauses out of 1160 for limit 466246.7800622072
1599.75/1579.00	c cleaning 573 clauses out of 1164 for limit 767028.0623347227
1599.95/1579.26	c cleaning 538 clauses out of 1090 for limit 1349457.1876622888
1600.25/1579.57	c cleaning 526 clauses out of 1052 for limit 2305821.880487292
1600.84/1580.19	c cleaning 501 clauses out of 1031 for limit 3899521.116042467
1601.57/1580.85	c cleaning 516 clauses out of 1032 for limit 6437469.063267501
1602.90/1582.11	c cleaning 505 clauses out of 1010 for limit 1.0782570212945886E7
1603.10/1582.37	c cleaning 502 clauses out of 1004 for limit 1.7870278919626374E7
1603.40/1582.64	c cleaning 477 clauses out of 1003 for limit 2.9529392307495803E7
1603.81/1583.07	c cleaning 486 clauses out of 1026 for limit 4.760624955297069E7
1604.10/1583.32	c cleaning 495 clauses out of 1039 for limit 7.744923944284919E7
1604.74/1583.99	c cleaning 744 clauses out of 1545 for limit 1.4179160121141812E8
1605.14/1584.34	c cleaning 632 clauses out of 1300 for limit 2.7762400406345934E8
1605.44/1584.62	c cleaning 554 clauses out of 1169 for limit 5.096549580787663E8
1605.95/1585.15	c cleaning 526 clauses out of 1115 for limit 8.811945131442113E8
1606.65/1585.83	c cleaning 516 clauses out of 1088 for limit 1.4877814227243505E9
1607.06/1586.25	c cleaning 513 clauses out of 1072 for limit 2.490170756088129E9
1607.65/1586.89	c cleaning 507 clauses out of 1059 for limit 4.157036529458003E9
1608.26/1587.48	c cleaning 527 clauses out of 1054 for limit 6.901827500276222E9
1609.78/1588.92	c cleaning 762 clauses out of 1525 for limit 1.2947252514892252E10
1610.50/1589.66	c cleaning 599 clauses out of 1266 for limit 2.5797236112176132E10
1613.52/1592.65	c cleaning 787 clauses out of 1664 for limit 5.3218398480506516E10
1619.15/1598.26	c cleaning 1142 clauses out of 2380 for limit 1.6738223489727124E11
1620.46/1599.56	c cleaning 816 clauses out of 1735 for limit 3.7751932854697284E11
1621.66/1600.80	c cleaning 708 clauses out of 1419 for limit 7.612234570575967E11
1622.87/1601.96	c cleaning 606 clauses out of 1212 for limit 1.4712359789390845E12
1624.07/1603.18	c cleaning 502 clauses out of 1106 for limit 2.658800286266448E12
1625.29/1604.35	c cleaning 553 clauses out of 1106 for limit 4.393499966425049E12
1626.59/1605.63	c cleaning 524 clauses out of 1050 for limit 7.609021425750544E12
1627.80/1606.86	c cleaning 512 clauses out of 1026 for limit 1.284182159856201E13
1629.20/1608.25	c cleaning 504 clauses out of 1014 for limit 2.142850758388144E13
1630.61/1609.68	c cleaning 449 clauses out of 1011 for limit 3.547881642228031E13
1632.02/1611.02	c cleaning 476 clauses out of 1062 for limit 5.569954520861905E13
1633.32/1612.37	c cleaning 485 clauses out of 1085 for limit 8.981891466748995E13
1634.53/1613.58	c cleaning 549 clauses out of 1100 for limit 1.4610354141822284E14
1637.15/1616.13	c cleaning 775 clauses out of 1553 for limit 2.8200887104172794E14
1638.46/1617.40	c cleaning 637 clauses out of 1276 for limit 5.648984911967618E14
1639.66/1618.60	c cleaning 514 clauses out of 1139 for limit 1.0436460941097782E15
1640.97/1619.97	c cleaning 504 clauses out of 1125 for limit 1.7425303086496932E15
1643.89/1622.89	c cleaning 752 clauses out of 1621 for limit 3.2889829516901545E15
1645.30/1624.24	c cleaning 625 clauses out of 1369 for limit 6.42239593706282E15
1646.71/1625.68	c cleaning 567 clauses out of 1246 for limit 1.1660237393925382E16
1648.13/1627.04	c cleaning 531 clauses out of 1178 for limit 2.0318962066355344E16
1649.52/1628.43	c cleaning 566 clauses out of 1146 for limit 3.4409912446609655E-4
1650.94/1629.83	c cleaning 486 clauses out of 1081 for limit 6.021890997345021E-4
1652.25/1631.14	c cleaning 491 clauses out of 1096 for limit 9.804792986909023E-4
1653.56/1632.48	c cleaning 494 clauses out of 1104 for limit 0.0016036193375464816
1654.85/1633.74	c cleaning 496 clauses out of 1110 for limit 0.0026302877737225654
1656.27/1635.12	c cleaning 502 clauses out of 1118 for limit 0.004323927222549812
1657.48/1636.34	c cleaning 498 clauses out of 1111 for limit 0.007139855926502689
1658.79/1637.61	c cleaning 502 clauses out of 1116 for limit 0.011757060012493117
1660.09/1638.98	c cleaning 497 clauses out of 1111 for limit 0.01941785359703819
1661.41/1640.21	c cleaning 498 clauses out of 1114 for limit 0.03193640134816519
1662.72/1641.53	c cleaning 502 clauses out of 1116 for limit 0.05257301218018412
1664.13/1642.90	c cleaning 498 clauses out of 1114 for limit 0.08685558534774018
1665.33/1644.13	c cleaning 501 clauses out of 1116 for limit 0.14297978337080544
1666.64/1645.45	c cleaning 499 clauses out of 1115 for limit 0.2360042636261764
1667.85/1646.66	c cleaning 501 clauses out of 1118 for limit 0.3889357133744815
1669.26/1648.08	c cleaning 501 clauses out of 1118 for limit 0.6420490713147011
1670.57/1649.37	c cleaning 502 clauses out of 1114 for limit 1.0594420015369872
1671.88/1650.70	c cleaning 501 clauses out of 1114 for limit 1.7506611618122785
1673.29/1652.03	c cleaning 502 clauses out of 1112 for limit 2.8893747680088326
1674.60/1653.37	c cleaning 501 clauses out of 1111 for limit 4.774028452403327
1675.91/1654.66	c cleaning 500 clauses out of 1110 for limit 7.880104379335133
1677.12/1655.88	c cleaning 496 clauses out of 1108 for limit 12.992779018413481
1678.42/1657.13	c cleaning 500 clauses out of 1114 for limit 21.354112782244062
1679.72/1658.45	c cleaning 502 clauses out of 1113 for limit 35.212181672015085
1681.04/1659.72	c cleaning 499 clauses out of 1110 for limit 58.16831649544448
1682.24/1660.99	c cleaning 500 clauses out of 1115 for limit 95.88011365265046
1683.55/1662.27	c cleaning 500 clauses out of 1112 for limit 158.07055275822708
1684.85/1663.58	c cleaning 499 clauses out of 1111 for limit 260.6532086782599
1686.26/1664.96	c cleaning 499 clauses out of 1114 for limit 429.5530966199953
1687.67/1666.30	c cleaning 497 clauses out of 1114 for limit 707.6821303906428
1688.99/1667.65	c cleaning 503 clauses out of 1116 for limit 1163.806024174998
1690.28/1668.93	c cleaning 501 clauses out of 1116 for limit 1925.0411753767007
1691.49/1670.17	c cleaning 499 clauses out of 1112 for limit 3176.5213763744314
1692.81/1671.46	c cleaning 500 clauses out of 1114 for limit 5234.338172229886
1694.10/1672.79	c cleaning 500 clauses out of 1113 for limit 8631.239730389432
1695.41/1674.05	c cleaning 501 clauses out of 1116 for limit 14238.478088780366
1696.83/1675.41	c cleaning 498 clauses out of 1112 for limit 23494.993558877686
1698.03/1676.69	c cleaning 499 clauses out of 1114 for limit 38676.824847976575
1699.34/1677.98	c cleaning 503 clauses out of 1116 for limit 63732.68403695263
1700.65/1679.22	c cleaning 498 clauses out of 1112 for limit 105376.31113232812
1701.87/1680.42	c cleaning 499 clauses out of 1115 for limit 173485.55107688202
1703.17/1681.72	c cleaning 503 clauses out of 1116 for limit 285844.5194099082
1704.38/1682.97	c cleaning 501 clauses out of 1112 for limit 472618.4291147196
1705.79/1684.31	c cleaning 511 clauses out of 1111 for limit 780112.5554403088
1707.40/1686.00	c cleaning 500 clauses out of 1101 for limit 1299494.382378221
1709.21/1687.79	c cleaning 507 clauses out of 1100 for limit 2142843.3097462887
1711.02/1689.58	c cleaning 546 clauses out of 1093 for limit 3556467.347157434
1712.73/1691.25	c cleaning 524 clauses out of 1049 for limit 6123340.501656633
1800.07/1778.21	c starts		: 21
1800.07/1778.21	c conflicts		: 737587
1800.07/1778.21	c decisions		: 1462261
1800.07/1778.21	c propagations		: 28163562
1800.07/1778.21	c inspects		: 601591716
1800.07/1778.21	c learnt literals	: 0
1800.07/1778.21	c learnt binary clauses	: 0
1800.07/1778.21	c learnt ternary clauses	: 0
1800.07/1778.21	c learnt clauses	: 737587
1800.07/1778.21	c root simplifications	: 0
1800.07/1778.21	c removed literals (reason simplification)	: 0
1800.07/1778.21	c reason swapping (by a shorter reason)	: 0
1800.07/1778.21	c Calls to reduceDB	: 266
1800.07/1778.21	c speed (decisions/second)	: 834.0540167476902
1800.07/1778.21	c non guided choices	397623
1800.07/1778.21	s UNKNOWN
1800.07/1778.21	c Total wall clock time (ms): 1778.012

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/node22/watcher-349432-1176700831 -o ROOT/results/node22/solver-349432-1176700831 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349432-1176700831/sat4jPseudoResolution.jar /tmp/evaluation/349432-1176700831/instance-349432-1176700831.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 12424
/proc/meminfo: memFree=1591416/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=152 CPUtime=0
/proc/12424/stat : 12424 (java) D 12422 12424 11723 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 118000858 155648 26 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4678436 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/12424/statm: 38 26 19 9 0 4 0

[startup+0.102716 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 12424
/proc/meminfo: memFree=1591416/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1780108 CPUtime=0.08
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 3976 0 1 0 6 2 0 0 18 0 12 0 118000858 1822830592 3717 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 445027 3717 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108

[startup+0.201734 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 12424
/proc/meminfo: memFree=1591416/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1782012 CPUtime=0.21
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 4858 0 1 0 18 3 0 0 18 0 12 0 118000858 1824780288 4596 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 445503 4596 1244 9 0 443115 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 1782012

[startup+0.301747 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 12424
/proc/meminfo: memFree=1591416/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1782096 CPUtime=0.33
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 7524 0 1 0 29 4 0 0 18 0 12 0 118000858 1824866304 7262 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 445524 7262 1267 9 0 443136 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1782096

[startup+0.701804 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 12424
/proc/meminfo: memFree=1591416/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1783520 CPUtime=0.86
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 11160 0 1 0 80 6 0 0 18 0 12 0 118000858 1826324480 10704 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 445880 10705 1296 9 0 443492 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 1783520

[startup+1.50292 s]
/proc/loadavg: 1.00 1.00 1.00 2/89 12436
/proc/meminfo: memFree=1521880/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1783520 CPUtime=1.66
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 25731 0 1 0 153 13 0 0 18 0 12 0 118000858 1826324480 25275 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 445880 25276 1296 9 0 443492 0
[pid=12424/tid=12426] ppid=12422 vsize=1783520 CPUtime=1.33
/proc/12424/task/12426/stat : 12426 (java) R 12422 12424 11723 0 -1 64 24054 0 1 0 122 11 0 0 25 0 12 0 118000859 1826324480 25276 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109474750 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12427] ppid=12422 vsize=1783520 CPUtime=0
/proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11723 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 118000860 1826324480 25277 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12428] ppid=12422 vsize=1783520 CPUtime=0
/proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11723 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 118000860 1826324480 25278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12429] ppid=12422 vsize=1783520 CPUtime=0
/proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 118000863 1826324480 25278 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1783520 CPUtime=0
/proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11723 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 118000863 1826324480 25279 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1783520 CPUtime=0
/proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11723 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 118000863 1826324480 25280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1783520 CPUtime=0
/proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118000867 1826324480 25280 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1783520 CPUtime=0.12
/proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11723 0 -1 64 468 0 0 0 12 0 0 0 16 0 12 0 118000867 1826324480 25281 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1783520 CPUtime=0.18
/proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11723 0 -1 64 492 0 0 0 18 0 0 0 16 0 12 0 118000867 1826324480 25282 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1783520 CPUtime=0
/proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 118000867 1826324480 25283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1783520 CPUtime=0
/proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 118000867 1826324480 25283 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 1783520

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.00 3/89 12436
/proc/meminfo: memFree=1463256/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1792932 CPUtime=4.07
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 52123 0 1 0 382 25 0 0 18 0 12 0 118000858 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 448233 48968 1314 9 0 445845 0
[pid=12424/tid=12426] ppid=12422 vsize=1792932 CPUtime=2.38
/proc/12424/task/12426/stat : 12426 (java) R 12422 12424 11723 0 -1 64 37670 0 1 0 221 17 0 0 23 0 12 0 118000859 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109644766 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12427] ppid=12422 vsize=1792932 CPUtime=0.2
/proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11723 0 -1 64 3869 0 0 0 19 1 0 0 16 0 12 0 118000860 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12428] ppid=12422 vsize=1792932 CPUtime=0.21
/proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11723 0 -1 64 4406 0 0 0 19 2 0 0 16 0 12 0 118000860 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12429] ppid=12422 vsize=1792932 CPUtime=0
/proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11723 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 118000863 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1792932 CPUtime=0
/proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 118000863 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1792932 CPUtime=0
/proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 118000863 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1792932 CPUtime=0
/proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118000867 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1792932 CPUtime=0.7
/proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11723 0 -1 64 4001 0 0 0 69 1 0 0 16 0 12 0 118000867 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1792932 CPUtime=0.54
/proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11723 0 -1 64 1452 0 0 0 53 1 0 0 16 0 12 0 118000867 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1792932 CPUtime=0
/proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 118000867 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1792932 CPUtime=0
/proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 118000867 1835962368 48968 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 1792932

[startup+6.30266 s]
/proc/loadavg: 1.00 1.00 1.00 2/89 12436
/proc/meminfo: memFree=1336024/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1792372 CPUtime=7.77
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 70520 0 1 0 743 34 0 0 18 0 12 0 118000858 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 448093 65072 1314 9 0 445705 0
[pid=12424/tid=12426] ppid=12422 vsize=1792372 CPUtime=5.08
/proc/12424/task/12426/stat : 12426 (java) R 12422 12424 11723 0 -1 64 37673 0 1 0 490 18 0 0 25 0 12 0 118000859 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109528300 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12427] ppid=12422 vsize=1792372 CPUtime=0.7
/proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11723 0 -1 64 13489 0 0 0 64 6 0 0 16 0 12 0 118000860 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12428] ppid=12422 vsize=1792372 CPUtime=0.71
/proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11723 0 -1 64 13180 0 0 0 65 6 0 0 16 0 12 0 118000860 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12429] ppid=12422 vsize=1792372 CPUtime=0
/proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11723 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 118000863 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1792372 CPUtime=0
/proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 118000863 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1792372 CPUtime=0
/proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 118000863 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1792372 CPUtime=0
/proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118000867 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1792372 CPUtime=0.7
/proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11723 0 -1 64 4001 0 0 0 69 1 0 0 16 0 12 0 118000867 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1792372 CPUtime=0.54
/proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11723 0 -1 64 1452 0 0 0 53 1 0 0 16 0 12 0 118000867 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1792372 CPUtime=0
/proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 118000867 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1792372 CPUtime=0
/proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 118000867 1835388928 65072 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 1792372

[startup+12.7016 s]
/proc/loadavg: 1.08 1.02 1.01 2/89 12436
/proc/meminfo: memFree=1253144/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1790964 CPUtime=16.41
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 105561 0 1 0 1590 51 0 0 18 0 12 0 118000858 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 447741 91606 1321 9 0 445353 0
[pid=12424/tid=12426] ppid=12422 vsize=1790964 CPUtime=9.2
/proc/12424/task/12426/stat : 12426 (java) R 12422 12424 11723 0 -1 64 37681 0 1 0 902 18 0 0 17 0 12 0 118000859 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109474890 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12427] ppid=12422 vsize=1790964 CPUtime=2.94
/proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11723 0 -1 64 33040 0 0 0 279 15 0 0 16 0 12 0 118000860 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12428] ppid=12422 vsize=1790964 CPUtime=2.96
/proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11723 0 -1 64 28655 0 0 0 283 13 0 0 16 0 12 0 118000860 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12429] ppid=12422 vsize=1790964 CPUtime=0
/proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11723 0 -1 64 7 0 0 0 0 0 0 0 15 0 12 0 118000863 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1790964 CPUtime=0
/proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 118000863 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1790964 CPUtime=0
/proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 118000863 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1790964 CPUtime=0
/proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 118000867 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1790964 CPUtime=0.72
/proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11723 0 -1 64 4008 0 0 0 71 1 0 0 16 0 12 0 118000867 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1790964 CPUtime=0.54
/proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11723 0 -1 64 1452 0 0 0 53 1 0 0 16 0 12 0 118000867 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1790964 CPUtime=0
/proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 118000867 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1790964 CPUtime=0
/proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 118000867 1833947136 91606 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.41
Current children cumulated vsize (KiB) 1790964

[startup+25.5026 s]
/proc/loadavg: 1.22 1.05 1.01 2/90 12437
/proc/meminfo: memFree=1012752/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1791288 CPUtime=32.59
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 170732 0 1 0 3177 82 0 0 18 0 13 0 118000858 1834278912 145783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 447822 145783 1335 9 0 445434 0
[pid=12424/tid=12426] ppid=12422 vsize=1791288 CPUtime=18.93
/proc/12424/task/12426/stat : 12426 (java) R 12422 12424 11723 0 -1 64 37737 0 1 0 1872 21 0 0 18 0 13 0 118000859 1834278912 145783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109883778 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12427] ppid=12422 vsize=1791288 CPUtime=5.81
/proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11723 0 -1 64 67262 0 0 0 551 30 0 0 16 0 13 0 118000860 1834278912 145783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12428] ppid=12422 vsize=1791288 CPUtime=5.83
/proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11723 0 -1 64 59165 0 0 0 556 27 0 0 16 0 13 0 118000860 1834278912 145783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12429] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 145783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 145783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 145783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118000867 1834278912 145783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=12424/tid=12429] ppid=12422 vsize=1791288 CPUtime=2.04
/proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11723 0 -1 64 3957 0 0 0 172 32 0 0 16 0 13 0 118000863 1834278912 173379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 173379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 173379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118000867 1834278912 173379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1791288 CPUtime=1.24
/proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11723 0 -1 64 4073 0 0 0 123 1 0 0 17 0 13 0 118000867 1834278912 173379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1791288 CPUtime=1.27
/proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11723 0 -1 64 1802 0 0 0 126 1 0 0 16 0 13 0 118000867 1834278912 173379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118000867 1834278912 173379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118000867 1834278912 173379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12437] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12437/stat : 12437 (java) S 12422 12424 11723 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 118003360 1834278912 173379 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1562.75
Current children cumulated vsize (KiB) 1791288

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/90 12439
/proc/meminfo: memFree=909776/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1791288 CPUtime=1623.27
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 670726 0 1 0 161975 352 0 0 18 0 13 0 118000858 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 447822 185046 1337 9 0 445434 0
[pid=12424/tid=12426] ppid=12422 vsize=1791288 CPUtime=1578.39
/proc/12424/task/12426/stat : 12426 (java) R 12422 12424 11723 0 -1 64 124733 0 1 0 157769 70 0 0 25 0 13 0 118000859 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109591967 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12427] ppid=12422 vsize=1791288 CPUtime=20.12
/proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11723 0 -1 64 267126 0 0 0 1888 124 0 0 16 0 13 0 118000860 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12428] ppid=12422 vsize=1791288 CPUtime=20.14
/proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11723 0 -1 64 268269 0 0 0 1893 121 0 0 16 0 13 0 118000860 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12429] ppid=12422 vsize=1791288 CPUtime=2.05
/proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11723 0 -1 64 4001 0 0 0 173 32 0 0 16 0 13 0 118000863 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118000867 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1791288 CPUtime=1.24
/proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11723 0 -1 64 4073 0 0 0 123 1 0 0 17 0 13 0 118000867 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1791288 CPUtime=1.27
/proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11723 0 -1 64 1802 0 0 0 126 1 0 0 16 0 13 0 118000867 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118000867 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118000867 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12437] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12437/stat : 12437 (java) S 12422 12424 11723 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 118003360 1834278912 185046 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1623.27
Current children cumulated vsize (KiB) 1791288

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/90 12439
/proc/meminfo: memFree=917520/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1791288 CPUtime=1683.65
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 675130 0 1 0 168010 355 0 0 18 0 13 0 118000858 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 447822 183110 1337 9 0 445434 0
[pid=12424/tid=12426] ppid=12422 vsize=1791288 CPUtime=1637.92
/proc/12424/task/12426/stat : 12426 (java) R 12422 12424 11723 0 -1 64 124765 0 1 0 163721 71 0 0 25 0 13 0 118000859 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109914057 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12427] ppid=12422 vsize=1791288 CPUtime=20.54
/proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11723 0 -1 64 269097 0 0 0 1929 125 0 0 16 0 13 0 118000860 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12428] ppid=12422 vsize=1791288 CPUtime=20.56
/proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11723 0 -1 64 270670 0 0 0 1934 122 0 0 16 0 13 0 118000860 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12429] ppid=12422 vsize=1791288 CPUtime=2.06
/proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11723 0 -1 64 4001 0 0 0 174 32 0 0 16 0 13 0 118000863 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118000867 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1791288 CPUtime=1.24
/proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11723 0 -1 64 4073 0 0 0 123 1 0 0 17 0 13 0 118000867 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1791288 CPUtime=1.27
/proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11723 0 -1 64 1802 0 0 0 126 1 0 0 16 0 13 0 118000867 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118000867 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118000867 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12437] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12437/stat : 12437 (java) S 12422 12424 11723 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 118003360 1834278912 183110 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1683.65
Current children cumulated vsize (KiB) 1791288

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 12439
/proc/meminfo: memFree=942480/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1791288 CPUtime=1743.94
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 678787 0 1 0 174036 358 0 0 18 0 13 0 118000858 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 447822 176849 1337 9 0 445434 0
[pid=12424/tid=12426] ppid=12422 vsize=1791288 CPUtime=1696.04
/proc/12424/task/12426/stat : 12426 (java) R 12422 12424 11723 0 -1 64 124795 0 1 0 169533 71 0 0 25 0 13 0 118000859 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109667784 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12427] ppid=12422 vsize=1791288 CPUtime=20.86
/proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11723 0 -1 64 269097 0 0 0 1961 125 0 0 16 0 13 0 118000860 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12428] ppid=12422 vsize=1791288 CPUtime=20.88
/proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11723 0 -1 64 270670 0 0 0 1966 122 0 0 16 0 13 0 118000860 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12429] ppid=12422 vsize=1791288 CPUtime=3.58
/proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11723 0 -1 64 7628 0 0 0 324 34 0 0 16 0 13 0 118000863 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118000867 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1791288 CPUtime=1.24
/proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11723 0 -1 64 4073 0 0 0 123 1 0 0 17 0 13 0 118000867 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1791288 CPUtime=1.27
/proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11723 0 -1 64 1802 0 0 0 126 1 0 0 16 0 13 0 118000867 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118000867 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118000867 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12437] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12437/stat : 12437 (java) S 12422 12424 11723 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 118003360 1834278912 176849 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1743.94
Current children cumulated vsize (KiB) 1791288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.2 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 12439
/proc/meminfo: memFree=958544/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=1791288 CPUtime=1800.07
/proc/12424/stat : 12424 (java) S 12422 12424 11723 0 -1 0 678813 0 1 0 179648 359 0 0 18 0 13 0 118000858 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12424/statm: 447822 172810 1337 9 0 445434 0
[pid=12424/tid=12426] ppid=12422 vsize=1791288 CPUtime=1751.67
/proc/12424/task/12426/stat : 12426 (java) R 12422 12424 11723 0 -1 64 124821 0 1 0 175095 72 0 0 25 0 13 0 118000859 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109972463 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12427] ppid=12422 vsize=1791288 CPUtime=21.1
/proc/12424/task/12427/stat : 12427 (java) S 12422 12424 11723 0 -1 64 269097 0 0 0 1985 125 0 0 16 0 13 0 118000860 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12428] ppid=12422 vsize=1791288 CPUtime=21.12
/proc/12424/task/12428/stat : 12428 (java) S 12422 12424 11723 0 -1 64 270670 0 0 0 1990 122 0 0 16 0 13 0 118000860 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12429] ppid=12422 vsize=1791288 CPUtime=3.58
/proc/12424/task/12429/stat : 12429 (java) S 12422 12424 11723 0 -1 64 7628 0 0 0 324 34 0 0 16 0 13 0 118000863 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12430] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12430/stat : 12430 (java) S 12422 12424 11723 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12431] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12431/stat : 12431 (java) S 12422 12424 11723 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 118000863 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12432] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12432/stat : 12432 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 118000867 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12433] ppid=12422 vsize=1791288 CPUtime=1.24
/proc/12424/task/12433/stat : 12433 (java) S 12422 12424 11723 0 -1 64 4073 0 0 0 123 1 0 0 17 0 13 0 118000867 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12434] ppid=12422 vsize=1791288 CPUtime=1.27
/proc/12424/task/12434/stat : 12434 (java) S 12422 12424 11723 0 -1 64 1802 0 0 0 126 1 0 0 16 0 13 0 118000867 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12435] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12435/stat : 12435 (java) S 12422 12424 11723 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 118000867 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12424/tid=12436] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12436/stat : 12436 (java) S 12422 12424 11723 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 118000867 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12424/tid=12437] ppid=12422 vsize=1791288 CPUtime=0
/proc/12424/task/12437/stat : 12437 (java) S 12422 12424 11723 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 118003360 1834278912 172810 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1791288

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

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

[startup+1778.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/90 12439
/proc/meminfo: memFree=958544/2055920 swapFree=4168648/4192956
[pid=12424] ppid=12422 vsize=0 CPUtime=1800.17
/proc/12424/stat : 12424 (java) Z 12422 12424 11723 0 -1 1036 678833 0 1 0 179654 363 0 0 15 0 2 0 118000858 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12424/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1778.38
CPU time (s): 1800.25
CPU user time (s): 1796.55
CPU system time (s): 3.69944
CPU usage (%): 101.23
Max. virtual memory (cumulated for all children) (KiB): 1800420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.55
system time used= 3.69944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678833
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= 44543
involuntary context switches= 65967

runsolver used 1.81872 second user time and 4.71728 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Mon Apr 16 05:20:32 UTC 2007

IDJOB= 349432
IDBENCH= 2422
IDSOLVER= 159
FILE ID= node22/349432-1176700831

PBS_JOBID= 4560042

Free space on /tmp= 66510 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-maros-r7.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349432-1176700831/sat4jPseudoResolution.jar /tmp/evaluation/349432-1176700831/instance-349432-1176700831.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node22/watcher-349432-1176700831 -o ROOT/results/node22/solver-349432-1176700831 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/349432-1176700831/sat4jPseudoResolution.jar /tmp/evaluation/349432-1176700831/instance-349432-1176700831.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  0981750c20a5ad85ded6bb04bf23d130

RANDOM SEED= 873976085

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1591760 kB
Buffers:         71304 kB
Cached:         292528 kB
SwapCached:       2144 kB
Active:         209360 kB
Inactive:       180376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1591760 kB
SwapTotal:     4192956 kB
SwapFree:      4168648 kB
Dirty:           45928 kB
Writeback:           0 kB
Mapped:          32096 kB
Slab:            59992 kB
Committed_AS:  1666200 kB
PageTables:       1684 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= 66510 MiB

End job on node22 on Mon Apr 16 05:50:12 UTC 2007