Trace number 351274

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.13 1789.5

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-fit1d.opb
MD5SUMba437a46cdfe6ecad707b12b94061ac9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1783.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -20
Optimality of the best value was proved NO
Number of variables11514
Total number of constraints1050
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 constraints1050
Minimum length of a constraint11
Maximum length of a constraint11514
Number of terms in the objective function 11514
Biggest coefficient in the objective function 3344
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 531132
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 15548
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 531582
Number of bits of the biggest sum of numbers20
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.13	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.13	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.13	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.14	c sun.arch.data.model	32
0.09/0.14	c java.version	1.6.0
0.09/0.14	c os.name	Linux
0.09/0.14	c os.version	2.6.9-22.EL.rootsmp
0.09/0.14	c os.arch	i386
0.09/0.14	c Free memory 1651659224
0.09/0.14	c Max memory 1654456320
0.09/0.14	c Total memory 1654456320
0.09/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/351274-1176593546/instance-351274-1176593546.opb
0.21/0.20	c reading problem ... 
2.50/2.02	c ... done. Wall clock time 1.821s.
2.50/2.02	c CPU time (experimental) 1.63s.
2.50/2.02	c #vars     11514
2.50/2.02	c #constraints  1051
709.19/703.95	c cleaning 42242 clauses out of 84502 for limit 6.169456977802643E11
715.84/710.59	c cleaning 21368 clauses out of 42758 for limit 2.0067044260379932E12
726.17/720.86	c cleaning 10933 clauses out of 21890 for limit 6.464142428404608E12
733.42/728.06	c cleaning 5720 clauses out of 11458 for limit 2.038629288778337E13
739.55/734.15	c cleaning 3107 clauses out of 6237 for limit 6.1701071845443445E13
750.19/744.73	c cleaning 1805 clauses out of 3630 for limit 1.748307072757035E14
755.84/750.34	c cleaning 1160 clauses out of 2325 for limit 4.5015001538680556E14
759.92/754.38	c cleaning 832 clauses out of 1665 for limit 1.0366254710045134E15
764.19/758.60	c cleaning 667 clauses out of 1334 for limit 2.1358496738642155E15
767.93/762.30	c cleaning 583 clauses out of 1166 for limit 4.025773503702816E15
772.08/766.36	c cleaning 535 clauses out of 1084 for limit 7.148402600846043E15
776.31/770.56	c cleaning 517 clauses out of 1049 for limit 1.2182002524809422E16
780.53/774.77	c cleaning 515 clauses out of 1031 for limit 2.042005386338952E16
784.96/779.14	c cleaning 508 clauses out of 1017 for limit 3.4173148550939116E16
789.50/783.67	c cleaning 499 clauses out of 1008 for limit 5.680241369636149E-4
793.82/787.99	c cleaning 498 clauses out of 1009 for limit 9.358193985021282E-4
798.45/792.52	c cleaning 499 clauses out of 1012 for limit 0.0015402566620253213
802.88/796.94	c cleaning 498 clauses out of 1012 for limit 0.0025375491982420543
807.21/801.26	c cleaning 500 clauses out of 1014 for limit 0.004176504134419617
811.75/805.79	c cleaning 499 clauses out of 1014 for limit 0.006887614040385101
816.26/810.29	c cleaning 504 clauses out of 1016 for limit 0.011347585103383226
820.02/813.91	c cleaning 502 clauses out of 1012 for limit 0.01878765302615324
823.85/817.73	c cleaning 497 clauses out of 1010 for limit 0.031044706382050657
828.18/822.07	c cleaning 497 clauses out of 1013 for limit 0.05104525434316376
832.82/826.63	c cleaning 499 clauses out of 1016 for limit 0.08393188879374243
837.47/831.20	c cleaning 502 clauses out of 1017 for limit 0.13827881163552888
842.00/835.73	c cleaning 499 clauses out of 1015 for limit 0.22848959940726757
846.35/840.05	c cleaning 499 clauses out of 1015 for limit 0.37643310629811766
850.78/844.44	c cleaning 502 clauses out of 1016 for limit 0.6201775382526526
855.43/849.09	c cleaning 501 clauses out of 1014 for limit 1.0247729961227803
864.75/858.35	c cleaning 749 clauses out of 1513 for limit 1.8678348480910474
873.88/867.43	c cleaning 877 clauses out of 1764 for limit 4.35703044892219
883.00/876.51	c cleaning 935 clauses out of 1887 for limit 11.077175836189925
887.21/880.74	c cleaning 720 clauses out of 1453 for limit 23.74792858783571
891.62/885.18	c cleaning 611 clauses out of 1233 for limit 46.151323396603736
895.93/889.48	c cleaning 553 clauses out of 1121 for limit 83.63017358908404
900.43/893.99	c cleaning 527 clauses out of 1069 for limit 144.7709100382894
905.05/898.52	c cleaning 515 clauses out of 1042 for limit 244.93292994660578
909.56/903.01	c cleaning 506 clauses out of 1026 for limit 409.8160009463885
913.98/907.47	c cleaning 501 clauses out of 1021 for limit 679.8309439882877
918.58/912.01	c cleaning 500 clauses out of 1019 for limit 1122.2092958523244
923.19/916.61	c cleaning 504 clauses out of 1020 for limit 1850.7095793691344
927.61/921.06	c cleaning 500 clauses out of 1015 for limit 3064.0353935387884
932.22/925.61	c cleaning 502 clauses out of 1015 for limit 5053.004263267022
936.73/930.12	c cleaning 499 clauses out of 1013 for limit 8349.532289316945
941.24/934.67	c cleaning 501 clauses out of 1015 for limit 13756.11983408198
945.75/939.13	c cleaning 500 clauses out of 1014 for limit 22708.05433451371
950.38/943.72	c cleaning 498 clauses out of 1013 for limit 37448.101874283406
954.79/948.17	c cleaning 501 clauses out of 1016 for limit 61636.21278201475
959.10/952.46	c cleaning 500 clauses out of 1015 for limit 101746.50462003019
963.71/957.03	c cleaning 500 clauses out of 1015 for limit 167793.59752230023
968.23/961.50	c cleaning 499 clauses out of 1015 for limit 276714.08934015577
972.74/966.05	c cleaning 500 clauses out of 1016 for limit 455889.39935291756
977.35/970.69	c cleaning 500 clauses out of 1016 for limit 751822.6073256911
981.47/974.75	c cleaning 500 clauses out of 1016 for limit 1239856.0565090794
986.08/979.37	c cleaning 500 clauses out of 1015 for limit 2044656.2706163747
990.40/983.66	c cleaning 507 clauses out of 1015 for limit 3371911.719468653
995.03/988.22	c cleaning 504 clauses out of 1008 for limit 5599349.716625635
999.55/992.79	c cleaning 497 clauses out of 1004 for limit 9270865.90071909
1004.06/997.26	c cleaning 498 clauses out of 1007 for limit 1.5243350245238785E7
1008.58/1001.74	c cleaning 505 clauses out of 1010 for limit 2.5088744229105007E7
1012.91/1006.05	c cleaning 493 clauses out of 1004 for limit 4.1580332727996476E7
1017.53/1010.61	c cleaning 497 clauses out of 1011 for limit 6.80967530273042E7
1022.15/1015.22	c cleaning 499 clauses out of 1014 for limit 1.1196840510241915E8
1026.68/1019.78	c cleaning 508 clauses out of 1016 for limit 1.8447186476185787E8
1031.00/1024.06	c cleaning 504 clauses out of 1008 for limit 3.066332179841376E8
1035.53/1028.50	c cleaning 495 clauses out of 1003 for limit 5.0769183056837106E8
1040.25/1033.26	c cleaning 496 clauses out of 1009 for limit 8.331061503966376E8
1044.46/1037.46	c cleaning 506 clauses out of 1013 for limit 1.3684784051209023E9
1049.08/1042.04	c cleaning 503 clauses out of 1007 for limit 2.2702506587027316E9
1053.49/1046.49	c cleaning 501 clauses out of 1003 for limit 3.755119162054292E9
1058.21/1051.11	c cleaning 495 clauses out of 1002 for limit 6.198874182264323E9
1062.62/1055.52	c cleaning 497 clauses out of 1009 for limit 1.0172185877170006E10
1067.05/1059.97	c cleaning 505 clauses out of 1010 for limit 1.6725185505293276E10
1071.46/1064.34	c cleaning 502 clauses out of 1005 for limit 2.7719292574180084E10
1076.08/1068.93	c cleaning 496 clauses out of 1003 for limit 4.5803973862231384E10
1080.09/1072.97	c cleaning 493 clauses out of 1007 for limit 7.523683325337738E10
1084.50/1077.37	c cleaning 499 clauses out of 1014 for limit 1.2321906534474352E11
1088.91/1081.72	c cleaning 508 clauses out of 1016 for limit 2.0300772112960062E11
1093.24/1086.03	c cleaning 503 clauses out of 1007 for limit 3.374412480536008E11
1097.66/1090.49	c cleaning 498 clauses out of 1005 for limit 5.581513458172488E11
1101.70/1094.47	c cleaning 496 clauses out of 1006 for limit 9.186317097636664E11
1105.61/1098.37	c cleaning 496 clauses out of 1011 for limit 1.508963227562179E12
1110.03/1102.71	c cleaning 501 clauses out of 1014 for limit 2.4786387344299644E12
1114.25/1106.98	c cleaning 507 clauses out of 1014 for limit 4.0916985579905757E12
1118.67/1111.33	c cleaning 495 clauses out of 1007 for limit 6.794664266100594E12
1122.79/1115.46	c cleaning 506 clauses out of 1012 for limit 1.114994814344294E13
1127.11/1119.76	c cleaning 502 clauses out of 1005 for limit 1.849731419498691E13
1131.31/1123.90	c cleaning 492 clauses out of 1003 for limit 3.0565372245389066E13
1135.73/1128.38	c cleaning 496 clauses out of 1011 for limit 5.0007524192261195E13
1140.14/1132.78	c cleaning 500 clauses out of 1016 for limit 8.214539081405977E13
1143.77/1136.39	c cleaning 502 clauses out of 1015 for limit 1.3546660319836117E14
1145.27/1137.88	c cleaning 497 clauses out of 1013 for limit 2.238436222488958E14
1146.78/1139.35	c cleaning 504 clauses out of 1016 for limit 3.6805807418410794E14
1148.29/1140.84	c cleaning 506 clauses out of 1012 for limit 6.093761208438551E14
1149.79/1142.30	c cleaning 503 clauses out of 1006 for limit 1.0109364384496052E15
1151.20/1143.79	c cleaning 495 clauses out of 1003 for limit 1.672155976297653E15
1152.70/1145.28	c cleaning 497 clauses out of 1009 for limit 2.7439547859505285E15
1154.22/1146.79	c cleaning 498 clauses out of 1011 for limit 4.511680498094525E15
1155.72/1148.22	c cleaning 499 clauses out of 1013 for limit 7.425674940682818E15
1157.12/1149.62	c cleaning 507 clauses out of 1015 for limit 1.2234035487672702E16
1158.53/1151.03	c cleaning 504 clauses out of 1008 for limit 2.0315669222764428E16
1159.93/1152.44	c cleaning 502 clauses out of 1004 for limit 3.3636735438828416E16
1161.34/1153.81	c cleaning 500 clauses out of 1001 for limit 5.5582087037387672E16
1162.75/1155.28	c cleaning 495 clauses out of 1002 for limit 9.166248030504614E-4
1164.26/1156.71	c cleaning 496 clauses out of 1006 for limit 0.0015041208128755343
1165.66/1158.20	c cleaning 498 clauses out of 1011 for limit 0.0024706995984539034
1167.06/1159.59	c cleaning 500 clauses out of 1012 for limit 0.004066417474402134
1168.57/1161.05	c cleaning 498 clauses out of 1012 for limit 0.006706066410886368
1169.98/1162.48	c cleaning 498 clauses out of 1015 for limit 0.01103755089144585
1171.49/1163.90	c cleaning 500 clauses out of 1016 for limit 0.01816629776882419
1172.90/1165.30	c cleaning 498 clauses out of 1016 for limit 0.029958655264627803
1174.40/1166.81	c cleaning 501 clauses out of 1018 for limit 0.04930876582890708
1175.90/1168.31	c cleaning 502 clauses out of 1017 for limit 0.0813967087347449
1177.30/1169.74	c cleaning 500 clauses out of 1017 for limit 0.13450293312379047
1178.71/1171.15	c cleaning 502 clauses out of 1016 for limit 0.22180961875809044
1180.12/1172.53	c cleaning 503 clauses out of 1016 for limit 0.36652642080720854
1181.54/1173.94	c cleaning 498 clauses out of 1011 for limit 0.6062261998404085
1182.94/1175.36	c cleaning 494 clauses out of 1012 for limit 0.9977614494348372
1184.35/1176.72	c cleaning 498 clauses out of 1019 for limit 1.6357745513480246
1185.76/1178.12	c cleaning 504 clauses out of 1020 for limit 2.6922713820983373
1187.26/1179.66	c cleaning 500 clauses out of 1016 for limit 4.4573956576733025
1188.67/1181.03	c cleaning 500 clauses out of 1016 for limit 7.35084173922612
1190.08/1182.47	c cleaning 500 clauses out of 1016 for limit 12.122521405998397
1191.48/1183.84	c cleaning 502 clauses out of 1016 for limit 19.99165952039129
1192.88/1185.21	c cleaning 499 clauses out of 1014 for limit 33.03394844305336
1194.19/1186.55	c cleaning 498 clauses out of 1015 for limit 54.42372786970168
1195.49/1187.85	c cleaning 502 clauses out of 1017 for limit 89.57550447610015
1196.80/1189.20	c cleaning 501 clauses out of 1015 for limit 148.01306789065114
1199.91/1192.25	c cleaning 501 clauses out of 1018 for limit 244.34995240063893
1203.12/1195.46	c cleaning 498 clauses out of 1013 for limit 403.3373414027461
1206.94/1199.29	c cleaning 506 clauses out of 1028 for limit 664.0324485611845
1210.26/1202.59	c cleaning 489 clauses out of 1009 for limit 1101.281856830265
1213.77/1206.04	c cleaning 501 clauses out of 1020 for limit 1796.5750575911857
1216.68/1208.93	c cleaning 496 clauses out of 1021 for limit 2965.8194308373177
1219.60/1211.88	c cleaning 496 clauses out of 1026 for limit 4872.069627825745
1222.71/1214.92	c cleaning 493 clauses out of 1027 for limit 8002.814588159061
1226.42/1218.64	c cleaning 504 clauses out of 1041 for limit 13111.728221519708
1229.43/1221.62	c cleaning 506 clauses out of 1032 for limit 21702.726579153416
1232.75/1224.99	c cleaning 497 clauses out of 1030 for limit 36003.99607597146
1237.96/1230.14	c cleaning 504 clauses out of 1034 for limit 59204.918883517894
1241.28/1233.42	c cleaning 494 clauses out of 1024 for limit 98000.25120132207
1243.60/1235.76	c cleaning 506 clauses out of 1032 for limit 160683.8980592313
1248.41/1240.54	c cleaning 509 clauses out of 1036 for limit 266620.35690502415
1252.62/1244.74	c cleaning 490 clauses out of 1014 for limit 443427.2106319441
1254.14/1246.29	c cleaning 496 clauses out of 1031 for limit 724267.6690531939
1255.55/1247.63	c cleaning 496 clauses out of 1032 for limit 1189680.7067693584
1256.97/1249.04	c cleaning 499 clauses out of 1037 for limit 1954437.3713341856
1258.60/1250.69	c cleaning 518 clauses out of 1037 for limit 3219905.5565986237
1259.90/1251.94	c cleaning 511 clauses out of 1022 for limit 5404187.597916336
1263.71/1255.79	c cleaning 502 clauses out of 1005 for limit 9008740.288032308
1266.72/1258.76	c cleaning 481 clauses out of 1006 for limit 1.4886464642255368E7
1269.22/1261.26	c cleaning 510 clauses out of 1021 for limit 2.4092487858148452E7
1272.74/1264.73	c cleaning 506 clauses out of 1012 for limit 4.012520619357749E7
1276.65/1268.67	c cleaning 509 clauses out of 1018 for limit 6.6576358946063735E7
1279.76/1271.77	c cleaning 503 clauses out of 1006 for limit 1.1077000846974936E8
1284.17/1276.16	c cleaning 475 clauses out of 994 for limit 1.8322261039001662E8
1287.08/1279.09	c cleaning 487 clauses out of 1020 for limit 2.9475126503144526E8
1290.61/1282.57	c cleaning 498 clauses out of 1039 for limit 4.8006855434694463E8
1294.22/1286.16	c cleaning 493 clauses out of 1033 for limit 7.899475899009199E8
1299.12/1291.01	c cleaning 501 clauses out of 1043 for limit 1.2941175111634934E9
1302.85/1294.71	c cleaning 500 clauses out of 1045 for limit 2.1364914253550885E9
1306.76/1298.65	c cleaning 522 clauses out of 1044 for limit 3.523208306146933E9
1310.06/1301.94	c cleaning 509 clauses out of 1019 for limit 5.934948947648292E9
1313.87/1305.74	c cleaning 496 clauses out of 1018 for limit 9.875870232205217E9
1316.88/1308.77	c cleaning 486 clauses out of 1014 for limit 1.62205281330942E10
1320.49/1312.32	c cleaning 501 clauses out of 1028 for limit 2.638552366400079E10
1323.80/1315.67	c cleaning 515 clauses out of 1030 for limit 4.355931385761648E10
1326.81/1318.68	c cleaning 505 clauses out of 1010 for limit 7.289205752401736E10
1330.62/1322.42	c cleaning 503 clauses out of 1006 for limit 1.2080752892447417E11
1334.13/1325.96	c cleaning 504 clauses out of 1008 for limit 1.9982963520810748E11
1336.95/1328.72	c cleaning 494 clauses out of 1012 for limit 3.3088105085827045E11
1341.55/1333.30	c cleaning 495 clauses out of 1016 for limit 5.4243232747840424E11
1344.56/1336.33	c cleaning 495 clauses out of 1017 for limit 8.900945857525509E11
1346.68/1338.49	c cleaning 487 clauses out of 1016 for limit 1.4605358470663967E12
1349.39/1341.12	c cleaning 496 clauses out of 1027 for limit 2.3780574840649194E12
1351.91/1343.61	c cleaning 497 clauses out of 1033 for limit 3.906765834930505E12
1356.12/1347.81	c cleaning 517 clauses out of 1035 for limit 6.42389935444117E12
1358.72/1350.40	c cleaning 486 clauses out of 1017 for limit 1.077059015127141E13
1360.83/1352.60	c cleaning 499 clauses out of 1033 for limit 1.752205511830117E13
1364.64/1356.32	c cleaning 517 clauses out of 1035 for limit 2.8869244100121125E13
1366.36/1358.00	c cleaning 508 clauses out of 1016 for limit 4.8402625307068836E13
1368.17/1359.85	c cleaning 496 clauses out of 1016 for limit 8.046386676492295E13
1370.68/1362.35	c cleaning 506 clauses out of 1012 for limit 1.321581307732505E14
1374.10/1365.74	c cleaning 501 clauses out of 1005 for limit 2.1924500785885594E14
1376.11/1367.75	c cleaning 501 clauses out of 1004 for limit 3.619244718842895E14
1379.63/1371.25	c cleaning 485 clauses out of 1003 for limit 5.974569481684226E14
1382.94/1374.52	c cleaning 490 clauses out of 1018 for limit 9.707684608958601E14
1385.15/1376.76	c cleaning 499 clauses out of 1031 for limit 1.5854925045443395E15
1387.06/1378.64	c cleaning 499 clauses out of 1029 for limit 2.6119197868216325E15
1389.08/1380.62	c cleaning 517 clauses out of 1035 for limit 4.3039112403457605E15
1391.39/1382.96	c cleaning 508 clauses out of 1018 for limit 7.216253233157803E15
1394.61/1386.18	c cleaning 488 clauses out of 1010 for limit 1.1994828871035326E16
1397.62/1389.17	c cleaning 506 clauses out of 1021 for limit 1.954839307942364E-4
1400.53/1392.05	c cleaning 498 clauses out of 1015 for limit 3.2428484282796534E-4
1404.13/1395.60	c cleaning 497 clauses out of 1015 for limit 5.337200444867933E-4
1407.34/1398.84	c cleaning 501 clauses out of 1016 for limit 8.775516988637899E-4
1410.16/1401.69	c cleaning 487 clauses out of 1015 for limit 0.0014486259611462373
1414.68/1406.10	c cleaning 493 clauses out of 1029 for limit 0.0023588337352890157
1418.50/1409.98	c cleaning 493 clauses out of 1035 for limit 0.0038636139947490714
1422.12/1413.54	c cleaning 497 clauses out of 1043 for limit 0.006329073958289503
1425.93/1417.35	c cleaning 506 clauses out of 1053 for limit 0.010411027108676568
1429.16/1420.51	c cleaning 500 clauses out of 1039 for limit 0.01726180450376282
1432.47/1423.89	c cleaning 498 clauses out of 1043 for limit 0.02847156678795761
1436.08/1427.45	c cleaning 498 clauses out of 1043 for limit 0.04685956259984349
1439.99/1431.37	c cleaning 505 clauses out of 1046 for limit 0.07713318294319806
1442.31/1433.65	c cleaning 499 clauses out of 1038 for limit 0.12779914132666767
1444.82/1436.15	c cleaning 504 clauses out of 1041 for limit 0.21057144160855296
1448.04/1439.35	c cleaning 497 clauses out of 1036 for limit 0.3485875080643535
1451.05/1442.38	c cleaning 501 clauses out of 1040 for limit 0.5732296350433792
1453.26/1444.51	c cleaning 505 clauses out of 1045 for limit 0.9464738973576324
1456.08/1447.37	c cleaning 497 clauses out of 1032 for limit 1.5679240695102445
1459.49/1450.71	c cleaning 498 clauses out of 1035 for limit 2.5782217131901772
1462.51/1453.73	c cleaning 500 clauses out of 1039 for limit 4.243947222537382
1466.34/1457.55	c cleaning 497 clauses out of 1037 for limit 6.998317296095682
1470.36/1461.50	c cleaning 498 clauses out of 1043 for limit 11.509262602937604
1474.47/1465.65	c cleaning 498 clauses out of 1043 for limit 18.942372066735178
1478.09/1469.26	c cleaning 500 clauses out of 1044 for limit 31.177375079349112
1481.70/1472.84	c cleaning 501 clauses out of 1044 for limit 51.41566234046561
1484.72/1475.83	c cleaning 502 clauses out of 1044 for limit 84.87618164532402
1488.73/1479.89	c cleaning 498 clauses out of 1045 for limit 140.25858852764998
1492.24/1483.37	c cleaning 498 clauses out of 1045 for limit 230.84279689367153
1497.27/1488.35	c cleaning 521 clauses out of 1046 for limit 379.94637797017526
1498.67/1489.72	c cleaning 506 clauses out of 1025 for limit 639.4197036556534
1499.98/1491.03	c cleaning 504 clauses out of 1018 for limit 1060.6777959751967
1501.29/1492.30	c cleaning 500 clauses out of 1015 for limit 1756.1257542755006
1502.40/1493.41	c cleaning 500 clauses out of 1015 for limit 2896.086299100634
1503.72/1494.71	c cleaning 502 clauses out of 1014 for limit 4775.963087323944
1505.12/1496.12	c cleaning 502 clauses out of 1013 for limit 7891.869042368172
1506.43/1497.50	c cleaning 498 clauses out of 1010 for limit 13040.352067495547
1507.74/1498.77	c cleaning 501 clauses out of 1014 for limit 21463.356845060272
1509.15/1500.12	c cleaning 497 clauses out of 1012 for limit 35430.43331873598
1510.56/1501.58	c cleaning 500 clauses out of 1015 for limit 58256.82623966579
1511.86/1502.88	c cleaning 502 clauses out of 1015 for limit 96073.29992799266
1513.37/1504.34	c cleaning 498 clauses out of 1012 for limit 158748.49368384128
1514.78/1505.70	c cleaning 500 clauses out of 1016 for limit 261289.12120045774
1516.09/1507.08	c cleaning 501 clauses out of 1014 for limit 430887.54879877396
1517.49/1508.46	c cleaning 502 clauses out of 1017 for limit 711336.1512411648
1518.80/1509.71	c cleaning 499 clauses out of 1012 for limit 1175351.2482921327
1520.02/1511.00	c cleaning 500 clauses out of 1012 for limit 1936373.132666552
1521.33/1512.27	c cleaning 498 clauses out of 1012 for limit 3193338.339130364
1522.53/1513.47	c cleaning 507 clauses out of 1015 for limit 5255932.803549112
1523.75/1514.67	c cleaning 504 clauses out of 1008 for limit 8727928.932491057
1525.05/1515.94	c cleaning 496 clauses out of 1004 for limit 1.4450867121922418E7
1526.36/1517.23	c cleaning 497 clauses out of 1007 for limit 2.3736655412189007E7
1527.57/1518.43	c cleaning 505 clauses out of 1011 for limit 3.902907323654368E7
1528.87/1519.72	c cleaning 502 clauses out of 1005 for limit 6.468367821602445E7
1530.18/1521.00	c cleaning 499 clauses out of 1010 for limit 1.0688994789058244E8
1531.39/1522.29	c cleaning 493 clauses out of 1005 for limit 1.760925545456663E8
1532.70/1523.54	c cleaning 501 clauses out of 1012 for limit 2.8839148279123205E8
1534.00/1524.83	c cleaning 497 clauses out of 1010 for limit 4.760613720607432E8
1535.31/1526.15	c cleaning 500 clauses out of 1014 for limit 7.827746659558153E8
1536.62/1527.45	c cleaning 500 clauses out of 1014 for limit 1.2909001418824754E9
1538.02/1528.85	c cleaning 501 clauses out of 1014 for limit 2.1288670274955707E9
1539.23/1530.07	c cleaning 506 clauses out of 1012 for limit 3.5142071115262947E9
1540.43/1531.29	c cleaning 503 clauses out of 1007 for limit 5.830003211665391E9
1541.74/1532.53	c cleaning 502 clauses out of 1005 for limit 9.64323169582704E9
1543.05/1533.86	c cleaning 493 clauses out of 1002 for limit 1.593464223197511E10
1544.36/1535.14	c cleaning 501 clauses out of 1008 for limit 2.609581601076636E10
1545.65/1536.40	c cleaning 496 clauses out of 1007 for limit 4.3078227974839134E10
1546.97/1537.72	c cleaning 496 clauses out of 1011 for limit 7.076068561679024E10
1548.17/1538.98	c cleaning 502 clauses out of 1016 for limit 1.1623579187632681E11
1549.48/1540.29	c cleaning 506 clauses out of 1013 for limit 1.920637996983484E11
1550.79/1541.59	c cleaning 504 clauses out of 1008 for limit 3.186286536854452E11
1552.20/1542.91	c cleaning 494 clauses out of 1003 for limit 5.275526426150847E11
1553.40/1544.10	c cleaning 493 clauses out of 1009 for limit 8.648314143204934E11
1554.81/1545.53	c cleaning 508 clauses out of 1017 for limit 1.4164200597518408E12
1556.11/1546.88	c cleaning 499 clauses out of 1009 for limit 2.354386410903103E12
1557.51/1548.27	c cleaning 505 clauses out of 1010 for limit 3.8788539001585728E12
1558.92/1549.67	c cleaning 497 clauses out of 1004 for limit 6.428541592160565E12
1560.23/1550.98	c cleaning 504 clauses out of 1008 for limit 1.057002556197324E13
1561.53/1552.24	c cleaning 496 clauses out of 1003 for limit 1.7500764144184361E13
1562.94/1553.64	c cleaning 496 clauses out of 1008 for limit 2.8746687747225016E13
1564.24/1554.91	c cleaning 497 clauses out of 1011 for limit 4.721919331107502E13
1565.55/1556.24	c cleaning 501 clauses out of 1019 for limit 7.764687484808636E13
1566.87/1557.52	c cleaning 506 clauses out of 1013 for limit 1.2816576898548277E14
1568.17/1558.81	c cleaning 503 clauses out of 1007 for limit 2.1262185824315403E14
1569.48/1560.12	c cleaning 502 clauses out of 1004 for limit 3.516896230122276E14
1570.78/1561.44	c cleaning 501 clauses out of 1003 for limit 5.811426276619369E14
1572.09/1562.79	c cleaning 496 clauses out of 1001 for limit 9.593364891232044E14
1573.50/1564.13	c cleaning 495 clauses out of 1006 for limit 1.5757868032166652E15
1574.90/1565.59	c cleaning 498 clauses out of 1011 for limit 2.585831199755005E15
1576.31/1566.92	c cleaning 506 clauses out of 1013 for limit 4.2559622626128275E15
1577.63/1568.29	c cleaning 498 clauses out of 1006 for limit 7.060421167506201E15
1579.14/1569.71	c cleaning 497 clauses out of 1008 for limit 1.1620476692115106E16
1580.44/1571.03	c cleaning 506 clauses out of 1012 for limit 1.9107081775309288E16
1581.64/1572.27	c cleaning 502 clauses out of 1005 for limit 3.1697877909418736E16
1582.95/1573.55	c cleaning 499 clauses out of 1004 for limit 5.237848540230234E-4
1584.15/1574.78	c cleaning 494 clauses out of 1005 for limit 8.629318011422835E-4
1585.46/1576.02	c cleaning 499 clauses out of 1011 for limit 0.0014146443431650201
1586.66/1577.27	c cleaning 498 clauses out of 1011 for limit 0.0023306048318439626
1587.97/1578.57	c cleaning 502 clauses out of 1014 for limit 0.0038359438542112114
1589.37/1579.95	c cleaning 499 clauses out of 1011 for limit 0.006338411290529113
1590.78/1581.33	c cleaning 499 clauses out of 1013 for limit 0.010442693359979997
1592.09/1582.60	c cleaning 497 clauses out of 1013 for limit 0.017204176950782277
1593.40/1583.91	c cleaning 501 clauses out of 1017 for limit 0.02828868710075593
1594.61/1585.19	c cleaning 502 clauses out of 1016 for limit 0.0466977465769443
1596.01/1586.53	c cleaning 499 clauses out of 1015 for limit 0.0771638678260954
1597.33/1587.80	c cleaning 500 clauses out of 1014 for limit 0.1271244067355636
1598.73/1589.22	c cleaning 498 clauses out of 1014 for limit 0.20964515310582058
1599.93/1590.48	c cleaning 502 clauses out of 1016 for limit 0.34505232671702446
1601.34/1591.80	c cleaning 501 clauses out of 1014 for limit 0.5701598088592632
1602.55/1593.05	c cleaning 498 clauses out of 1013 for limit 0.9411980025819109
1603.75/1594.26	c cleaning 498 clauses out of 1015 for limit 1.5491029713309088
1605.07/1595.52	c cleaning 502 clauses out of 1018 for limit 2.549699213494216
1606.27/1596.78	c cleaning 499 clauses out of 1015 for limit 4.213005838448969
1607.58/1598.08	c cleaning 501 clauses out of 1016 for limit 6.940971837541054
1608.90/1599.37	c cleaning 499 clauses out of 1015 for limit 11.457868536367029
1610.11/1600.59	c cleaning 500 clauses out of 1016 for limit 18.876960032519168
1611.41/1601.86	c cleaning 498 clauses out of 1016 for limit 31.130632408157574
1612.82/1603.20	c cleaning 503 clauses out of 1018 for limit 51.23771577731712
1614.23/1604.62	c cleaning 501 clauses out of 1016 for limit 84.74893105284978
1615.43/1605.86	c cleaning 499 clauses out of 1014 for limit 139.8979521601006
1616.65/1607.08	c cleaning 502 clauses out of 1015 for limit 230.4831374007593
1617.95/1608.33	c cleaning 502 clauses out of 1014 for limit 380.8532299184643
1619.26/1609.64	c cleaning 498 clauses out of 1011 for limit 629.3117168280504
1620.57/1610.92	c cleaning 497 clauses out of 1014 for limit 1035.7845223549625
1621.98/1612.34	c cleaning 500 clauses out of 1016 for limit 1703.0799628190057
1623.29/1613.68	c cleaning 502 clauses out of 1017 for limit 2808.6536878395123
1624.70/1615.08	c cleaning 499 clauses out of 1015 for limit 4640.972455705632
1626.10/1616.40	c cleaning 502 clauses out of 1015 for limit 7645.930853208455
1627.41/1617.79	c cleaning 499 clauses out of 1014 for limit 12634.232135231627
1628.83/1619.11	c cleaning 498 clauses out of 1015 for limit 20815.011343734157
1630.03/1620.40	c cleaning 501 clauses out of 1016 for limit 34258.65917635605
1631.43/1621.74	c cleaning 502 clauses out of 1017 for limit 56554.6119767296
1632.74/1623.06	c cleaning 502 clauses out of 1014 for limit 93448.51410300778
1634.05/1624.34	c cleaning 498 clauses out of 1011 for limit 154411.83171213753
1635.36/1625.62	c cleaning 497 clauses out of 1013 for limit 254143.0116281541
1636.56/1626.89	c cleaning 500 clauses out of 1017 for limit 417885.27026663354
1637.87/1628.14	c cleaning 502 clauses out of 1018 for limit 689160.9118992416
1639.18/1629.46	c cleaning 501 clauses out of 1014 for limit 1138720.9831716288
1640.38/1630.68	c cleaning 499 clauses out of 1013 for limit 1879757.0404051372
1641.69/1631.91	c cleaning 507 clauses out of 1015 for limit 3096959.4715930745
1642.90/1633.16	c cleaning 504 clauses out of 1008 for limit 5142767.836875139
1644.10/1634.38	c cleaning 501 clauses out of 1003 for limit 8514867.483882148
1645.42/1635.65	c cleaning 501 clauses out of 1002 for limit 1.405616970683922E7
1646.72/1636.90	c cleaning 499 clauses out of 1001 for limit 2.320366159421995E7
1647.94/1638.20	c cleaning 494 clauses out of 1002 for limit 3.822775253620852E7
1649.34/1639.51	c cleaning 499 clauses out of 1009 for limit 6.266798344960182E7
1650.64/1640.89	c cleaning 499 clauses out of 1011 for limit 1.0324668810824881E8
1652.06/1642.28	c cleaning 505 clauses out of 1010 for limit 1.700954806393309E8
1653.36/1643.54	c cleaning 495 clauses out of 1005 for limit 2.8190577568752164E8
1654.77/1644.90	c cleaning 505 clauses out of 1010 for limit 4.625988499729024E8
1656.07/1646.28	c cleaning 503 clauses out of 1006 for limit 7.66687425857283E8
1657.58/1647.77	c cleaning 497 clauses out of 1002 for limit 1.2681480990828035E9
1658.89/1649.09	c cleaning 497 clauses out of 1006 for limit 2.0851154901775475E9
1660.19/1650.32	c cleaning 505 clauses out of 1010 for limit 3.4284444755378685E9
1661.40/1651.53	c cleaning 502 clauses out of 1004 for limit 5.682064464069465E9
1662.60/1652.76	c cleaning 500 clauses out of 1001 for limit 9.389169236363823E9
1663.91/1654.07	c cleaning 492 clauses out of 1005 for limit 1.5484212291868763E10
1665.43/1655.53	c cleaning 495 clauses out of 1009 for limit 2.5332721718113342E10
1666.73/1656.83	c cleaning 498 clauses out of 1015 for limit 4.1571660811181656E10
1668.33/1658.42	c cleaning 508 clauses out of 1016 for limit 6.8421262693861885E10
1669.64/1659.75	c cleaning 504 clauses out of 1009 for limit 1.1373235322694612E11
1671.04/1661.11	c cleaning 502 clauses out of 1005 for limit 1.883063722398644E11
1672.35/1662.45	c cleaning 493 clauses out of 1002 for limit 3.1116069449433984E11
1673.66/1663.79	c cleaning 497 clauses out of 1009 for limit 5.095856320884635E11
1675.07/1665.10	c cleaning 499 clauses out of 1014 for limit 8.379059921910609E11
1676.38/1666.48	c cleaning 506 clauses out of 1013 for limit 1.380418177000898E12
1677.78/1667.82	c cleaning 503 clauses out of 1007 for limit 2.2900582602504707E12
1679.08/1669.14	c cleaning 502 clauses out of 1005 for limit 3.7879159922845913E12
1680.29/1670.33	c cleaning 500 clauses out of 1002 for limit 6.259217661227765E12
1681.39/1671.45	c cleaning 492 clauses out of 1003 for limit 1.0322318171666865E13
1682.61/1672.67	c cleaning 494 clauses out of 1010 for limit 1.6887998275809875E13
1683.81/1673.82	c cleaning 502 clauses out of 1016 for limit 2.7686096532213023E13
1685.12/1675.10	c cleaning 507 clauses out of 1014 for limit 4.574813233997212E13
1686.53/1676.54	c cleaning 504 clauses out of 1009 for limit 7.597051458146852E13
1687.83/1677.86	c cleaning 502 clauses out of 1004 for limit 1.2578356420534711E14
1689.24/1679.29	c cleaning 497 clauses out of 1003 for limit 2.0784858646920512E14
1690.54/1680.52	c cleaning 494 clauses out of 1005 for limit 3.417459069780415E14
1691.65/1681.65	c cleaning 497 clauses out of 1011 for limit 5.6024000212569775E14
1692.86/1682.89	c cleaning 500 clauses out of 1013 for limit 9.211645164509299E14
1694.07/1684.07	c cleaning 507 clauses out of 1014 for limit 1.5191445138989652E15
1695.37/1685.38	c cleaning 503 clauses out of 1006 for limit 2.5226699801424635E15
1696.67/1686.68	c cleaning 501 clauses out of 1004 for limit 4.172680245635287E15
1697.98/1687.93	c cleaning 493 clauses out of 1003 for limit 6.888168661988001E15
1699.19/1689.15	c cleaning 505 clauses out of 1010 for limit 1.1280782317975096E16
1700.40/1690.37	c cleaning 502 clauses out of 1004 for limit 1.8695980872145712E16
1701.71/1691.62	c cleaning 501 clauses out of 1003 for limit 3.0893807322766292E16
1703.01/1692.94	c cleaning 500 clauses out of 1001 for limit 5.0998765607523432E16
1704.32/1694.25	c cleaning 495 clauses out of 1002 for limit 8.410395501948007E-4
1705.62/1695.57	c cleaning 498 clauses out of 1006 for limit 0.0013800904008811061
1706.93/1696.89	c cleaning 498 clauses out of 1009 for limit 0.0022714581959771044
1708.14/1698.08	c cleaning 497 clauses out of 1011 for limit 0.003738528072528105
1709.34/1699.23	c cleaning 499 clauses out of 1013 for limit 0.006147007338108491
1710.56/1700.50	c cleaning 501 clauses out of 1014 for limit 0.010127240156896058
1711.76/1701.70	c cleaning 499 clauses out of 1013 for limit 0.016717660661505315
1713.17/1703.06	c cleaning 500 clauses out of 1015 for limit 0.027542877305765674
1714.47/1704.39	c cleaning 502 clauses out of 1016 for limit 0.045422605318777655
1715.78/1705.69	c cleaning 498 clauses out of 1012 for limit 0.07505369870341634
1717.18/1707.04	c cleaning 498 clauses out of 1015 for limit 0.12353128768384901
1718.59/1708.40	c cleaning 501 clauses out of 1018 for limit 0.20332258918775034
1719.90/1709.74	c cleaning 504 clauses out of 1018 for limit 0.3356417913713256
1721.20/1711.04	c cleaning 499 clauses out of 1012 for limit 0.5556869007884085
1722.41/1712.28	c cleaning 498 clauses out of 1012 for limit 0.9154856358258419
1723.82/1713.61	c cleaning 500 clauses out of 1014 for limit 1.5067804579620534
1725.03/1714.89	c cleaning 500 clauses out of 1015 for limit 2.48491930782416
1726.43/1716.30	c cleaning 500 clauses out of 1014 for limit 4.097903744385056
1727.64/1717.43	c cleaning 498 clauses out of 1014 for limit 6.757991482246055
1728.94/1718.75	c cleaning 500 clauses out of 1016 for limit 11.122893376436927
1730.36/1720.12	c cleaning 500 clauses out of 1016 for limit 18.34313917179914
1731.67/1721.47	c cleaning 500 clauses out of 1016 for limit 30.250290395553154
1732.97/1722.79	c cleaning 500 clauses out of 1017 for limit 49.88761040735463
1734.38/1724.16	c cleaning 501 clauses out of 1016 for limit 82.26996681940923
1735.68/1725.44	c cleaning 500 clauses out of 1015 for limit 135.80785030846835
1737.00/1726.71	c cleaning 499 clauses out of 1016 for limit 223.9688437511888
1738.31/1728.02	c cleaning 501 clauses out of 1017 for limit 368.99140484500583
1739.52/1729.25	c cleaning 501 clauses out of 1016 for limit 609.11512263368
1740.83/1730.53	c cleaning 499 clauses out of 1014 for limit 1005.487116209886
1741.93/1731.69	c cleaning 498 clauses out of 1015 for limit 1656.5490886877424
1743.35/1733.05	c cleaning 498 clauses out of 1017 for limit 2726.4986452946932
1744.65/1734.36	c cleaning 503 clauses out of 1019 for limit 4487.53596440981
1745.97/1735.66	c cleaning 502 clauses out of 1017 for limit 7422.523342160505
1747.27/1736.95	c cleaning 500 clauses out of 1015 for limit 12264.853631455375
1748.48/1738.11	c cleaning 500 clauses out of 1016 for limit 20226.703245617493
1749.58/1739.26	c cleaning 498 clauses out of 1015 for limit 33356.013714601366
1750.79/1740.49	c cleaning 503 clauses out of 1016 for limit 54899.43226355135
1752.10/1741.73	c cleaning 498 clauses out of 1013 for limit 90804.63203072578
1753.41/1743.03	c cleaning 502 clauses out of 1017 for limit 149458.7706991421
1755.83/1745.47	c cleaning 504 clauses out of 1013 for limit 246956.1107193424
1759.75/1749.37	c cleaning 500 clauses out of 1009 for limit 408878.18771326635
1762.35/1751.96	c cleaning 498 clauses out of 1009 for limit 674294.8302845282
1765.05/1754.68	c cleaning 499 clauses out of 1012 for limit 1109815.7466893075
1767.87/1757.44	c cleaning 500 clauses out of 1013 for limit 1828427.8878602895
1770.69/1760.27	c cleaning 500 clauses out of 1013 for limit 3015322.1897883355
1773.80/1763.31	c cleaning 499 clauses out of 1012 for limit 4972605.795378964
1776.30/1765.89	c cleaning 507 clauses out of 1014 for limit 8192510.149242403
1778.92/1768.40	c cleaning 498 clauses out of 1006 for limit 1.3604366948910797E7
1781.34/1770.83	c cleaning 498 clauses out of 1009 for limit 2.2391106254673254E7
1784.15/1773.61	c cleaning 499 clauses out of 1011 for limit 3.685288131487989E7
1786.87/1776.30	c cleaning 499 clauses out of 1012 for limit 6.071527670322133E7
1789.48/1778.90	c cleaning 506 clauses out of 1013 for limit 1.0002877096895432E8
1792.09/1781.55	c cleaning 503 clauses out of 1006 for limit 1.6594255501580912E8
1794.70/1784.19	c cleaning 494 clauses out of 1003 for limit 2.744800014502785E8
1797.51/1786.94	c cleaning 505 clauses out of 1010 for limit 4.4996700105469596E8
1800.03/1789.41	c starts		: 19
1800.03/1789.41	c conflicts		: 303469
1800.03/1789.41	c decisions		: 394887
1800.03/1789.41	c propagations		: 19379024
1800.03/1789.41	c inspects		: 164552475
1800.03/1789.41	c learnt literals	: 0
1800.03/1789.41	c learnt binary clauses	: 0
1800.03/1789.41	c learnt ternary clauses	: 0
1800.03/1789.41	c learnt clauses	: 303468
1800.03/1789.41	c root simplifications	: 0
1800.03/1789.41	c removed literals (reason simplification)	: 0
1800.03/1789.41	c reason swapping (by a shorter reason)	: 0
1800.03/1789.41	c Calls to reduceDB	: 435
1800.03/1789.41	c speed (decisions/second)	: 220.96351995451886
1800.03/1789.41	c non guided choices	27581
1800.03/1789.41	s UNKNOWN
1800.03/1789.41	c Total wall clock time (ms): 1789.215

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/node69/watcher-351274-1176593546 -o ROOT/results/node69/solver-351274-1176593546 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351274-1176593546/sat4jPseudoResolution.jar /tmp/evaluation/351274-1176593546/instance-351274-1176593546.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 1/64 3890
/proc/meminfo: memFree=1723292/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1800 CPUtime=0
/proc/3890/stat : 3890 (java) D 3888 3890 2808 0 -1 0 180 0 0 0 0 0 0 0 19 0 1 0 135344058 1843200 151 18446744073709551615 134512640 134550740 4294956592 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/3890/statm: 450 151 114 9 0 92 0

[startup+0.0274409 s]
/proc/loadavg: 0.92 0.98 0.99 1/64 3890
/proc/meminfo: memFree=1723292/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1774248 CPUtime=0.01
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 2613 0 1 0 0 1 0 0 19 0 4 0 135344058 1816829952 2361 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 443562 2362 433 9 0 441576 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1774248

[startup+0.10145 s]
/proc/loadavg: 0.92 0.98 0.99 1/64 3890
/proc/meminfo: memFree=1723292/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1780404 CPUtime=0.09
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 3992 0 1 0 7 2 0 0 19 0 12 0 135344058 1823133696 3733 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 445101 3733 1124 9 0 442720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1780404

[startup+0.301489 s]
/proc/loadavg: 0.92 0.98 0.99 1/64 3890
/proc/meminfo: memFree=1723292/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1781464 CPUtime=0.33
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 5158 0 1 0 30 3 0 0 19 0 12 0 135344058 1824219136 4896 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 445366 4896 1264 9 0 442978 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 1781464

[startup+0.701555 s]
/proc/loadavg: 0.92 0.98 0.99 1/64 3890
/proc/meminfo: memFree=1723292/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1783704 CPUtime=0.91
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 7753 0 1 0 87 4 0 0 19 0 12 0 135344058 1826512896 7227 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 445926 7227 1298 9 0 443538 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 1783704

[startup+1.50268 s]
/proc/loadavg: 0.92 0.98 0.99 3/76 3902
/proc/meminfo: memFree=1690620/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1785696 CPUtime=2
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 23482 0 1 0 190 10 0 0 19 0 12 0 135344058 1828552704 21762 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 446424 21763 1303 9 0 444036 0
[pid=3890/tid=3892] ppid=3888 vsize=1785696 CPUtime=1.12
/proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 19930 0 1 0 104 8 0 0 25 0 12 0 135344059 1828552704 21764 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109500800 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3893] ppid=3888 vsize=1785696 CPUtime=0
/proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 135344061 1828552704 21765 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3894] ppid=3888 vsize=1785696 CPUtime=0
/proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 135344061 1828552704 21766 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3895] ppid=3888 vsize=1785696 CPUtime=0
/proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 135344063 1828552704 21767 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3896] ppid=3888 vsize=1785696 CPUtime=0
/proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 135344064 1828552704 21769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3897] ppid=3888 vsize=1785696 CPUtime=0
/proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 135344064 1828552704 21770 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3898] ppid=3888 vsize=1785696 CPUtime=0
/proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 135344067 1828552704 21771 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3899] ppid=3888 vsize=1785696 CPUtime=0.46
/proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 1797 0 0 0 46 0 0 0 16 0 12 0 135344067 1828552704 21772 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3900] ppid=3888 vsize=1785696 CPUtime=0.38
/proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1036 0 0 0 38 0 0 0 16 0 12 0 135344068 1828552704 21773 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3901] ppid=3888 vsize=1785696 CPUtime=0
/proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 135344068 1828552704 21774 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3902] ppid=3888 vsize=1785696 CPUtime=0
/proc/3890/task/3902/stat : 3902 (java) R 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 135344068 1828552704 21775 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 1785696

[startup+3.10295 s]
/proc/loadavg: 0.92 0.98 0.99 2/76 3902
/proc/meminfo: memFree=1583932/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1786020 CPUtime=4.19
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 41656 0 1 0 401 18 0 0 19 0 13 0 135344058 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 446505 38711 1318 9 0 444117 0
[pid=3890/tid=3892] ppid=3888 vsize=1786020 CPUtime=2.5
/proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 36770 0 1 0 234 16 0 0 18 0 13 0 135344059 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109909420 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3893] ppid=3888 vsize=1786020 CPUtime=0
/proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 3 0 0 0 0 0 0 0 21 0 13 0 135344061 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3894] ppid=3888 vsize=1786020 CPUtime=0
/proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344061 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3895] ppid=3888 vsize=1786020 CPUtime=0
/proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 135344063 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3896] ppid=3888 vsize=1786020 CPUtime=0
/proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 135344064 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3897] ppid=3888 vsize=1786020 CPUtime=0
/proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 135344064 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3898] ppid=3888 vsize=1786020 CPUtime=0
/proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3899] ppid=3888 vsize=1786020 CPUtime=0.98
/proc/3890/task/3899/stat : 3899 (java) R 3888 3890 2808 0 -1 64 2318 0 0 0 98 0 0 0 17 0 13 0 135344067 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105056055 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3900] ppid=3888 vsize=1786020 CPUtime=0.69
/proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1842 0 0 0 68 1 0 0 16 0 13 0 135344068 1828884480 38711 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3901] ppid=3888 vsize=1786020 CPUtime=0
/proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1828884480 38712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3902] ppid=3888 vsize=1786020 CPUtime=0
/proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1828884480 38712 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 1786020

[startup+6.30246 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 3903
/proc/meminfo: memFree=1552500/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1786568 CPUtime=7.56
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 46850 0 1 0 735 21 0 0 19 0 13 0 135344058 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 446642 43697 1327 9 0 444254 0
[pid=3890/tid=3892] ppid=3888 vsize=1786568 CPUtime=5.56
/proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 37699 0 1 0 540 16 0 0 25 0 13 0 135344059 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761831 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3893] ppid=3888 vsize=1786568 CPUtime=0.11
/proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 1960 0 0 0 11 0 0 0 16 0 13 0 135344061 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3894] ppid=3888 vsize=1786568 CPUtime=0.12
/proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 2300 0 0 0 11 1 0 0 16 0 13 0 135344061 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3895] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 135344063 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3896] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3897] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3898] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3899] ppid=3888 vsize=1786568 CPUtime=1.01
/proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 2318 0 0 0 101 0 0 0 16 0 13 0 135344067 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3900] ppid=3888 vsize=1786568 CPUtime=0.7
/proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1842 0 0 0 69 1 0 0 16 0 13 0 135344068 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3901] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3902] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3903] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1829445632 43697 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 1786568

[startup+12.7025 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 3903
/proc/meminfo: memFree=1552500/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1786568 CPUtime=14.05
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 52038 0 1 0 1382 23 0 0 19 0 13 0 135344058 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 446642 48848 1327 9 0 444254 0
[pid=3890/tid=3892] ppid=3888 vsize=1786568 CPUtime=11.86
/proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 37703 0 1 0 1170 16 0 0 25 0 13 0 135344059 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761859 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3893] ppid=3888 vsize=1786568 CPUtime=0.21
/proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 4650 0 0 0 19 2 0 0 17 0 13 0 135344061 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3894] ppid=3888 vsize=1786568 CPUtime=0.21
/proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 4791 0 0 0 19 2 0 0 16 0 13 0 135344061 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3895] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135344063 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3896] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3897] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3898] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3899] ppid=3888 vsize=1786568 CPUtime=1.02
/proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 2318 0 0 0 102 0 0 0 17 0 13 0 135344067 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3900] ppid=3888 vsize=1786568 CPUtime=0.71
/proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1843 0 0 0 70 1 0 0 16 0 13 0 135344068 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3901] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3902] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3903] ppid=3888 vsize=1786568 CPUtime=0
/proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1829445632 48848 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.05
Current children cumulated vsize (KiB) 1786568

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 3903
/proc/meminfo: memFree=1532148/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1786184 CPUtime=26.9
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 52081 0 1 0 2667 23 0 0 19 0 13 0 135344058 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 446546 48759 1327 9 0 444158 0
[pid=3890/tid=3892] ppid=3888 vsize=1786184 CPUtime=24.65
/proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 37704 0 1 0 2449 16 0 0 25 0 13 0 135344059 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109909420 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3893] ppid=3888 vsize=1786184 CPUtime=0.21
/proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 4650 0 0 0 19 2 0 0 17 0 13 0 135344061 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3894] ppid=3888 vsize=1786184 CPUtime=0.21
/proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 4791 0 0 0 19 2 0 0 16 0 13 0 135344061 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3895] ppid=3888 vsize=1786184 CPUtime=0
/proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 135344063 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3896] ppid=3888 vsize=1786184 CPUtime=0
/proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1829052416 48759 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=3890] ppid=3888 vsize=1792328 CPUtime=1611.92
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 463766 0 1 0 160884 308 0 0 19 0 13 0 135344058 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 448082 38923 1332 9 0 445694 0
[pid=3890/tid=3892] ppid=3888 vsize=1792328 CPUtime=1590.13
/proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 45249 0 1 0 158987 26 0 0 18 0 13 0 135344059 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109797052 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3893] ppid=3888 vsize=1792328 CPUtime=8.82
/proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 207229 0 0 0 761 121 0 0 16 0 13 0 135344061 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3894] ppid=3888 vsize=1792328 CPUtime=8.83
/proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 202712 0 0 0 764 119 0 0 16 0 13 0 135344061 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3895] ppid=3888 vsize=1792328 CPUtime=1.77
/proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 918 0 0 0 141 36 0 0 15 0 13 0 135344063 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3896] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3897] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3898] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3899] ppid=3888 vsize=1792328 CPUtime=1.43
/proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 5084 0 0 0 142 1 0 0 17 0 13 0 135344067 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3900] ppid=3888 vsize=1792328 CPUtime=0.86
/proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1851 0 0 0 85 1 0 0 16 0 13 0 135344068 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3901] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3902] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3902/stat : 3902 (java) R 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3903] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1835343872 38923 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1611.92
Current children cumulated vsize (KiB) 1792328

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 3905
/proc/meminfo: memFree=1570164/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1792328 CPUtime=1672.25
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 464846 0 1 0 166916 309 0 0 19 0 13 0 135344058 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 448082 38376 1332 9 0 445694 0
[pid=3890/tid=3892] ppid=3888 vsize=1792328 CPUtime=1649.5
/proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 45325 0 1 0 164923 27 0 0 23 0 13 0 135344059 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109910208 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3893] ppid=3888 vsize=1792328 CPUtime=9.2
/proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 207868 0 0 0 798 122 0 0 16 0 13 0 135344061 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3894] ppid=3888 vsize=1792328 CPUtime=9.2
/proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 203075 0 0 0 801 119 0 0 16 0 13 0 135344061 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3895] ppid=3888 vsize=1792328 CPUtime=2
/proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 920 0 0 0 164 36 0 0 15 0 13 0 135344063 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3896] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3897] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3898] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3899] ppid=3888 vsize=1792328 CPUtime=1.43
/proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 5084 0 0 0 142 1 0 0 17 0 13 0 135344067 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3900] ppid=3888 vsize=1792328 CPUtime=0.86
/proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1851 0 0 0 85 1 0 0 16 0 13 0 135344068 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3901] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3902] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3903] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1835343872 38376 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1672.25
Current children cumulated vsize (KiB) 1792328

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/83 3977
/proc/meminfo: memFree=1572100/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1792328 CPUtime=1732.57
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 466673 0 1 0 172941 316 0 0 19 0 13 0 135344058 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 448082 37525 1332 9 0 445694 0
[pid=3890/tid=3892] ppid=3888 vsize=1792328 CPUtime=1708.98
/proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 45400 0 1 0 170867 31 0 0 18 0 13 0 135344059 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109909420 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3893] ppid=3888 vsize=1792328 CPUtime=9.55
/proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 208525 0 0 0 832 123 0 0 16 0 13 0 135344061 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3894] ppid=3888 vsize=1792328 CPUtime=9.57
/proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 203748 0 0 0 837 120 0 0 16 0 13 0 135344061 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3895] ppid=3888 vsize=1792328 CPUtime=2.12
/proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 1342 0 0 0 175 37 0 0 16 0 13 0 135344063 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3896] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3897] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3898] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3899] ppid=3888 vsize=1792328 CPUtime=1.43
/proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 5084 0 0 0 142 1 0 0 17 0 13 0 135344067 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3900] ppid=3888 vsize=1792328 CPUtime=0.86
/proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1851 0 0 0 85 1 0 0 16 0 13 0 135344068 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3901] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3902] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3903] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1835343872 37525 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1732.57
Current children cumulated vsize (KiB) 1792328

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4103
/proc/meminfo: memFree=1580276/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1792328 CPUtime=1792.89
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 466803 0 1 0 178965 324 0 0 19 0 13 0 135344058 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 448082 35769 1332 9 0 445694 0
[pid=3890/tid=3892] ppid=3888 vsize=1792328 CPUtime=1768.48
/proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 45520 0 1 0 176810 38 0 0 25 0 13 0 135344059 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109825568 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3893] ppid=3888 vsize=1792328 CPUtime=9.9
/proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 208525 0 0 0 867 123 0 0 16 0 13 0 135344061 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3894] ppid=3888 vsize=1792328 CPUtime=9.91
/proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 203748 0 0 0 871 120 0 0 16 0 13 0 135344061 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3895] ppid=3888 vsize=1792328 CPUtime=2.25
/proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 1352 0 0 0 187 38 0 0 16 0 13 0 135344063 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3896] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3897] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3898] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3899] ppid=3888 vsize=1792328 CPUtime=1.43
/proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 5084 0 0 0 142 1 0 0 17 0 13 0 135344067 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3900] ppid=3888 vsize=1792328 CPUtime=0.86
/proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1851 0 0 0 85 1 0 0 16 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3901] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3902] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3903] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1792.89
Current children cumulated vsize (KiB) 1792328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 4103
/proc/meminfo: memFree=1580276/2055920 swapFree=4184060/4192956
[pid=3890] ppid=3888 vsize=1792328 CPUtime=1800.03
/proc/3890/stat : 3890 (java) S 3888 3890 2808 0 -1 0 466821 0 1 0 179679 324 0 0 19 0 13 0 135344058 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3890/statm: 448082 35769 1332 9 0 445694 0
[pid=3890/tid=3892] ppid=3888 vsize=1792328 CPUtime=1775.54
/proc/3890/task/3892/stat : 3892 (java) R 3888 3890 2808 0 -1 64 45538 0 1 0 177516 38 0 0 25 0 13 0 135344059 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109761831 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3893] ppid=3888 vsize=1792328 CPUtime=9.94
/proc/3890/task/3893/stat : 3893 (java) S 3888 3890 2808 0 -1 64 208525 0 0 0 871 123 0 0 16 0 13 0 135344061 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3894] ppid=3888 vsize=1792328 CPUtime=9.95
/proc/3890/task/3894/stat : 3894 (java) S 3888 3890 2808 0 -1 64 203748 0 0 0 875 120 0 0 16 0 13 0 135344061 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3895] ppid=3888 vsize=1792328 CPUtime=2.25
/proc/3890/task/3895/stat : 3895 (java) S 3888 3890 2808 0 -1 64 1352 0 0 0 187 38 0 0 15 0 13 0 135344063 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3896] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3896/stat : 3896 (java) S 3888 3890 2808 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3897] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3897/stat : 3897 (java) S 3888 3890 2808 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 135344064 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3898] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3898/stat : 3898 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 135344067 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3899] ppid=3888 vsize=1792328 CPUtime=1.43
/proc/3890/task/3899/stat : 3899 (java) S 3888 3890 2808 0 -1 64 5084 0 0 0 142 1 0 0 17 0 13 0 135344067 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3900] ppid=3888 vsize=1792328 CPUtime=0.86
/proc/3890/task/3900/stat : 3900 (java) S 3888 3890 2808 0 -1 64 1851 0 0 0 85 1 0 0 16 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3890/tid=3901] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3901/stat : 3901 (java) S 3888 3890 2808 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3902] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3902/stat : 3902 (java) S 3888 3890 2808 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 135344068 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3890/tid=3903] ppid=3888 vsize=1792328 CPUtime=0
/proc/3890/task/3903/stat : 3903 (java) S 3888 3890 2808 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 135344289 1835343872 35769 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1792328

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

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

Child status: 143
Real time (s): 1789.5
CPU time (s): 1800.13
CPU user time (s): 1796.86
CPU system time (s): 3.2755
CPU usage (%): 100.594
Max. virtual memory (cumulated for all children) (KiB): 1793616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.86
system time used= 3.2755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466841
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= 49241
involuntary context switches= 36780

runsolver used 2.06069 second user time and 4.78727 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Sat Apr 14 23:32:26 UTC 2007

IDJOB= 351274
IDBENCH= 1715
IDSOLVER= 159
FILE ID= node69/351274-1176593546

PBS_JOBID= 4556966

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  ba437a46cdfe6ecad707b12b94061ac9

RANDOM SEED= 99862177

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node69.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.264
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	: 5931.00
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.264
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:       1723700 kB
Buffers:         11148 kB
Cached:         225984 kB
SwapCached:       2976 kB
Active:          60440 kB
Inactive:       187148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723700 kB
SwapTotal:     4192956 kB
SwapFree:      4184060 kB
Dirty:            5240 kB
Writeback:           0 kB
Mapped:          16448 kB
Slab:            70628 kB
Committed_AS:   771708 kB
PageTables:       1472 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= 66560 MiB

End job on node69 on Sun Apr 15 00:02:18 UTC 2007