Trace number 2068281

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT4J CSP 2.1.1? (TO) 1802.16 1812.33

General information on the benchmark

Namecsp/pseudo/routing/
normalized-s3-3-3-1.xml
MD5SUM8b74482a9fe920deb5d6814210633746
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.404937
Satisfiable
(Un)Satisfiability was proved
Number of variables216
Number of constraints584
Maximum constraint arity18
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension584
Global constraints used (with number of constraints)

Solver Data 

0.09/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.09/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.12	c See www.sat4j.org for details.
0.09/0.12	c That software uses the Rhino library from the Mozilla project.
0.09/0.14	c version 2.1.1.v20090622
0.09/0.14	c sun.arch.data.model	32
0.09/0.14	c java.version	1.6.0_12
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 671000808
0.09/0.14	c Max memory 672137216
0.09/0.14	c Total memory 672137216
0.09/0.14	c Number of processors 2
0.19/0.21	c c --- Begin Solver configuration ---
0.19/0.21	c Stops conflict analysis at the first Unique Implication Point
0.19/0.21	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1f14ceb
0.19/0.21	c Learn all clauses as in MiniSAT
0.19/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.19/0.21	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.19/0.21	c Expensive reason simplification
0.19/0.21	c MiniSAT restarts strategy
0.19/0.21	c Memory based learned constraints deletion strategy
0.19/0.21	c timeout=2147483s
0.19/0.21	c DB Simplification allowed=false
0.19/0.21	c --- End Solver configuration ---
0.19/0.21	c solving HOME/instance-2068281-1247346828.xml
0.19/0.21	c reading problem ... 
0.38/0.46	c reading problem named null
0.38/0.46	c reading domains done.
0.38/0.46	c reading variables done.
0.49/0.51	c reading predicates  done.
0.69/0.74	c reading constraints
84.72/85.23	c done with constraints.
84.72/85.23	c ... done. Wall clock time 85.023s.
84.72/85.23	c #vars     432
84.72/85.23	c #constraints  3135506
84.72/85.23	c constraints type 
84.72/85.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3134654
84.72/85.24	c org.sat4j.minisat.constraints.card.AtLeast => 216
84.72/85.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 636
251.90/254.17	c cleaning 94745 clauses out of 189500
419.33/422.32	c cleaning 97358 clauses out of 194753
457.88/461.23	c cleaning 53435 clauses out of 106896
481.45/484.95	c cleaning 35964 clauses out of 71960
519.00/522.47	c cleaning 41726 clauses out of 83497
528.19/531.68	c cleaning 24860 clauses out of 49770
533.37/536.87	c cleaning 12678 clauses out of 25410
537.43/540.99	c cleaning 6584 clauses out of 13232
554.66/558.13	c cleaning 24794 clauses out of 49648
569.54/573.10	c cleaning 25914 clauses out of 51855
577.59/581.05	c cleaning 15206 clauses out of 30441
581.19/584.60	c cleaning 7854 clauses out of 15735
592.18/595.61	c cleaning 15661 clauses out of 31380
596.18/599.66	c cleaning 8087 clauses out of 16219
599.68/603.17	c cleaning 4293 clauses out of 8632
602.28/605.74	c cleaning 2396 clauses out of 4839
610.38/613.87	c cleaning 13200 clauses out of 26443
615.16/618.60	c cleaning 10837 clauses out of 21743
622.57/626.10	c cleaning 14420 clauses out of 28906
626.53/630.11	c cleaning 7461 clauses out of 14986
640.68/644.34	c cleaning 21233 clauses out of 42525
648.19/652.00	c cleaning 12112 clauses out of 24292
660.24/664.08	c cleaning 19308 clauses out of 38680
666.04/669.88	c cleaning 10649 clauses out of 21372
684.83/688.69	c cleaning 26831 clauses out of 53722
693.02/696.86	c cleaning 19911 clauses out of 39892
702.32/706.16	c cleaning 16456 clauses out of 32980
707.34/711.16	c cleaning 8477 clauses out of 17024
729.92/733.98	c cleaning 19241 clauses out of 38548
734.81/738.89	c cleaning 9868 clauses out of 19807
738.81/742.85	c cleaning 5431 clauses out of 10939
741.81/745.88	c cleaning 2964 clauses out of 6008
747.31/751.39	c cleaning 5479 clauses out of 11044
749.81/753.85	c cleaning 2990 clauses out of 6065
752.12/756.18	c cleaning 1744 clauses out of 3575
754.42/758.49	c cleaning 1124 clauses out of 2331
761.11/765.16	c cleaning 9057 clauses out of 18207
766.31/770.32	c cleaning 7789 clauses out of 15650
771.00/775.10	c cleaning 7430 clauses out of 14861
773.90/777.90	c cleaning 3928 clauses out of 7931
785.60/789.64	c cleaning 14218 clauses out of 28503
790.39/794.47	c cleaning 8856 clauses out of 17785
793.29/797.31	c cleaning 4678 clauses out of 9429
795.60/799.66	c cleaning 2590 clauses out of 5251
798.09/802.17	c cleaning 2043 clauses out of 4161
800.39/804.41	c cleaning 1273 clauses out of 2618
802.69/806.78	c cleaning 922 clauses out of 1845
804.98/809.00	c cleaning 711 clauses out of 1423
808.08/812.13	c cleaning 3606 clauses out of 7212
810.46/814.59	c cleaning 2016 clauses out of 4106
814.31/818.41	c cleaning 3510 clauses out of 7090
816.78/820.93	c cleaning 2040 clauses out of 4080
819.26/823.49	c cleaning 1770 clauses out of 3540
821.63/825.86	c cleaning 1135 clauses out of 2270
824.00/828.22	c cleaning 782 clauses out of 1635
826.37/830.64	c cleaning 644 clauses out of 1353
829.64/833.91	c cleaning 2568 clauses out of 5209
832.11/836.42	c cleaning 1533 clauses out of 3141
834.49/838.83	c cleaning 1019 clauses out of 2108
836.76/841.13	c cleaning 757 clauses out of 1589
839.23/843.62	c cleaning 1129 clauses out of 2332
841.51/845.94	c cleaning 813 clauses out of 1703
843.98/848.49	c cleaning 662 clauses out of 1390
846.35/850.85	c cleaning 580 clauses out of 1228
848.62/853.17	c cleaning 542 clauses out of 1148
850.89/855.47	c cleaning 518 clauses out of 1106
853.27/857.83	c cleaning 511 clauses out of 1088
855.55/860.15	c cleaning 503 clauses out of 1077
857.83/862.47	c cleaning 504 clauses out of 1074
860.19/864.81	c cleaning 501 clauses out of 1070
862.47/867.19	c cleaning 499 clauses out of 1069
864.84/869.52	c cleaning 499 clauses out of 1070
867.12/871.85	c cleaning 501 clauses out of 1071
869.39/874.16	c cleaning 499 clauses out of 1070
871.77/876.50	c cleaning 501 clauses out of 1071
874.04/878.82	c cleaning 498 clauses out of 1070
876.32/881.14	c cleaning 501 clauses out of 1072
878.59/883.47	c cleaning 499 clauses out of 1071
880.96/885.87	c cleaning 503 clauses out of 1072
883.34/888.20	c cleaning 500 clauses out of 1069
885.61/890.56	c cleaning 502 clauses out of 1069
888.09/893.08	c cleaning 497 clauses out of 1067
891.15/896.13	c cleaning 501 clauses out of 1070
893.43/898.43	c cleaning 498 clauses out of 1069
895.70/900.74	c cleaning 501 clauses out of 1071
897.98/903.06	c cleaning 500 clauses out of 1070
900.34/905.41	c cleaning 501 clauses out of 1070
902.62/907.73	c cleaning 499 clauses out of 1069
904.90/910.06	c cleaning 502 clauses out of 1070
907.17/912.36	c cleaning 499 clauses out of 1068
909.44/914.67	c cleaning 501 clauses out of 1069
911.72/916.96	c cleaning 495 clauses out of 1068
913.99/919.26	c cleaning 498 clauses out of 1073
916.27/921.55	c cleaning 537 clauses out of 1075
918.54/923.87	c cleaning 480 clauses out of 1038
921.01/926.32	c cleaning 529 clauses out of 1058
923.29/928.64	c cleaning 480 clauses out of 1029
925.56/931.00	c cleaning 524 clauses out of 1049
927.84/933.29	c cleaning 476 clauses out of 1025
930.21/935.63	c cleaning 524 clauses out of 1049
932.48/937.98	c cleaning 477 clauses out of 1025
934.86/940.31	c cleaning 524 clauses out of 1048
937.14/942.62	c cleaning 474 clauses out of 1024
939.50/945.00	c cleaning 525 clauses out of 1050
941.78/947.32	c cleaning 477 clauses out of 1025
944.06/949.65	c cleaning 524 clauses out of 1048
946.33/951.96	c cleaning 476 clauses out of 1024
948.61/954.28	c cleaning 524 clauses out of 1048
950.88/956.58	c cleaning 476 clauses out of 1024
953.16/958.89	c cleaning 524 clauses out of 1048
955.53/961.20	c cleaning 475 clauses out of 1024
957.81/963.58	c cleaning 524 clauses out of 1049
960.17/965.90	c cleaning 479 clauses out of 1025
962.45/968.25	c cleaning 523 clauses out of 1046
964.73/970.57	c cleaning 499 clauses out of 1023
967.00/972.89	c cleaning 512 clauses out of 1024
969.28/975.19	c cleaning 487 clauses out of 1012
971.65/977.52	c cleaning 512 clauses out of 1025
973.93/979.81	c cleaning 481 clauses out of 1013
976.20/982.15	c cleaning 516 clauses out of 1032
978.48/984.47	c cleaning 496 clauses out of 1016
980.85/986.80	c cleaning 510 clauses out of 1020
983.12/989.12	c cleaning 498 clauses out of 1010
985.40/991.45	c cleaning 506 clauses out of 1012
987.67/993.77	c cleaning 466 clauses out of 1006
989.95/996.07	c cleaning 520 clauses out of 1040
992.23/998.37	c cleaning 472 clauses out of 1020
995.29/1001.44	c cleaning 524 clauses out of 1048
997.76/1003.96	c cleaning 512 clauses out of 1024
1000.13/1006.37	c cleaning 506 clauses out of 1012
1002.51/1008.73	c cleaning 503 clauses out of 1006
1004.78/1011.08	c cleaning 501 clauses out of 1003
1007.26/1013.52	c cleaning 501 clauses out of 1002
1009.54/1015.85	c cleaning 500 clauses out of 1001
1011.82/1018.19	c cleaning 500 clauses out of 1001
1014.19/1020.50	c cleaning 500 clauses out of 1001
1016.46/1022.86	c cleaning 500 clauses out of 1001
1018.74/1025.20	c cleaning 500 clauses out of 1001
1021.11/1027.55	c cleaning 500 clauses out of 1001
1023.38/1029.89	c cleaning 500 clauses out of 1001
1025.76/1032.23	c cleaning 500 clauses out of 1001
1028.03/1034.55	c cleaning 463 clauses out of 1001
1030.31/1036.86	c cleaning 484 clauses out of 1038
1033.18/1039.80	c cleaning 494 clauses out of 1053
1035.65/1042.21	c cleaning 497 clauses out of 1059
1038.02/1044.62	c cleaning 498 clauses out of 1062
1040.29/1046.96	c cleaning 500 clauses out of 1064
1042.57/1049.29	c cleaning 501 clauses out of 1064
1044.94/1051.64	c cleaning 497 clauses out of 1063
1047.21/1053.93	c cleaning 499 clauses out of 1066
1049.49/1056.22	c cleaning 500 clauses out of 1067
1051.87/1058.66	c cleaning 501 clauses out of 1067
1054.24/1061.02	c cleaning 501 clauses out of 1066
1056.51/1063.35	c cleaning 498 clauses out of 1065
1058.79/1065.65	c cleaning 500 clauses out of 1067
1061.16/1068.05	c cleaning 501 clauses out of 1067
1063.44/1070.39	c cleaning 500 clauses out of 1066
1065.71/1072.70	c cleaning 500 clauses out of 1066
1067.99/1074.99	c cleaning 501 clauses out of 1066
1070.36/1077.35	c cleaning 499 clauses out of 1065
1072.64/1079.68	c cleaning 500 clauses out of 1066
1075.01/1082.04	c cleaning 499 clauses out of 1066
1077.28/1084.37	c cleaning 500 clauses out of 1067
1079.66/1086.74	c cleaning 501 clauses out of 1067
1082.03/1089.11	c cleaning 499 clauses out of 1066
1084.30/1091.45	c cleaning 499 clauses out of 1067
1086.58/1093.75	c cleaning 501 clauses out of 1068
1088.86/1096.07	c cleaning 501 clauses out of 1067
1091.13/1098.37	c cleaning 501 clauses out of 1066
1093.41/1100.69	c cleaning 497 clauses out of 1065
1095.68/1103.00	c cleaning 500 clauses out of 1068
1098.06/1105.32	c cleaning 501 clauses out of 1068
1100.33/1107.65	c cleaning 499 clauses out of 1067
1102.61/1109.97	c cleaning 500 clauses out of 1068
1104.88/1112.28	c cleaning 501 clauses out of 1068
1107.25/1114.68	c cleaning 502 clauses out of 1067
1109.53/1116.99	c cleaning 501 clauses out of 1065
1111.90/1119.36	c cleaning 500 clauses out of 1064
1114.17/1121.70	c cleaning 501 clauses out of 1064
1116.55/1124.05	c cleaning 501 clauses out of 1063
1118.83/1126.37	c cleaning 496 clauses out of 1062
1121.10/1128.69	c cleaning 497 clauses out of 1066
1123.47/1131.00	c cleaning 500 clauses out of 1069
1125.75/1133.30	c cleaning 498 clauses out of 1069
1128.02/1135.64	c cleaning 502 clauses out of 1071
1130.30/1137.94	c cleaning 534 clauses out of 1069
1132.57/1140.24	c cleaning 483 clauses out of 1035
1134.84/1142.55	c cleaning 526 clauses out of 1052
1137.12/1144.89	c cleaning 479 clauses out of 1026
1139.50/1147.22	c cleaning 523 clauses out of 1047
1141.69/1149.41	c cleaning 479 clauses out of 1024
1143.79/1151.59	c cleaning 522 clauses out of 1045
1146.09/1153.87	c cleaning 478 clauses out of 1023
1148.59/1156.31	c cleaning 522 clauses out of 1045
1150.78/1158.58	c cleaning 477 clauses out of 1023
1153.08/1160.81	c cleaning 523 clauses out of 1046
1155.48/1163.28	c cleaning 478 clauses out of 1023
1157.68/1165.48	c cleaning 522 clauses out of 1045
1159.98/1167.71	c cleaning 477 clauses out of 1023
1162.18/1169.90	c cleaning 523 clauses out of 1046
1164.38/1172.13	c cleaning 480 clauses out of 1023
1166.57/1174.35	c cleaning 521 clauses out of 1043
1168.77/1176.54	c cleaning 476 clauses out of 1022
1170.97/1178.73	c cleaning 523 clauses out of 1046
1173.17/1180.99	c cleaning 477 clauses out of 1023
1175.47/1183.20	c cleaning 523 clauses out of 1046
1177.57/1185.38	c cleaning 475 clauses out of 1023
1179.77/1187.55	c cleaning 524 clauses out of 1048
1182.28/1190.08	c cleaning 480 clauses out of 1025
1184.58/1192.38	c cleaning 522 clauses out of 1045
1186.88/1194.64	c cleaning 502 clauses out of 1023
1189.08/1196.86	c cleaning 510 clauses out of 1021
1191.28/1199.08	c cleaning 472 clauses out of 1011
1193.48/1201.28	c cleaning 519 clauses out of 1039
1195.87/1203.70	c cleaning 476 clauses out of 1019
1198.37/1206.17	c cleaning 521 clauses out of 1043
1200.96/1208.75	c cleaning 479 clauses out of 1023
1203.27/1211.09	c cleaning 522 clauses out of 1044
1205.57/1213.36	c cleaning 511 clauses out of 1022
1207.86/1215.66	c cleaning 505 clauses out of 1011
1210.16/1217.92	c cleaning 503 clauses out of 1006
1212.45/1220.28	c cleaning 501 clauses out of 1003
1214.65/1222.48	c cleaning 488 clauses out of 1002
1216.95/1224.73	c cleaning 507 clauses out of 1014
1219.15/1226.92	c cleaning 491 clauses out of 1007
1221.45/1229.30	c cleaning 508 clauses out of 1016
1223.64/1231.49	c cleaning 504 clauses out of 1008
1226.04/1233.83	c cleaning 502 clauses out of 1004
1228.24/1236.05	c cleaning 501 clauses out of 1002
1230.54/1238.32	c cleaning 500 clauses out of 1001
1232.74/1240.52	c cleaning 500 clauses out of 1001
1234.94/1242.75	c cleaning 500 clauses out of 1001
1237.14/1244.94	c cleaning 500 clauses out of 1001
1239.44/1247.25	c cleaning 467 clauses out of 1001
1241.63/1249.44	c cleaning 482 clauses out of 1034
1243.83/1251.67	c cleaning 492 clauses out of 1052
1246.03/1253.87	c cleaning 493 clauses out of 1060
1248.34/1256.14	c cleaning 499 clauses out of 1067
1250.54/1258.36	c cleaning 499 clauses out of 1068
1252.73/1260.60	c cleaning 499 clauses out of 1069
1255.03/1262.85	c cleaning 499 clauses out of 1070
1257.42/1265.21	c cleaning 505 clauses out of 1071
1259.62/1267.42	c cleaning 498 clauses out of 1066
1262.02/1269.82	c cleaning 498 clauses out of 1067
1264.22/1272.10	c cleaning 501 clauses out of 1070
1266.72/1274.52	c cleaning 502 clauses out of 1068
1268.92/1276.77	c cleaning 500 clauses out of 1066
1271.21/1279.08	c cleaning 497 clauses out of 1067
1273.51/1281.33	c cleaning 498 clauses out of 1069
1275.92/1283.75	c cleaning 503 clauses out of 1072
1278.12/1286.00	c cleaning 499 clauses out of 1069
1280.41/1288.29	c cleaning 496 clauses out of 1069
1282.81/1290.63	c cleaning 503 clauses out of 1073
1285.01/1292.86	c cleaning 501 clauses out of 1070
1287.30/1295.13	c cleaning 500 clauses out of 1069
1289.50/1297.35	c cleaning 499 clauses out of 1069
1291.70/1299.57	c cleaning 503 clauses out of 1070
1293.90/1301.76	c cleaning 496 clauses out of 1067
1296.11/1303.95	c cleaning 499 clauses out of 1071
1298.30/1306.13	c cleaning 498 clauses out of 1072
1300.60/1308.43	c cleaning 502 clauses out of 1075
1302.80/1310.62	c cleaning 501 clauses out of 1073
1305.00/1312.86	c cleaning 499 clauses out of 1072
1307.20/1315.06	c cleaning 500 clauses out of 1073
1309.50/1317.34	c cleaning 501 clauses out of 1073
1311.70/1319.56	c cleaning 500 clauses out of 1072
1314.00/1321.81	c cleaning 500 clauses out of 1072
1316.19/1324.03	c cleaning 496 clauses out of 1071
1318.59/1326.42	c cleaning 503 clauses out of 1075
1320.79/1328.67	c cleaning 503 clauses out of 1072
1322.99/1330.89	c cleaning 500 clauses out of 1069
1325.19/1333.10	c cleaning 500 clauses out of 1069
1327.49/1335.39	c cleaning 499 clauses out of 1069
1329.79/1337.65	c cleaning 501 clauses out of 1070
1331.99/1339.88	c cleaning 500 clauses out of 1069
1334.19/1342.09	c cleaning 499 clauses out of 1069
1336.48/1344.35	c cleaning 502 clauses out of 1070
1338.88/1346.74	c cleaning 534 clauses out of 1069
1341.08/1349.00	c cleaning 478 clauses out of 1035
1343.38/1351.22	c cleaning 528 clauses out of 1057
1345.58/1353.47	c cleaning 476 clauses out of 1029
1347.77/1355.70	c cleaning 526 clauses out of 1053
1350.37/1358.26	c cleaning 480 clauses out of 1027
1352.57/1360.50	c cleaning 523 clauses out of 1047
1354.87/1362.79	c cleaning 477 clauses out of 1024
1357.07/1364.99	c cleaning 523 clauses out of 1047
1359.47/1367.38	c cleaning 478 clauses out of 1024
1361.77/1369.60	c cleaning 523 clauses out of 1046
1364.06/1371.96	c cleaning 474 clauses out of 1023
1366.36/1374.20	c cleaning 524 clauses out of 1049
1368.74/1376.63	c cleaning 478 clauses out of 1025
1371.03/1378.93	c cleaning 523 clauses out of 1047
1373.42/1381.37	c cleaning 477 clauses out of 1024
1375.81/1383.76	c cleaning 523 clauses out of 1047
1378.89/1386.80	c cleaning 509 clauses out of 1023
1381.18/1389.19	c cleaning 507 clauses out of 1014
1383.57/1391.53	c cleaning 472 clauses out of 1007
1385.86/1393.84	c cleaning 517 clauses out of 1035
1388.15/1396.17	c cleaning 493 clauses out of 1018
1390.44/1398.48	c cleaning 512 clauses out of 1025
1392.73/1400.79	c cleaning 473 clauses out of 1013
1395.12/1403.10	c cleaning 520 clauses out of 1040
1397.41/1405.49	c cleaning 510 clauses out of 1020
1399.80/1407.81	c cleaning 505 clauses out of 1010
1402.09/1410.13	c cleaning 471 clauses out of 1005
1404.37/1412.46	c cleaning 517 clauses out of 1034
1406.76/1414.87	c cleaning 477 clauses out of 1017
1409.15/1417.27	c cleaning 520 clauses out of 1040
1411.54/1419.67	c cleaning 478 clauses out of 1020
1413.93/1422.08	c cleaning 521 clauses out of 1042
1416.41/1424.54	c cleaning 501 clauses out of 1021
1418.90/1427.00	c cleaning 510 clauses out of 1020
1421.09/1429.21	c cleaning 488 clauses out of 1010
1423.29/1431.42	c cleaning 511 clauses out of 1022
1425.49/1433.65	c cleaning 505 clauses out of 1011
1427.69/1435.84	c cleaning 503 clauses out of 1006
1429.89/1438.00	c cleaning 500 clauses out of 1003
1431.98/1440.19	c cleaning 501 clauses out of 1003
1434.37/1442.59	c cleaning 467 clauses out of 1002
1436.95/1445.14	c cleaning 517 clauses out of 1035
1439.55/1447.73	c cleaning 509 clauses out of 1018
1441.65/1449.89	c cleaning 504 clauses out of 1009
1443.85/1452.03	c cleaning 502 clauses out of 1005
1446.05/1454.21	c cleaning 501 clauses out of 1003
1448.15/1456.36	c cleaning 501 clauses out of 1002
1450.34/1458.59	c cleaning 465 clauses out of 1001
1452.65/1460.83	c cleaning 484 clauses out of 1036
1454.94/1463.12	c cleaning 494 clauses out of 1052
1457.16/1465.69	c cleaning 497 clauses out of 1058
1459.85/1468.33	c cleaning 497 clauses out of 1061
1462.33/1470.89	c cleaning 500 clauses out of 1064
1464.92/1473.43	c cleaning 501 clauses out of 1064
1467.41/1475.95	c cleaning 496 clauses out of 1063
1469.90/1478.48	c cleaning 498 clauses out of 1067
1472.48/1481.00	c cleaning 500 clauses out of 1069
1475.07/1483.63	c cleaning 501 clauses out of 1069
1477.56/1486.15	c cleaning 501 clauses out of 1068
1480.14/1488.70	c cleaning 498 clauses out of 1067
1482.63/1491.24	c cleaning 500 clauses out of 1069
1485.22/1493.81	c cleaning 501 clauses out of 1069
1487.70/1496.33	c cleaning 500 clauses out of 1068
1490.19/1498.84	c cleaning 500 clauses out of 1068
1492.68/1501.35	c cleaning 501 clauses out of 1068
1495.26/1503.91	c cleaning 500 clauses out of 1067
1497.75/1506.45	c cleaning 500 clauses out of 1067
1500.25/1508.99	c cleaning 499 clauses out of 1067
1502.83/1511.53	c cleaning 501 clauses out of 1068
1505.32/1514.08	c cleaning 501 clauses out of 1067
1508.11/1516.84	c cleaning 499 clauses out of 1067
1510.69/1519.48	c cleaning 502 clauses out of 1068
1513.18/1521.98	c cleaning 495 clauses out of 1066
1515.77/1524.53	c cleaning 497 clauses out of 1071
1518.25/1527.08	c cleaning 500 clauses out of 1074
1520.84/1529.62	c cleaning 501 clauses out of 1074
1523.33/1532.17	c cleaning 500 clauses out of 1073
1525.82/1534.67	c cleaning 498 clauses out of 1073
1528.40/1537.24	c cleaning 500 clauses out of 1075
1530.89/1539.75	c cleaning 501 clauses out of 1075
1533.48/1542.31	c cleaning 500 clauses out of 1074
1535.96/1544.85	c cleaning 500 clauses out of 1074
1538.85/1547.75	c cleaning 504 clauses out of 1073
1541.44/1550.35	c cleaning 501 clauses out of 1069
1544.22/1553.19	c cleaning 502 clauses out of 1069
1546.81/1555.75	c cleaning 501 clauses out of 1067
1549.60/1558.56	c cleaning 500 clauses out of 1066
1552.58/1561.55	c cleaning 499 clauses out of 1065
1555.17/1564.16	c cleaning 496 clauses out of 1066
1558.45/1567.41	c cleaning 504 clauses out of 1070
1561.03/1570.02	c cleaning 503 clauses out of 1066
1563.62/1572.68	c cleaning 531 clauses out of 1063
1566.21/1575.22	c cleaning 484 clauses out of 1032
1568.79/1577.83	c cleaning 524 clauses out of 1048
1571.28/1580.36	c cleaning 481 clauses out of 1024
1573.97/1583.09	c cleaning 521 clauses out of 1043
1576.55/1585.70	c cleaning 481 clauses out of 1022
1579.14/1588.28	c cleaning 520 clauses out of 1041
1581.73/1590.88	c cleaning 479 clauses out of 1021
1584.31/1593.43	c cleaning 521 clauses out of 1042
1586.80/1595.95	c cleaning 479 clauses out of 1021
1589.39/1598.51	c cleaning 521 clauses out of 1042
1591.88/1601.06	c cleaning 480 clauses out of 1021
1594.66/1603.85	c cleaning 520 clauses out of 1041
1597.25/1606.40	c cleaning 481 clauses out of 1021
1599.84/1609.01	c cleaning 520 clauses out of 1040
1602.33/1611.57	c cleaning 510 clauses out of 1020
1605.31/1614.57	c cleaning 504 clauses out of 1011
1608.20/1617.46	c cleaning 473 clauses out of 1007
1610.98/1620.25	c cleaning 516 clauses out of 1034
1613.77/1623.01	c cleaning 485 clauses out of 1018
1616.46/1625.80	c cleaning 515 clauses out of 1033
1619.34/1628.62	c cleaning 474 clauses out of 1018
1622.03/1631.34	c cleaning 521 clauses out of 1044
1624.61/1633.93	c cleaning 496 clauses out of 1023
1627.30/1636.69	c cleaning 513 clauses out of 1027
1630.08/1639.48	c cleaning 481 clauses out of 1014
1632.77/1642.18	c cleaning 516 clauses out of 1033
1635.46/1644.83	c cleaning 508 clauses out of 1017
1638.14/1647.51	c cleaning 503 clauses out of 1009
1640.83/1650.23	c cleaning 503 clauses out of 1006
1643.42/1652.89	c cleaning 500 clauses out of 1003
1646.01/1655.48	c cleaning 501 clauses out of 1003
1648.69/1658.13	c cleaning 500 clauses out of 1002
1651.48/1660.95	c cleaning 501 clauses out of 1002
1654.16/1663.69	c cleaning 499 clauses out of 1001
1656.85/1666.38	c cleaning 501 clauses out of 1002
1659.43/1668.90	c cleaning 499 clauses out of 1001
1661.72/1671.28	c cleaning 501 clauses out of 1002
1664.11/1673.64	c cleaning 500 clauses out of 1001
1666.40/1675.99	c cleaning 500 clauses out of 1001
1668.79/1678.32	c cleaning 500 clauses out of 1001
1671.28/1680.85	c cleaning 500 clauses out of 1001
1673.76/1683.32	c cleaning 500 clauses out of 1001
1676.15/1685.74	c cleaning 500 clauses out of 1001
1678.54/1688.14	c cleaning 500 clauses out of 1001
1680.93/1690.54	c cleaning 500 clauses out of 1001
1683.31/1692.91	c cleaning 500 clauses out of 1001
1685.70/1695.30	c cleaning 500 clauses out of 1001
1688.09/1697.71	c cleaning 461 clauses out of 1001
1690.68/1700.34	c cleaning 486 clauses out of 1040
1693.17/1702.82	c cleaning 491 clauses out of 1054
1695.55/1705.29	c cleaning 496 clauses out of 1063
1697.94/1707.67	c cleaning 493 clauses out of 1067
1700.33/1710.05	c cleaning 500 clauses out of 1074
1702.72/1712.40	c cleaning 499 clauses out of 1074
1705.01/1714.74	c cleaning 499 clauses out of 1075
1707.29/1717.09	c cleaning 499 clauses out of 1076
1709.78/1719.54	c cleaning 503 clauses out of 1077
1712.27/1722.04	c cleaning 499 clauses out of 1074
1714.66/1724.44	c cleaning 500 clauses out of 1075
1717.04/1726.82	c cleaning 498 clauses out of 1075
1719.53/1729.32	c cleaning 502 clauses out of 1077
1721.92/1731.74	c cleaning 500 clauses out of 1075
1724.31/1734.12	c cleaning 498 clauses out of 1075
1726.60/1736.48	c cleaning 498 clauses out of 1077
1729.09/1738.96	c cleaning 504 clauses out of 1079
1731.47/1741.37	c cleaning 500 clauses out of 1075
1733.96/1743.82	c cleaning 501 clauses out of 1075
1736.35/1746.25	c cleaning 498 clauses out of 1074
1738.74/1748.64	c cleaning 502 clauses out of 1076
1741.03/1750.99	c cleaning 500 clauses out of 1074
1743.41/1753.35	c cleaning 500 clauses out of 1074
1745.70/1755.69	c cleaning 499 clauses out of 1074
1748.09/1758.08	c cleaning 503 clauses out of 1075
1750.49/1760.46	c cleaning 496 clauses out of 1072
1752.87/1762.82	c cleaning 498 clauses out of 1076
1755.26/1765.21	c cleaning 498 clauses out of 1078
1757.55/1767.56	c cleaning 500 clauses out of 1080
1759.94/1769.97	c cleaning 501 clauses out of 1080
1762.33/1772.33	c cleaning 498 clauses out of 1079
1764.62/1774.67	c cleaning 499 clauses out of 1081
1767.00/1777.00	c cleaning 501 clauses out of 1082
1769.39/1779.48	c cleaning 504 clauses out of 1081
1771.78/1781.81	c cleaning 502 clauses out of 1077
1774.07/1784.20	c cleaning 498 clauses out of 1075
1776.46/1786.55	c cleaning 500 clauses out of 1077
1778.84/1788.93	c cleaning 501 clauses out of 1077
1781.13/1791.29	c cleaning 500 clauses out of 1076
1783.52/1793.65	c cleaning 500 clauses out of 1076
1785.81/1795.98	c cleaning 501 clauses out of 1076
1788.20/1798.32	c cleaning 500 clauses out of 1075
1790.49/1800.65	c cleaning 500 clauses out of 1075
1792.87/1803.00	c cleaning 537 clauses out of 1075
1795.16/1805.35	c cleaning 482 clauses out of 1038
1797.55/1807.71	c cleaning 528 clauses out of 1056
1799.84/1810.06	c cleaning 474 clauses out of 1028

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2068281-1247346828/watcher-2068281-1247346828 -o /tmp/evaluation-result-2068281-1247346828/solver-2068281-1247346828 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2068281-1247346828.xml 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.96 2.12 2.07 4/83 16628
/proc/meminfo: memFree=715152/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=152 CPUtime=0
/proc/16628/stat : 16628 (java) R 16626 16628 15011 0 -1 0 204 0 0 0 0 0 0 0 18 0 1 0 21749705 155648 26 996147200 134512640 134550932 4294956016 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 0 0 0
/proc/16628/statm: 38 26 19 9 0 4 0

[startup+0.0772249 s]
/proc/loadavg: 1.96 2.12 2.07 4/83 16628
/proc/meminfo: memFree=715152/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=802164 CPUtime=0.06
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 2870 0 1 0 5 1 0 0 18 0 7 0 21749705 821415936 2615 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/16628/statm: 200541 2616 1040 9 0 197892 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 802164

[startup+0.101229 s]
/proc/loadavg: 1.96 2.12 2.07 4/83 16628
/proc/meminfo: memFree=715152/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=804560 CPUtime=0.09
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 3077 0 1 0 8 1 0 0 18 0 12 0 21749705 823869440 2820 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16628/statm: 201140 2820 1083 9 0 198474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804560

[startup+0.301265 s]
/proc/loadavg: 1.96 2.12 2.07 4/83 16628
/proc/meminfo: memFree=715152/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=805888 CPUtime=0.28
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 4395 0 1 0 25 3 0 0 18 0 12 0 21749705 825229312 4132 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16628/statm: 201472 4132 1365 9 0 198799 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 805888

[startup+0.701332 s]
/proc/loadavg: 1.96 2.12 2.07 4/83 16628
/proc/meminfo: memFree=715152/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=807300 CPUtime=0.69
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 6397 0 1 0 63 6 0 0 18 0 12 0 21749705 826675200 5785 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16628/statm: 201825 5785 1387 9 0 199152 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 807300

[startup+1.50247 s]
/proc/loadavg: 1.96 2.12 2.07 4/95 16640
/proc/meminfo: memFree=695664/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=810108 CPUtime=1.48
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 9171 0 1 0 141 7 0 0 18 0 12 0 21749705 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16628/statm: 202527 7137 1407 9 0 199854 0
[pid=16628/tid=16630] ppid=16626 vsize=810108 CPUtime=0.86
/proc/16628/task/16630/stat : 16630 (java) R 16626 16628 15011 0 -1 64 5152 0 1 0 80 6 0 0 25 0 12 0 21749706 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16631] ppid=16626 vsize=810108 CPUtime=0
/proc/16628/task/16631/stat : 16631 (java) S 16626 16628 15011 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 21749706 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16632] ppid=16626 vsize=810108 CPUtime=0
/proc/16628/task/16632/stat : 16632 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 21749707 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16633] ppid=16626 vsize=810108 CPUtime=0
/proc/16628/task/16633/stat : 16633 (java) S 16626 16628 15011 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 21749708 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16634] ppid=16626 vsize=810108 CPUtime=0
/proc/16628/task/16634/stat : 16634 (java) S 16626 16628 15011 0 -1 64 10 0 0 0 0 0 0 0 24 0 12 0 21749709 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16635] ppid=16626 vsize=810108 CPUtime=0
/proc/16628/task/16635/stat : 16635 (java) S 16626 16628 15011 0 -1 64 3 0 0 0 0 0 0 0 25 0 12 0 21749709 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16636] ppid=16626 vsize=810108 CPUtime=0
/proc/16628/task/16636/stat : 16636 (java) S 16626 16628 15011 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 21749713 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16637] ppid=16626 vsize=810108 CPUtime=0.02
/proc/16628/task/16637/stat : 16637 (java) S 16626 16628 15011 0 -1 64 238 0 0 0 2 0 0 0 17 0 12 0 21749713 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16638] ppid=16626 vsize=810108 CPUtime=0.57
/proc/16628/task/16638/stat : 16638 (java) R 16626 16628 15011 0 -1 64 3038 0 0 0 57 0 0 0 17 0 12 0 21749713 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16639] ppid=16626 vsize=810108 CPUtime=0
/proc/16628/task/16639/stat : 16639 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 21749713 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16640] ppid=16626 vsize=810108 CPUtime=0
/proc/16628/task/16640/stat : 16640 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 21749713 829550592 7137 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 810108

[startup+3.10275 s]
/proc/loadavg: 1.96 2.12 2.07 3/95 16640
/proc/meminfo: memFree=688944/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=813120 CPUtime=3.09
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 16414 0 1 0 298 11 0 0 18 0 12 0 21749705 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16628/statm: 203280 13545 1431 9 0 200607 0
[pid=16628/tid=16630] ppid=16626 vsize=813120 CPUtime=1.64
/proc/16628/task/16630/stat : 16630 (java) R 16626 16628 15011 0 -1 64 11076 0 1 0 155 9 0 0 25 0 12 0 21749706 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16631] ppid=16626 vsize=813120 CPUtime=0
/proc/16628/task/16631/stat : 16631 (java) S 16626 16628 15011 0 -1 64 3 0 0 0 0 0 0 0 21 0 12 0 21749706 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16632] ppid=16626 vsize=813120 CPUtime=0
/proc/16628/task/16632/stat : 16632 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 21749707 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16633] ppid=16626 vsize=813120 CPUtime=0
/proc/16628/task/16633/stat : 16633 (java) S 16626 16628 15011 0 -1 64 3 0 0 0 0 0 0 0 16 0 12 0 21749708 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16634] ppid=16626 vsize=813120 CPUtime=0
/proc/16628/task/16634/stat : 16634 (java) S 16626 16628 15011 0 -1 64 10 0 0 0 0 0 0 0 24 0 12 0 21749709 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16635] ppid=16626 vsize=813120 CPUtime=0
/proc/16628/task/16635/stat : 16635 (java) S 16626 16628 15011 0 -1 64 3 0 0 0 0 0 0 0 25 0 12 0 21749709 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16636] ppid=16626 vsize=813120 CPUtime=0
/proc/16628/task/16636/stat : 16636 (java) S 16626 16628 15011 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 21749713 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16637] ppid=16626 vsize=813120 CPUtime=0.02
/proc/16628/task/16637/stat : 16637 (java) S 16626 16628 15011 0 -1 64 238 0 0 0 2 0 0 0 17 0 12 0 21749713 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16638] ppid=16626 vsize=813120 CPUtime=1.4
/proc/16628/task/16638/stat : 16638 (java) R 16626 16628 15011 0 -1 64 4357 0 0 0 139 1 0 0 17 0 12 0 21749713 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 103979080 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16639] ppid=16626 vsize=813120 CPUtime=0
/proc/16628/task/16639/stat : 16639 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 21749713 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16640] ppid=16626 vsize=813120 CPUtime=0
/proc/16628/task/16640/stat : 16640 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 21749713 832634880 13545 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 813120

[startup+6.3023 s]
/proc/loadavg: 1.96 2.12 2.07 3/95 16640
/proc/meminfo: memFree=617456/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=818172 CPUtime=6.29
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 32473 0 1 0 610 19 0 0 18 0 12 0 21749705 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16628/statm: 204543 27352 1440 9 0 201870 0
[pid=16628/tid=16630] ppid=16626 vsize=818172 CPUtime=4.12
/proc/16628/task/16630/stat : 16630 (java) R 16626 16628 15011 0 -1 64 17397 0 1 0 399 13 0 0 25 0 12 0 21749706 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4109763269 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16631] ppid=16626 vsize=818172 CPUtime=0.09
/proc/16628/task/16631/stat : 16631 (java) S 16626 16628 15011 0 -1 64 3846 0 0 0 8 1 0 0 16 0 12 0 21749706 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16632] ppid=16626 vsize=818172 CPUtime=0.07
/proc/16628/task/16632/stat : 16632 (java) S 16626 16628 15011 0 -1 64 1971 0 0 0 7 0 0 0 16 0 12 0 21749707 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16633] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16633/stat : 16633 (java) S 16626 16628 15011 0 -1 64 22 0 0 0 0 0 0 0 16 0 12 0 21749708 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16634] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16634/stat : 16634 (java) S 16626 16628 15011 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 21749709 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16635] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16635/stat : 16635 (java) S 16626 16628 15011 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 21749709 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16636] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16636/stat : 16636 (java) S 16626 16628 15011 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 21749713 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16637] ppid=16626 vsize=818172 CPUtime=0.02
/proc/16628/task/16637/stat : 16637 (java) S 16626 16628 15011 0 -1 64 250 0 0 0 2 0 0 0 16 0 12 0 21749713 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16638] ppid=16626 vsize=818172 CPUtime=1.93
/proc/16628/task/16638/stat : 16638 (java) S 16626 16628 15011 0 -1 64 8246 0 0 0 190 3 0 0 22 0 12 0 21749713 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16639] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16639/stat : 16639 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 21749713 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16640] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16640/stat : 16640 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 21749713 837808128 27352 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 818172

[startup+12.7024 s]
/proc/loadavg: 1.97 2.12 2.06 5/95 16640
/proc/meminfo: memFree=571440/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=818172 CPUtime=12.76
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 43568 0 1 0 1253 23 0 0 18 0 12 0 21749705 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16628/statm: 204543 38214 1440 9 0 201870 0
[pid=16628/tid=16630] ppid=16626 vsize=818172 CPUtime=9.85
/proc/16628/task/16630/stat : 16630 (java) R 16626 16628 15011 0 -1 64 17411 0 1 0 972 13 0 0 25 0 12 0 21749706 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4109567664 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16631] ppid=16626 vsize=818172 CPUtime=0.48
/proc/16628/task/16631/stat : 16631 (java) S 16626 16628 15011 0 -1 64 9382 0 0 0 45 3 0 0 16 0 12 0 21749706 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16632] ppid=16626 vsize=818172 CPUtime=0.44
/proc/16628/task/16632/stat : 16632 (java) S 16626 16628 15011 0 -1 64 7516 0 0 0 42 2 0 0 16 0 12 0 21749707 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16633] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16633/stat : 16633 (java) S 16626 16628 15011 0 -1 64 22 0 0 0 0 0 0 0 16 0 12 0 21749708 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16634] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16634/stat : 16634 (java) S 16626 16628 15011 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 21749709 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16635] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16635/stat : 16635 (java) S 16626 16628 15011 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 21749709 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16636] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16636/stat : 16636 (java) S 16626 16628 15011 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 21749713 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16637] ppid=16626 vsize=818172 CPUtime=0.02
/proc/16628/task/16637/stat : 16637 (java) S 16626 16628 15011 0 -1 64 250 0 0 0 2 0 0 0 16 0 12 0 21749713 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16638] ppid=16626 vsize=818172 CPUtime=1.93
/proc/16628/task/16638/stat : 16638 (java) S 16626 16628 15011 0 -1 64 8246 0 0 0 190 3 0 0 22 0 12 0 21749713 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16639] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16639/stat : 16639 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 21749713 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16640] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16640/stat : 16640 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 21749713 837808128 38214 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 818172

[startup+25.5016 s]
/proc/loadavg: 1.97 2.11 2.06 3/95 16640
/proc/meminfo: memFree=496688/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=818172 CPUtime=25.43
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 62018 0 1 0 2512 31 0 0 18 0 12 0 21749705 837808128 56643 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16628/statm: 204543 56643 1440 9 0 201870 0
[pid=16628/tid=16630] ppid=16626 vsize=818172 CPUtime=21.41
/proc/16628/task/16630/stat : 16630 (java) R 16626 16628 15011 0 -1 64 17432 0 1 0 2128 13 0 0 25 0 12 0 21749706 837808128 56643 996147200 134512640 134550932 4294956016 18446744073709551615 4109637031 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16631] ppid=16626 vsize=818172 CPUtime=1.06
/proc/16628/task/16631/stat : 16631 (java) S 16626 16628 15011 0 -1 64 20499 0 0 0 98 8 0 0 16 0 12 0 21749706 837808128 56643 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16632] ppid=16626 vsize=818172 CPUtime=0.95
/proc/16628/task/16632/stat : 16632 (java) S 16626 16628 15011 0 -1 64 14828 0 0 0 90 5 0 0 16 0 12 0 21749707 837808128 56643 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16633] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16633/stat : 16633 (java) S 16626 16628 15011 0 -1 64 22 0 0 0 0 0 0 0 15 0 12 0 21749708 837808128 56643 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16634] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16634/stat : 16634 (java) S 16626 16628 15011 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 21749709 837808128 56643 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16635] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16635/stat : 16635 (java) S 16626 16628 15011 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 21749709 837808128 56643 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16636] ppid=16626 vsize=818172 CPUtime=0
/proc/16628/task/16636/stat : 16636 (java) S 16626 16628 15011 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 21749713 837808128 56643 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16637] ppid=16626 vsize=818172 CPUtime=0.02

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

[pid=16628/tid=16635] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16635/stat : 16635 (java) S 16626 16628 15011 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 21749709 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16636] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16636/stat : 16636 (java) S 16626 16628 15011 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 21749713 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16637] ppid=16626 vsize=810896 CPUtime=0.02
/proc/16628/task/16637/stat : 16637 (java) S 16626 16628 15011 0 -1 64 250 0 0 0 2 0 0 0 16 0 13 0 21749713 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16638] ppid=16626 vsize=810896 CPUtime=3.36
/proc/16628/task/16638/stat : 16638 (java) S 16626 16628 15011 0 -1 64 10919 0 0 0 332 4 0 0 17 0 13 0 21749713 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16639] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16639/stat : 16639 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 21749713 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16640] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16640/stat : 16640 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 21749713 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16641] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16641/stat : 16641 (java) S 16626 16628 15011 0 -1 64 6 0 0 0 0 0 0 0 25 0 13 0 21758229 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.28
Current children cumulated vsize (KiB) 810896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.2 s]
/proc/loadavg: 2.10 2.25 2.17 3/94 16893
/proc/meminfo: memFree=686448/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=810896 CPUtime=1800.04
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 183816 0 1 0 179910 94 0 0 18 0 13 0 21749705 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16628/statm: 202724 172307 1455 9 0 200051 0
[pid=16628/tid=16630] ppid=16626 vsize=810896 CPUtime=731.21
/proc/16628/task/16630/stat : 16630 (java) S 16626 16628 15011 0 -1 64 18005 0 1 0 73103 18 0 0 17 0 13 0 21749706 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16631] ppid=16626 vsize=810896 CPUtime=7.46
/proc/16628/task/16631/stat : 16631 (java) S 16626 16628 15011 0 -1 64 77154 0 0 0 715 31 0 0 17 0 13 0 21749706 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16632] ppid=16626 vsize=810896 CPUtime=7.43
/proc/16628/task/16632/stat : 16632 (java) S 16626 16628 15011 0 -1 64 71499 0 0 0 714 29 0 0 17 0 13 0 21749707 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16633] ppid=16626 vsize=810896 CPUtime=1050.51
/proc/16628/task/16633/stat : 16633 (java) R 16626 16628 15011 0 -1 64 5242 0 0 0 105041 10 0 0 25 0 13 0 21749708 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 105697124 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16634] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16634/stat : 16634 (java) S 16626 16628 15011 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 21749709 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16635] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16635/stat : 16635 (java) S 16626 16628 15011 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 21749709 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16636] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16636/stat : 16636 (java) S 16626 16628 15011 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 21749713 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16637] ppid=16626 vsize=810896 CPUtime=0.02
/proc/16628/task/16637/stat : 16637 (java) S 16626 16628 15011 0 -1 64 250 0 0 0 2 0 0 0 16 0 13 0 21749713 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16638] ppid=16626 vsize=810896 CPUtime=3.36
/proc/16628/task/16638/stat : 16638 (java) S 16626 16628 15011 0 -1 64 10919 0 0 0 332 4 0 0 17 0 13 0 21749713 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16639] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16639/stat : 16639 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 21749713 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16640] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16640/stat : 16640 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 21749713 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16641] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16641/stat : 16641 (java) S 16626 16628 15011 0 -1 64 6 0 0 0 0 0 0 0 25 0 13 0 21758229 830357504 172307 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 810896

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -16628

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

[startup+1811 s]
/proc/loadavg: 2.10 2.25 2.17 3/95 16894
/proc/meminfo: memFree=686440/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=810896 CPUtime=1800.83
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 183818 0 1 0 179989 94 0 0 16 0 13 0 21749705 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16628/statm: 202724 172308 1455 9 0 200051 0
[pid=16628/tid=16630] ppid=16626 vsize=810896 CPUtime=731.21
/proc/16628/task/16630/stat : 16630 (java) S 16626 16628 15011 0 -1 64 18005 0 1 0 73103 18 0 0 17 0 13 0 21749706 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16631] ppid=16626 vsize=810896 CPUtime=7.46
/proc/16628/task/16631/stat : 16631 (java) S 16626 16628 15011 0 -1 64 77154 0 0 0 715 31 0 0 17 0 13 0 21749706 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16632] ppid=16626 vsize=810896 CPUtime=7.43
/proc/16628/task/16632/stat : 16632 (java) S 16626 16628 15011 0 -1 64 71499 0 0 0 714 29 0 0 17 0 13 0 21749707 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16633] ppid=16626 vsize=810896 CPUtime=1051.3
/proc/16628/task/16633/stat : 16633 (java) R 16626 16628 15011 0 -1 64 5242 0 0 0 105120 10 0 0 25 0 13 0 21749708 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 105696579 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16634] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16634/stat : 16634 (java) S 16626 16628 15011 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 21749709 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16635] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16635/stat : 16635 (java) S 16626 16628 15011 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 21749709 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16636] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16636/stat : 16636 (java) S 16626 16628 15011 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16637] ppid=16626 vsize=810896 CPUtime=0.02
/proc/16628/task/16637/stat : 16637 (java) S 16626 16628 15011 0 -1 64 250 0 0 0 2 0 0 0 16 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16638] ppid=16626 vsize=810896 CPUtime=3.36
/proc/16628/task/16638/stat : 16638 (java) S 16626 16628 15011 0 -1 64 10919 0 0 0 332 4 0 0 17 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16639] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16639/stat : 16639 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16640] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16640/stat : 16640 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16641] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16641/stat : 16641 (java) S 16626 16628 15011 0 -1 64 6 0 0 0 0 0 0 0 25 0 13 0 21758229 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 810896

[startup+1811.8 s]
/proc/loadavg: 2.10 2.25 2.17 3/95 16894
/proc/meminfo: memFree=686440/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=810896 CPUtime=1801.62
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 183818 0 1 0 180068 94 0 0 16 0 13 0 21749705 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16628/statm: 202724 172308 1455 9 0 200051 0
[pid=16628/tid=16630] ppid=16626 vsize=810896 CPUtime=731.21
/proc/16628/task/16630/stat : 16630 (java) S 16626 16628 15011 0 -1 64 18005 0 1 0 73103 18 0 0 17 0 13 0 21749706 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16631] ppid=16626 vsize=810896 CPUtime=7.46
/proc/16628/task/16631/stat : 16631 (java) S 16626 16628 15011 0 -1 64 77154 0 0 0 715 31 0 0 17 0 13 0 21749706 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16632] ppid=16626 vsize=810896 CPUtime=7.43
/proc/16628/task/16632/stat : 16632 (java) S 16626 16628 15011 0 -1 64 71499 0 0 0 714 29 0 0 17 0 13 0 21749707 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16633] ppid=16626 vsize=810896 CPUtime=1052.09
/proc/16628/task/16633/stat : 16633 (java) R 16626 16628 15011 0 -1 64 5242 0 0 0 105199 10 0 0 25 0 13 0 21749708 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 105886120 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16634] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16634/stat : 16634 (java) S 16626 16628 15011 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 21749709 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16635] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16635/stat : 16635 (java) S 16626 16628 15011 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 21749709 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16636] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16636/stat : 16636 (java) S 16626 16628 15011 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16637] ppid=16626 vsize=810896 CPUtime=0.02
/proc/16628/task/16637/stat : 16637 (java) S 16626 16628 15011 0 -1 64 250 0 0 0 2 0 0 0 16 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16638] ppid=16626 vsize=810896 CPUtime=3.36
/proc/16628/task/16638/stat : 16638 (java) S 16626 16628 15011 0 -1 64 10919 0 0 0 332 4 0 0 17 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16639] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16639/stat : 16639 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16640] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16640/stat : 16640 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16641] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16641/stat : 16641 (java) S 16626 16628 15011 0 -1 64 6 0 0 0 0 0 0 0 25 0 13 0 21758229 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 810896

[startup+1812.2 s]
/proc/loadavg: 2.10 2.25 2.17 3/95 16894
/proc/meminfo: memFree=686440/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=810896 CPUtime=1802.02
/proc/16628/stat : 16628 (java) S 16626 16628 15011 0 -1 0 183818 0 1 0 180108 94 0 0 16 0 13 0 21749705 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16628/statm: 202724 172308 1455 9 0 200051 0
[pid=16628/tid=16630] ppid=16626 vsize=810896 CPUtime=731.21
/proc/16628/task/16630/stat : 16630 (java) S 16626 16628 15011 0 -1 64 18005 0 1 0 73103 18 0 0 17 0 13 0 21749706 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16631] ppid=16626 vsize=810896 CPUtime=7.46
/proc/16628/task/16631/stat : 16631 (java) S 16626 16628 15011 0 -1 64 77154 0 0 0 715 31 0 0 17 0 13 0 21749706 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16632] ppid=16626 vsize=810896 CPUtime=7.43
/proc/16628/task/16632/stat : 16632 (java) S 16626 16628 15011 0 -1 64 71499 0 0 0 714 29 0 0 17 0 13 0 21749707 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16633] ppid=16626 vsize=810896 CPUtime=1052.49
/proc/16628/task/16633/stat : 16633 (java) R 16626 16628 15011 0 -1 64 5242 0 0 0 105239 10 0 0 25 0 13 0 21749708 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 105886120 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16634] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16634/stat : 16634 (java) S 16626 16628 15011 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 21749709 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16635] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16635/stat : 16635 (java) S 16626 16628 15011 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 21749709 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16636] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16636/stat : 16636 (java) S 16626 16628 15011 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16637] ppid=16626 vsize=810896 CPUtime=0.02
/proc/16628/task/16637/stat : 16637 (java) S 16626 16628 15011 0 -1 64 250 0 0 0 2 0 0 0 16 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16638] ppid=16626 vsize=810896 CPUtime=3.36
/proc/16628/task/16638/stat : 16638 (java) S 16626 16628 15011 0 -1 64 10919 0 0 0 332 4 0 0 17 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16639] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16639/stat : 16639 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16628/tid=16640] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16640/stat : 16640 (java) S 16626 16628 15011 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 21749713 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16628/tid=16641] ppid=16626 vsize=810896 CPUtime=0
/proc/16628/task/16641/stat : 16641 (java) S 16626 16628 15011 0 -1 64 6 0 0 0 0 0 0 0 25 0 13 0 21758229 830357504 172308 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 810896

[startup+1812.3 s]
/proc/loadavg: 2.10 2.25 2.17 3/95 16894
/proc/meminfo: memFree=686440/2055920 swapFree=4192956/4192956
[pid=16628] ppid=16626 vsize=0 CPUtime=1802.12
/proc/16628/stat : 16628 (java) Z 16626 16628 15011 0 -1 1036 183818 0 1 0 180110 102 0 0 16 0 2 0 21749705 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16628/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1812.33
CPU time (s): 1802.16
CPU user time (s): 1801.11
CPU system time (s): 1.04884
CPU usage (%): 99.4388
Max. virtual memory (cumulated for all children) (KiB): 823216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.11
system time used= 1.04884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183818
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= 40729
involuntary context switches= 56858

runsolver used 2.53461 second user time and 5.9071 second system time

The end

Launcher Data 

Begin job on node14 at 2009-07-11 23:13:48
IDJOB=2068281
IDBENCH=54847
IDSOLVER=731
FILE ID=node14/2068281-1247346828
PBS_JOBID= 9506653
Free space on /tmp= 66496 MiB

SOLVER NAME= SAT4J CSP 2.1.1
BENCH NAME= CPAI08/csp/pseudo/routing/normalized-s3-3-3-1.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068281-1247346828/watcher-2068281-1247346828 -o /tmp/evaluation-result-2068281-1247346828/solver-2068281-1247346828 -C 1800 -W 2000 -M 900  java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2068281-1247346828.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8b74482a9fe920deb5d6814210633746
RANDOM SEED=1832918183

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

/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:        715632 kB
Buffers:         69276 kB
Cached:         510288 kB
SwapCached:          0 kB
Active:         771380 kB
Inactive:       513536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        715632 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1560 kB
Writeback:           0 kB
Mapped:         721052 kB
Slab:            39300 kB
Committed_AS:   870800 kB
PageTables:       3196 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= 66492 MiB
End job on node14 at 2009-07-11 23:44:00