Trace number 3715115

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
npSolver inc-topDownOPTIMUM 1778.58 1775.97

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh09_wcsp.wbo
MD5SUMf2d449aa8c80edec7a2d4cb4a780c49d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark333
Best CPU time to get the best result obtained on this benchmark0.117981
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.01	c run usual solver
0.00/0.06	o 4295
0.00/0.06	c fallback to adder encoding
7.36/7.45	o 4294
7.36/7.45	c fallback to adder encoding
14.38/14.45	o 4289
14.38/14.45	c fallback to adder encoding
17.06/17.15	o 4288
17.06/17.15	c fallback to adder encoding
20.47/20.56	o 4287
20.47/20.56	c fallback to adder encoding
26.06/26.19	o 4284
26.06/26.19	c fallback to adder encoding
29.03/29.12	o 4282
29.03/29.12	c fallback to adder encoding
32.97/33.05	o 4281
32.97/33.05	c fallback to adder encoding
42.06/42.13	o 4280
42.06/42.13	c fallback to adder encoding
47.76/47.88	o 4279
47.76/47.88	c fallback to adder encoding
55.66/55.75	o 4276
55.66/55.75	c fallback to adder encoding
60.05/60.15	o 4275
60.05/60.15	c fallback to adder encoding
64.46/64.56	o 4274
64.46/64.56	c fallback to adder encoding
67.45/67.53	o 4273
67.45/67.53	c fallback to adder encoding
72.85/72.98	o 4260
72.85/72.98	c fallback to adder encoding
78.46/78.55	o 4259
78.46/78.55	c fallback to adder encoding
85.86/85.95	o 4258
85.86/85.95	c fallback to adder encoding
91.05/91.15	o 4257
91.05/91.15	c fallback to adder encoding
97.86/97.95	o 4256
97.86/97.95	c fallback to adder encoding
104.44/104.59	o 4255
104.44/104.59	c fallback to adder encoding
109.51/109.62	o 4254
109.51/109.62	c fallback to adder encoding
117.53/117.65	o 4252
117.53/117.65	c fallback to adder encoding
122.12/122.27	o 4251
122.12/122.27	c fallback to adder encoding
131.62/131.73	o 4231
131.62/131.73	c fallback to adder encoding
138.10/138.20	o 4230
138.10/138.20	c fallback to adder encoding
148.84/148.90	o 4226
148.84/148.90	c fallback to adder encoding
162.29/162.41	o 4223
162.29/162.41	c fallback to adder encoding
167.30/167.47	o 4220
167.30/167.47	c fallback to adder encoding
171.62/171.79	o 4219
171.62/171.79	c fallback to adder encoding
177.19/177.32	o 4218
177.19/177.32	c fallback to adder encoding
180.60/180.77	o 4216
180.60/180.77	c fallback to adder encoding
185.40/185.58	o 4215
185.40/185.58	c fallback to adder encoding
192.69/192.83	o 4209
192.69/192.83	c fallback to adder encoding
196.19/196.39	o 4208
196.19/196.39	c fallback to adder encoding
198.49/198.63	o 4206
198.49/198.63	c fallback to adder encoding
206.59/206.71	o 4202
206.59/206.71	c fallback to adder encoding
211.49/211.64	o 4201
211.49/211.64	c fallback to adder encoding
216.88/217.08	o 4199
216.88/217.08	c fallback to adder encoding
222.57/222.70	o 4196
222.57/222.70	c fallback to adder encoding
230.86/231.08	o 4182
230.86/231.08	c fallback to adder encoding
236.26/236.50	o 4181
236.26/236.50	c fallback to adder encoding
246.33/246.51	o 4180
246.33/246.51	c fallback to adder encoding
255.13/255.33	o 4179
255.13/255.33	c fallback to adder encoding
260.34/260.59	o 4174
260.34/260.59	c fallback to adder encoding
263.74/263.94	o 4171
263.74/263.94	c fallback to adder encoding
270.20/270.40	o 4170
270.20/270.40	c fallback to adder encoding
278.13/278.38	o 4169
278.13/278.38	c fallback to adder encoding
283.43/283.65	o 4167
283.43/283.65	c fallback to adder encoding
290.93/291.13	o 4166
290.93/291.13	c fallback to adder encoding
295.83/296.05	o 4165
295.83/296.05	c fallback to adder encoding
301.72/301.92	o 4164
301.72/301.92	c fallback to adder encoding
305.60/305.81	o 4161
305.60/305.81	c fallback to adder encoding
312.94/313.18	o 4148
312.94/313.18	c fallback to adder encoding
319.51/319.72	o 4147
319.51/319.72	c fallback to adder encoding
324.43/324.64	o 4146
324.43/324.64	c fallback to adder encoding
331.49/331.72	o 4131
331.49/331.72	c fallback to adder encoding
339.22/339.45	o 4107
339.22/339.45	c fallback to adder encoding
342.22/342.49	o 4106
342.22/342.49	c fallback to adder encoding
351.01/351.27	o 4101
351.01/351.27	c fallback to adder encoding
357.51/357.73	o 4098
357.51/357.73	c fallback to adder encoding
362.32/362.58	o 4097
362.32/362.58	c fallback to adder encoding
372.09/372.32	o 4096
372.09/372.32	c fallback to adder encoding
377.61/377.83	o 4082
377.61/377.83	c fallback to adder encoding
382.19/382.42	o 4080
382.19/382.42	c fallback to adder encoding
386.81/387.08	o 4072
386.81/387.08	c fallback to adder encoding
395.71/395.93	o 4071
395.71/395.93	c fallback to adder encoding
398.38/398.61	o 4070
398.38/398.61	c fallback to adder encoding
404.91/405.10	o 4063
404.91/405.10	c fallback to adder encoding
412.08/412.31	o 4051
412.08/412.31	c fallback to adder encoding
416.01/416.29	o 4050
416.01/416.29	c fallback to adder encoding
419.91/420.14	o 4038
419.91/420.14	c fallback to adder encoding
426.18/426.43	o 4033
426.18/426.43	c fallback to adder encoding
444.48/444.73	o 4032
444.48/444.73	c fallback to adder encoding
448.18/448.44	o 4026
448.18/448.44	c fallback to adder encoding
453.39/453.60	o 4009
453.39/453.60	c fallback to adder encoding
456.88/457.12	o 3977
456.88/457.12	c fallback to adder encoding
459.78/460.06	o 3973
459.78/460.06	c fallback to adder encoding
466.94/467.21	o 3972
466.94/467.21	c fallback to adder encoding
471.44/471.70	o 3930
471.44/471.70	c fallback to adder encoding
473.97/474.36	o 3926
473.97/474.36	c fallback to adder encoding
479.30/479.66	o 3924
479.30/479.66	c fallback to adder encoding
482.68/483.03	o 3911
482.68/483.03	c fallback to adder encoding
488.68/489.08	o 3906
488.68/489.08	c fallback to adder encoding
501.29/501.60	o 3791
501.29/501.60	c fallback to adder encoding
505.38/505.76	o 3787
505.38/505.76	c fallback to adder encoding
510.66/511.03	o 3783
510.66/511.03	c fallback to adder encoding
513.48/513.85	o 3779
513.48/513.85	c fallback to adder encoding
517.16/517.56	o 3778
517.16/517.56	c fallback to adder encoding
525.86/526.29	o 3775
525.86/526.29	c fallback to adder encoding
533.77/534.15	o 3774
533.77/534.15	c fallback to adder encoding
539.67/540.10	o 3743
539.67/540.10	c fallback to adder encoding
545.63/546.01	o 3742
545.63/546.01	c fallback to adder encoding
549.64/550.02	o 3735
549.64/550.02	c fallback to adder encoding
555.23/555.62	o 3729
555.23/555.62	c fallback to adder encoding
559.26/559.69	o 3712
559.26/559.69	c fallback to adder encoding
563.45/563.84	o 3705
563.45/563.84	c fallback to adder encoding
568.05/568.48	o 3701
568.05/568.48	c fallback to adder encoding
571.03/571.54	o 3696
571.03/571.54	c fallback to adder encoding
573.71/574.22	o 3680
573.71/574.22	c fallback to adder encoding
577.13/577.64	o 3677
577.13/577.64	c fallback to adder encoding
580.93/581.49	o 3670
580.93/581.49	c fallback to adder encoding
585.93/586.50	o 3638
585.93/586.50	c fallback to adder encoding
595.13/595.64	o 3636
595.13/595.64	c fallback to adder encoding
597.52/598.06	o 3632
597.52/598.06	c fallback to adder encoding
601.22/601.75	o 3623
601.22/601.75	c fallback to adder encoding
606.31/606.83	o 3607
606.31/606.83	c fallback to adder encoding
609.71/610.23	o 3602
609.71/610.23	c fallback to adder encoding
616.32/616.89	o 3595
616.32/616.89	c fallback to adder encoding
629.09/629.61	o 3594
629.09/629.61	c fallback to adder encoding
639.39/639.92	o 3587
639.39/639.92	c fallback to adder encoding
647.01/647.54	o 3586
647.01/647.54	c fallback to adder encoding
655.26/655.80	o 3585
655.26/655.80	c fallback to adder encoding
664.90/665.46	o 3584
664.90/665.46	c fallback to adder encoding
668.59/669.16	o 3579
668.59/669.16	c fallback to adder encoding
674.30/674.85	o 3553
674.30/674.85	c fallback to adder encoding
683.07/683.62	o 3548
683.07/683.62	c fallback to adder encoding
687.25/687.81	o 3450
687.25/687.81	c fallback to adder encoding
694.69/695.25	o 3449
694.69/695.25	c fallback to adder encoding
701.49/702.04	o 3448
701.49/702.04	c fallback to adder encoding
707.67/708.29	o 3447
707.67/708.29	c fallback to adder encoding
715.58/716.19	o 3442
715.58/716.19	c fallback to adder encoding
719.17/719.78	o 3441
719.17/719.78	c fallback to adder encoding
721.88/722.46	o 3440
721.88/722.46	c fallback to adder encoding
731.22/731.80	o 3439
731.22/731.80	c fallback to adder encoding
738.02/738.61	o 3427
738.02/738.61	c fallback to adder encoding
744.95/745.57	o 3418
744.95/745.57	c fallback to adder encoding
748.74/749.33	o 3417
748.74/749.33	c fallback to adder encoding
753.32/753.93	o 3414
753.32/753.93	c fallback to adder encoding
761.75/762.35	o 3413
761.75/762.35	c fallback to adder encoding
768.54/769.18	o 3390
768.54/769.18	c fallback to adder encoding
772.52/773.13	o 1532
772.52/773.13	c fallback to adder encoding
785.61/786.22	o 1531
785.61/786.22	c fallback to adder encoding
788.81/789.43	o 1518
788.81/789.43	c fallback to adder encoding
791.72/792.36	o 1515
791.72/792.36	c fallback to adder encoding
796.12/796.78	o 1514
796.12/796.78	c fallback to adder encoding
801.23/801.84	o 1513
801.23/801.84	c fallback to adder encoding
810.32/810.95	o 1512
810.32/810.95	c fallback to adder encoding
813.00/813.62	o 1506
813.00/813.62	c fallback to adder encoding
819.62/820.26	o 1505
819.62/820.26	c fallback to adder encoding
824.02/824.66	o 1504
824.02/824.66	c fallback to adder encoding
827.63/828.25	o 1503
827.63/828.25	c fallback to adder encoding
831.40/832.02	o 1501
831.40/832.02	c fallback to adder encoding
836.30/836.92	o 1499
836.30/836.92	c fallback to adder encoding
836.42/841.45	o 1494
836.42/841.45	c fallback to adder encoding
848.89/849.52	o 1478
848.89/849.52	c fallback to adder encoding
852.51/853.18	o 1467
852.51/853.18	c fallback to adder encoding
856.71/857.32	o 1466
856.71/857.32	c fallback to adder encoding
861.87/862.50	o 1464
861.87/862.50	c fallback to adder encoding
867.89/868.52	o 1399
867.89/868.52	c fallback to adder encoding
869.81/870.46	o 1392
869.81/870.46	c fallback to adder encoding
876.51/877.19	o 1385
876.51/877.19	c fallback to adder encoding
882.09/882.72	o 1376
882.09/882.72	c fallback to adder encoding
885.69/886.37	o 1372
885.69/886.37	c fallback to adder encoding
892.19/892.85	o 1366
892.19/892.85	c fallback to adder encoding
897.30/897.98	o 1365
897.30/897.98	c fallback to adder encoding
901.19/901.82	o 1364
901.19/901.82	c fallback to adder encoding
904.37/905.02	o 1362
904.37/905.02	c fallback to adder encoding
910.51/911.15	o 1361
910.51/911.15	c fallback to adder encoding
917.28/917.97	o 1360
917.28/917.97	c fallback to adder encoding
921.57/922.21	o 1359
921.57/922.21	c fallback to adder encoding
925.28/925.93	o 1358
925.28/925.93	c fallback to adder encoding
930.88/931.59	o 1352
930.88/931.59	c fallback to adder encoding
941.36/942.02	o 1347
941.36/942.02	c fallback to adder encoding
945.19/945.88	o 1345
945.19/945.88	c fallback to adder encoding
949.08/949.78	o 1344
949.08/949.78	c fallback to adder encoding
952.99/953.67	o 1343
952.99/953.67	c fallback to adder encoding
956.17/956.83	o 1342
956.17/956.83	c fallback to adder encoding
959.87/960.57	o 1335
959.87/960.57	c fallback to adder encoding
964.07/964.76	o 1333
964.07/964.76	c fallback to adder encoding
971.37/972.05	o 1329
971.37/972.05	c fallback to adder encoding
976.86/977.53	o 1328
976.86/977.53	c fallback to adder encoding
982.14/982.83	o 1326
982.14/982.83	c fallback to adder encoding
985.84/986.59	o 1324
985.84/986.59	c fallback to adder encoding
991.12/991.83	o 1323
991.12/991.83	c fallback to adder encoding
995.20/995.92	o 1320
995.20/995.92	c fallback to adder encoding
999.52/1000.29	o 1319
999.52/1000.29	c fallback to adder encoding
1006.62/1007.41	o 1304
1006.62/1007.41	c fallback to adder encoding
1011.45/1012.25	o 1303
1011.45/1012.25	c fallback to adder encoding
1019.55/1020.34	o 1300
1019.55/1020.34	c fallback to adder encoding
1024.04/1024.84	o 1295
1024.04/1024.84	c fallback to adder encoding
1028.43/1029.25	o 1294
1028.43/1029.25	c fallback to adder encoding
1035.14/1035.95	o 1290
1035.14/1035.95	c fallback to adder encoding
1043.55/1044.30	o 1287
1043.55/1044.30	c fallback to adder encoding
1050.21/1051.01	o 1285
1050.21/1051.01	c fallback to adder encoding
1054.43/1055.25	o 1281
1054.43/1055.25	c fallback to adder encoding
1067.14/1067.90	o 1280
1067.14/1067.90	c fallback to adder encoding
1071.74/1072.54	o 1279
1071.74/1072.54	c fallback to adder encoding
1074.82/1075.66	o 1278
1074.82/1075.66	c fallback to adder encoding
1079.10/1079.90	o 1270
1079.10/1079.90	c fallback to adder encoding
1083.61/1084.46	o 1265
1083.61/1084.46	c fallback to adder encoding
1090.48/1091.30	o 1264
1090.48/1091.30	c fallback to adder encoding
1094.81/1095.67	o 1262
1094.81/1095.67	c fallback to adder encoding
1097.80/1098.65	o 1257
1097.80/1098.65	c fallback to adder encoding
1101.41/1102.24	o 1252
1101.41/1102.24	c fallback to adder encoding
1107.29/1108.13	o 1250
1107.29/1108.13	c fallback to adder encoding
1113.86/1114.71	o 1249
1113.86/1114.71	c fallback to adder encoding
1118.90/1119.73	o 1247
1118.90/1119.73	c fallback to adder encoding
1123.56/1124.42	o 1246
1123.56/1124.42	c fallback to adder encoding
1126.86/1127.79	o 1245
1126.86/1127.79	c fallback to adder encoding
1131.57/1132.42	o 1236
1131.57/1132.42	c fallback to adder encoding
1135.82/1136.75	o 1235
1135.82/1136.75	c fallback to adder encoding
1139.61/1140.52	o 1226
1139.61/1140.52	c fallback to adder encoding
1142.82/1143.73	o 1225
1142.82/1143.73	c fallback to adder encoding
1148.73/1149.64	o 1224
1148.73/1149.64	c fallback to adder encoding
1157.41/1158.32	o 1223
1157.41/1158.32	c fallback to adder encoding
1162.21/1163.19	o 1215
1162.21/1163.19	c fallback to adder encoding
1165.42/1166.38	o 1206
1165.42/1166.38	c fallback to adder encoding
1168.38/1169.31	o 1205
1168.38/1169.31	c fallback to adder encoding
1171.52/1172.46	o 1196
1171.52/1172.46	c fallback to adder encoding
1175.70/1176.62	o 1195
1175.70/1176.62	c fallback to adder encoding
1179.90/1180.82	o 1187
1179.90/1180.82	c fallback to adder encoding
1183.91/1184.86	o 1182
1183.91/1184.86	c fallback to adder encoding
1186.40/1187.33	o 1180
1186.40/1187.33	c fallback to adder encoding
1192.18/1193.15	o 1177
1192.18/1193.15	c fallback to adder encoding
1194.71/1195.70	o 1176
1194.71/1195.70	c fallback to adder encoding
1199.40/1200.37	o 1175
1199.40/1200.37	c fallback to adder encoding
1203.61/1204.57	o 1172
1203.61/1204.57	c fallback to adder encoding
1208.00/1208.98	o 1168
1208.00/1208.98	c fallback to adder encoding
1212.90/1213.84	o 1167
1212.90/1213.84	c fallback to adder encoding
1220.49/1221.46	o 1162
1220.49/1221.46	c fallback to adder encoding
1226.09/1227.07	o 1160
1226.09/1227.07	c fallback to adder encoding
1234.59/1235.59	o 1159
1234.59/1235.59	c fallback to adder encoding
1239.60/1240.50	o 1156
1239.60/1240.50	c fallback to adder encoding
1247.27/1248.29	o 1154
1247.27/1248.29	c fallback to adder encoding
1253.16/1254.17	o 1153
1253.16/1254.17	c fallback to adder encoding
1258.63/1259.60	o 1152
1258.63/1259.60	c fallback to adder encoding
1261.77/1262.74	o 1143
1261.77/1262.74	c fallback to adder encoding
1265.47/1266.40	o 1140
1265.47/1266.40	c fallback to adder encoding
1269.05/1270.05	o 1139
1269.05/1270.05	c fallback to adder encoding
1273.84/1274.83	o 1136
1273.84/1274.83	c fallback to adder encoding
1279.55/1280.58	o 1117
1279.55/1280.58	c fallback to adder encoding
1286.66/1287.64	o 1114
1286.66/1287.64	c fallback to adder encoding
1290.35/1291.38	o 1109
1290.35/1291.38	c fallback to adder encoding
1293.76/1294.75	o 1103
1293.76/1294.75	c fallback to adder encoding
1296.81/1297.81	o 1102
1296.81/1297.81	c fallback to adder encoding
1302.64/1303.66	o 1095
1302.64/1303.66	c fallback to adder encoding
1307.73/1308.77	o 1094
1307.73/1308.77	c fallback to adder encoding
1314.73/1315.78	o 1088
1314.73/1315.78	c fallback to adder encoding
1320.61/1321.61	o 1083
1320.61/1321.61	c fallback to adder encoding
1329.63/1330.69	o 1079
1329.63/1330.69	c fallback to adder encoding
1335.42/1336.45	o 1077
1335.42/1336.45	c fallback to adder encoding
1341.17/1342.22	o 1076
1341.17/1342.22	c fallback to adder encoding
1347.59/1348.64	o 1046
1347.59/1348.64	c fallback to adder encoding
1351.58/1352.66	o 1042
1351.58/1352.66	c fallback to adder encoding
1355.47/1356.55	o 1040
1355.47/1356.55	c fallback to adder encoding
1359.26/1360.31	o 1031
1359.26/1360.31	c fallback to adder encoding
1365.61/1366.71	o 1028
1365.61/1366.71	c fallback to adder encoding
1370.11/1371.22	o 1027
1370.11/1371.22	c fallback to adder encoding
1373.92/1375.02	o 1026
1373.92/1375.02	c fallback to adder encoding
1379.25/1380.32	o 1025
1379.25/1380.32	c fallback to adder encoding
1382.30/1383.43	o 1024
1382.30/1383.43	c fallback to adder encoding
1384.41/1385.53	o 1016
1384.41/1385.53	c fallback to adder encoding
1386.61/1387.79	o 1015
1386.61/1387.79	c fallback to adder encoding
1389.41/1390.59	o 1011
1389.41/1390.59	c fallback to adder encoding
1391.68/1392.86	o 1008
1391.68/1392.86	c fallback to adder encoding
1394.68/1395.87	o 1005
1394.68/1395.87	c fallback to adder encoding
1397.09/1398.26	o 1000
1397.09/1398.26	c fallback to adder encoding
1399.27/1400.44	o 997
1399.27/1400.44	c fallback to adder encoding
1402.67/1403.88	o 996
1402.67/1403.88	c fallback to adder encoding
1405.17/1406.32	o 995
1405.17/1406.32	c fallback to adder encoding
1410.08/1411.28	o 980
1410.08/1411.28	c fallback to adder encoding
1415.57/1416.76	o 979
1415.57/1416.76	c fallback to adder encoding
1418.66/1419.83	o 970
1418.66/1419.83	c fallback to adder encoding
1421.88/1423.03	o 969
1421.88/1423.03	c fallback to adder encoding
1423.94/1425.12	o 960
1423.94/1425.12	c fallback to adder encoding
1426.20/1427.40	o 951
1426.20/1427.40	c fallback to adder encoding
1430.57/1431.80	o 950
1430.57/1431.80	c fallback to adder encoding
1434.09/1435.36	o 947
1434.09/1435.36	c fallback to adder encoding
1440.99/1442.28	o 945
1440.99/1442.28	c fallback to adder encoding
1444.58/1445.80	o 942
1444.58/1445.80	c fallback to adder encoding
1448.38/1449.69	o 941
1448.38/1449.69	c fallback to adder encoding
1451.38/1452.61	o 940
1451.38/1452.61	c fallback to adder encoding
1455.50/1456.73	o 937
1455.50/1456.73	c fallback to adder encoding
1463.56/1464.81	o 936
1463.56/1464.81	c fallback to adder encoding
1466.20/1467.45	o 935
1466.20/1467.45	c fallback to adder encoding
1469.19/1470.46	o 934
1469.19/1470.46	c fallback to adder encoding
1473.60/1474.85	o 931
1473.60/1474.85	c fallback to adder encoding
1476.97/1478.20	o 929
1476.97/1478.20	c fallback to adder encoding
1479.08/1480.33	o 928
1479.08/1480.33	c fallback to adder encoding
1483.09/1484.34	o 927
1483.09/1484.34	c fallback to adder encoding
1486.58/1487.89	o 919
1486.58/1487.89	c fallback to adder encoding
1489.47/1490.74	o 918
1489.47/1490.74	c fallback to adder encoding
1502.15/1503.41	o 905
1502.15/1503.41	c fallback to adder encoding
1505.57/1506.84	o 904
1505.57/1506.84	c fallback to adder encoding
1509.56/1510.81	o 897
1509.56/1510.81	c fallback to adder encoding
1513.67/1514.97	o 874
1513.67/1514.97	c fallback to adder encoding
1516.77/1518.07	o 873
1516.77/1518.07	c fallback to adder encoding
1518.38/1519.66	o 866
1518.38/1519.66	c fallback to adder encoding
1520.27/1521.59	o 865
1520.27/1521.59	c fallback to adder encoding
1523.97/1525.29	o 864
1523.97/1525.29	c fallback to adder encoding
1525.37/1526.68	o 850
1525.37/1526.68	c fallback to adder encoding
1530.05/1531.34	o 849
1530.05/1531.34	c fallback to adder encoding
1537.04/1538.34	o 848
1537.04/1538.34	c fallback to adder encoding
1539.14/1540.48	o 847
1539.14/1540.48	c fallback to adder encoding
1540.96/1542.25	o 840
1540.96/1542.25	c fallback to adder encoding
1544.85/1546.11	o 836
1544.85/1546.11	c fallback to adder encoding
1549.43/1550.75	o 832
1549.43/1550.75	c fallback to adder encoding
1551.54/1552.85	o 830
1551.54/1552.85	c fallback to adder encoding
1556.31/1557.61	o 829
1556.31/1557.61	c fallback to adder encoding
1558.62/1559.91	o 826
1558.62/1559.91	c fallback to adder encoding
1562.41/1563.71	o 824
1562.41/1563.71	c fallback to adder encoding
1564.14/1565.45	o 823
1564.14/1565.45	c fallback to adder encoding
1570.02/1571.31	o 822
1570.02/1571.31	c fallback to adder encoding
1572.12/1573.48	o 821
1572.12/1573.48	c fallback to adder encoding
1575.74/1577.04	o 808
1575.74/1577.04	c fallback to adder encoding
1578.34/1579.63	o 807
1578.34/1579.63	c fallback to adder encoding
1580.53/1581.83	o 802
1580.53/1581.83	c fallback to adder encoding
1582.52/1583.82	o 800
1582.52/1583.82	c fallback to adder encoding
1584.72/1586.04	o 799
1584.72/1586.04	c fallback to adder encoding
1588.02/1589.31	o 798
1588.02/1589.31	c fallback to adder encoding
1590.53/1591.90	o 791
1590.53/1591.90	c fallback to adder encoding
1592.12/1593.47	o 790
1592.12/1593.47	c fallback to adder encoding
1595.63/1596.90	o 789
1595.63/1596.90	c fallback to adder encoding
1600.09/1601.40	o 783
1600.09/1601.40	c fallback to adder encoding
1603.09/1604.41	o 782
1603.09/1604.41	c fallback to adder encoding
1605.72/1607.08	o 781
1605.72/1607.08	c fallback to adder encoding
1609.02/1610.40	o 779
1609.02/1610.40	c fallback to adder encoding
1611.11/1612.41	o 778
1611.11/1612.41	c fallback to adder encoding
1613.80/1615.12	o 775
1613.80/1615.12	c fallback to adder encoding
1616.89/1618.24	o 774
1616.89/1618.24	c fallback to adder encoding
1624.30/1625.68	o 773
1624.30/1625.68	c fallback to adder encoding
1628.69/1630.07	o 772
1628.69/1630.07	c fallback to adder encoding
1631.20/1632.59	o 771
1631.20/1632.59	c fallback to adder encoding
1634.00/1635.36	o 770
1634.00/1635.36	c fallback to adder encoding
1639.31/1640.63	o 769
1639.31/1640.63	c fallback to adder encoding
1641.60/1642.94	o 766
1641.60/1642.94	c fallback to adder encoding
1642.90/1644.22	o 765
1642.90/1644.22	c fallback to adder encoding
1645.58/1646.90	o 760
1645.58/1646.90	c fallback to adder encoding
1646.58/1647.91	o 759
1646.58/1647.91	c fallback to adder encoding
1647.70/1649.06	o 755
1647.70/1649.06	c fallback to adder encoding
1649.59/1650.93	o 753
1649.59/1650.93	c fallback to adder encoding
1651.09/1652.43	o 729
1651.09/1652.43	c fallback to adder encoding
1653.39/1654.76	o 726
1653.39/1654.76	c fallback to adder encoding
1654.87/1656.21	o 724
1654.87/1656.21	c fallback to adder encoding
1656.07/1657.48	o 717
1656.07/1657.48	c fallback to adder encoding
1659.20/1660.69	o 716
1659.20/1660.69	c fallback to adder encoding
1660.72/1662.17	o 713
1660.72/1662.17	c fallback to adder encoding
1662.98/1664.40	o 712
1662.98/1664.40	c fallback to adder encoding
1664.38/1665.80	o 711
1664.38/1665.80	c fallback to adder encoding
1667.31/1668.75	o 709
1667.31/1668.75	c fallback to adder encoding
1669.08/1670.53	o 701
1669.08/1670.53	c fallback to adder encoding
1670.17/1671.65	o 696
1670.17/1671.65	c fallback to adder encoding
1671.68/1673.13	o 690
1671.68/1673.13	c fallback to adder encoding
1678.28/1679.72	o 688
1678.28/1679.72	c fallback to adder encoding
1679.29/1680.78	o 683
1679.29/1680.78	c fallback to adder encoding
1681.96/1683.48	o 682
1681.96/1683.48	c fallback to adder encoding
1684.64/1686.12	o 681
1684.64/1686.12	c fallback to adder encoding
1686.54/1688.09	o 674
1686.54/1688.09	c fallback to adder encoding
1688.56/1690.02	o 672
1688.56/1690.02	c fallback to adder encoding
1690.03/1691.50	o 671
1690.03/1691.50	c fallback to adder encoding
1691.45/1692.96	o 669
1691.45/1692.96	c fallback to adder encoding
1694.04/1695.57	o 668
1694.04/1695.57	c fallback to adder encoding
1696.05/1697.54	o 667
1696.05/1697.54	c fallback to adder encoding
1696.95/1698.43	o 665
1696.95/1698.43	c fallback to adder encoding
1698.94/1700.48	o 657
1698.94/1700.48	c fallback to adder encoding
1703.03/1704.50	o 656
1703.03/1704.50	c fallback to adder encoding
1704.74/1706.25	o 651
1704.74/1706.25	c fallback to adder encoding
1706.04/1707.56	o 650
1706.04/1707.56	c fallback to adder encoding
1707.84/1709.40	o 648
1707.84/1709.40	c fallback to adder encoding
1711.33/1712.88	o 647
1711.33/1712.88	c fallback to adder encoding
1712.42/1713.90	o 641
1712.42/1713.90	c fallback to adder encoding
1713.91/1715.40	o 640
1713.91/1715.40	c fallback to adder encoding
1716.02/1717.54	o 598
1716.02/1717.54	c fallback to adder encoding
1717.84/1719.39	o 593
1717.84/1719.39	c fallback to adder encoding
1717.96/1720.13	o 592
1717.96/1720.13	c fallback to adder encoding
1720.22/1721.70	o 590
1720.22/1721.70	c fallback to adder encoding
1721.24/1722.75	o 589
1721.24/1722.75	c fallback to adder encoding
1723.21/1724.72	o 585
1723.21/1724.72	c fallback to adder encoding
1726.69/1728.20	o 580
1726.69/1728.20	c fallback to adder encoding
1728.69/1730.27	o 577
1728.69/1730.27	c fallback to adder encoding
1730.18/1731.73	o 572
1730.18/1731.73	c fallback to adder encoding
1731.64/1733.20	o 571
1731.64/1733.20	c fallback to adder encoding
1732.24/1733.87	o 568
1732.24/1733.87	c fallback to adder encoding
1733.14/1734.77	o 549
1733.14/1734.77	c fallback to adder encoding
1733.24/1735.16	o 543
1733.24/1735.16	c fallback to adder encoding
1734.23/1735.87	o 536
1734.23/1735.87	c fallback to adder encoding
1736.44/1738.05	o 532
1736.44/1738.05	c fallback to adder encoding
1738.03/1739.61	o 513
1738.03/1739.61	c fallback to adder encoding
1740.33/1741.93	o 512
1740.33/1741.93	c fallback to adder encoding
1740.94/1742.59	o 510
1740.94/1742.59	c fallback to adder encoding
1741.53/1743.11	o 503
1741.53/1743.11	c fallback to adder encoding
1742.12/1743.76	o 502
1742.12/1743.76	c fallback to adder encoding
1743.04/1744.69	o 501
1743.04/1744.69	c fallback to adder encoding
1743.14/1745.25	o 500
1743.14/1745.25	c fallback to adder encoding
1744.02/1745.68	o 499
1744.02/1745.68	c fallback to adder encoding
1744.69/1746.31	o 498
1744.69/1746.31	c fallback to adder encoding
1745.40/1747.05	o 497
1745.40/1747.05	c fallback to adder encoding
1745.50/1747.75	o 488
1745.50/1747.75	c fallback to adder encoding
1746.71/1748.35	o 482
1746.71/1748.35	c fallback to adder encoding
1747.31/1748.99	o 481
1747.31/1748.99	c fallback to adder encoding
1747.43/1749.43	o 480
1747.43/1749.43	c fallback to adder encoding
1748.51/1750.11	o 479
1748.51/1750.11	c fallback to adder encoding
1749.29/1750.92	o 469
1749.29/1750.92	c fallback to adder encoding
1749.67/1751.37	o 467
1749.67/1751.37	c fallback to adder encoding
1750.69/1752.34	o 466
1750.69/1752.34	c fallback to adder encoding
1751.79/1753.46	o 452
1751.79/1753.46	c fallback to adder encoding
1752.17/1753.80	o 451
1752.17/1753.80	c fallback to adder encoding
1753.07/1754.73	o 450
1753.07/1754.73	c fallback to adder encoding
1753.58/1755.23	o 449
1753.58/1755.23	c fallback to adder encoding
1754.16/1755.86	o 448
1754.16/1755.86	c fallback to adder encoding
1754.25/1756.29	o 445
1754.25/1756.29	c fallback to adder encoding
1754.96/1756.69	o 440
1754.96/1756.69	c fallback to adder encoding
1755.08/1757.32	o 439
1755.08/1757.32	c fallback to adder encoding
1756.16/1757.81	o 438
1756.16/1757.81	c fallback to adder encoding
1756.94/1758.60	o 437
1756.94/1758.60	c fallback to adder encoding
1757.44/1759.13	o 422
1757.44/1759.13	c fallback to adder encoding
1757.84/1759.50	o 417
1757.84/1759.50	c fallback to adder encoding
1758.35/1760.07	o 412
1758.35/1760.07	c fallback to adder encoding
1758.46/1760.88	o 411
1758.46/1760.88	c fallback to adder encoding
1759.65/1761.33	o 410
1759.65/1761.33	c fallback to adder encoding
1760.64/1762.30	o 401
1760.64/1762.30	c fallback to adder encoding
1760.68/1762.89	o 394
1760.68/1762.89	c fallback to adder encoding
1761.84/1763.53	o 393
1761.84/1763.53	c fallback to adder encoding
1762.45/1764.11	o 392
1762.45/1764.11	c fallback to adder encoding
1763.15/1764.87	o 388
1763.15/1764.87	c fallback to adder encoding
1763.85/1765.58	o 387
1763.85/1765.58	c fallback to adder encoding
1764.73/1766.42	o 386
1764.73/1766.42	c fallback to adder encoding
1765.40/1767.16	o 377
1765.40/1767.16	c fallback to adder encoding
1765.90/1767.70	o 376
1765.90/1767.70	c fallback to adder encoding
1766.03/1768.25	o 375
1766.03/1768.25	c fallback to adder encoding
1766.59/1768.57	o 374
1766.59/1768.57	c fallback to adder encoding
1767.20/1768.98	o 369
1767.20/1768.98	c fallback to adder encoding
1767.71/1769.40	o 368
1767.71/1769.40	c fallback to adder encoding
1768.11/1769.81	o 365
1768.11/1769.81	c fallback to adder encoding
1768.14/1770.26	o 364
1768.14/1770.26	c fallback to adder encoding
1768.58/1770.69	o 363
1768.58/1770.69	c fallback to adder encoding
1769.41/1771.17	o 360
1769.41/1771.17	c fallback to adder encoding
1769.51/1771.64	o 353
1769.51/1771.64	c fallback to adder encoding
1769.98/1771.93	o 352
1769.98/1771.93	c fallback to adder encoding
1770.59/1772.30	o 351
1770.59/1772.30	c fallback to adder encoding
1770.64/1772.55	o 343
1770.64/1772.55	c fallback to adder encoding
1771.29/1773.01	o 342
1771.29/1773.01	c fallback to adder encoding
1771.60/1773.38	o 341
1771.60/1773.38	c fallback to adder encoding
1771.71/1773.72	o 340
1771.71/1773.72	c fallback to adder encoding
1772.04/1774.06	o 337
1772.04/1774.06	c fallback to adder encoding
1772.70/1774.42	o 336
1772.70/1774.42	c fallback to adder encoding
1773.09/1774.80	o 335
1773.09/1774.80	c fallback to adder encoding
1773.12/1775.17	o 334
1773.12/1775.17	c fallback to adder encoding
1773.79/1775.54	o 333
1773.79/1775.54	c fallback to adder encoding
1773.86/1775.97	c display solution
1773.86/1775.97	s OPTIMUM FOUND
1773.86/1775.97	v -x1 x2 x3 -x4 x5 -x6 -x7 x8 x9 -x10 -x11 x12 x13 -x14 -x15 x16 x17 -x18 -x19 x20 x21 -x22 x23 -x24 -x25 x26 -x27 x28 -x29 x30 x31 -x32 -x33 x34 -x35 x36 x37 -x38 x39 -x40 -x41 x42 -x43 x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 -x53 x54 -x55 x56 -x57 x58 x59 -x60 x61 -x62 -x63 x64 x65 -x66 -x67 x68 -x69 x70 -x71 x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 -x87 x88 -x89 x90 x91 -x92 x93 -x94 -x95 x96 -x97 x98 -x99 x100 -x101 x102 -x103 x104 -x105 x106 x107 -x108 x109 -x110 x111 -x112 -x113 x114 -x115 x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 -x125 x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 -x135 x136 -x137 x138 -x139 x140 x141 -x142 x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 x153 -x154 x155 -x156 -x157 x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 -x167 x168 x169 -x170 -x171 x172 x173 -x174 -x175 x176 -x177 x178 x179 -x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 -x200 

Verifier Data

OK	333

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715115-1338226489/watcher-3715115-1338226489 -o /tmp/evaluation-result-3715115-1338226489/solver-3715115-1338226489 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715115-1338226489.wbo 1245906281 HOME HOME 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 13088
/proc/meminfo: memFree=30370016/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0

[startup+0.090366 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 13088
/proc/meminfo: memFree=30370016/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100274 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 13088
/proc/meminfo: memFree=30370016/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300328 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 13088
/proc/meminfo: memFree=30370016/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700281 s]
/proc/loadavg: 1.97 1.99 1.99 3/179 13088
/proc/meminfo: memFree=30370016/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50037 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 13102
/proc/meminfo: memFree=30343232/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11260 CPUtime=0.12 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 3090 6118 0 0 9 1 1 1 20 0 1 0 288773332 11530240 1930 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13089/statm: 2815 1930 165 439 0 2372 0
[pid=13101] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13101/stat : 13101 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288773346 9367552 267 33554432000 4194304 5064252 140733414614272 140733414613184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13101/statm: 2287 267 226 213 0 72 0
[pid=13102] ppid=13101 vsize=17700 CPUtime=1.34 cores=0,2,4,6
/proc/13102/stat : 13102 (glucose) R 13101 13088 26619 0 -1 4202496 3738 0 0 0 134 0 0 0 20 0 1 0 288773346 18124800 3616 33554432000 4194304 5208918 140736253144768 140736253142616 4211888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13102/statm: 4425 3616 104 248 0 4174 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 47256

[startup+3.1004 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 13102
/proc/meminfo: memFree=30340892/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11260 CPUtime=0.12 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 3090 6118 0 0 9 1 1 1 20 0 1 0 288773332 11530240 1930 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13089/statm: 2815 1930 165 439 0 2372 0
[pid=13101] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13101/stat : 13101 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288773346 9367552 267 33554432000 4194304 5064252 140733414614272 140733414613184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13101/statm: 2287 267 226 213 0 72 0
[pid=13102] ppid=13101 vsize=18180 CPUtime=2.94 cores=0,2,4,6
/proc/13102/stat : 13102 (glucose) R 13101 13088 26619 0 -1 4202496 4377 0 0 0 294 0 0 0 20 0 1 0 288773346 18616320 3791 33554432000 4194304 5208918 140736253144768 140736253142728 4211561 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13102/statm: 4545 3791 105 248 0 4294 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 47736

[startup+6.30041 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 13116
/proc/meminfo: memFree=30333008/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11260 CPUtime=0.12 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 3090 6118 0 0 9 1 1 1 20 0 1 0 288773332 11530240 1930 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13089/statm: 2815 1930 165 439 0 2372 0
[pid=13101] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13101/stat : 13101 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288773346 9367552 267 33554432000 4194304 5064252 140733414614272 140733414613184 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13101/statm: 2287 267 226 213 0 72 0
[pid=13102] ppid=13101 vsize=25392 CPUtime=6.15 cores=0,2,4,6
/proc/13102/stat : 13102 (glucose) R 13101 13088 26619 0 -1 4202496 5118 0 0 0 614 1 0 0 20 0 1 0 288773346 26001408 5553 33554432000 4194304 5208918 140736253144768 140736253142760 4211537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13102/statm: 6348 5553 105 248 0 6097 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 54948

[startup+12.7004 s]
/proc/loadavg: 1.97 1.99 1.99 3/183 13130
/proc/meminfo: memFree=30327976/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=19444 CPUtime=7.52 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 5334 14479 0 0 16 2 729 5 20 0 1 0 288773332 19910656 3951 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13089/statm: 4861 3951 165 439 0 4418 0
[pid=13122] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13122/stat : 13122 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288774085 9367552 266 33554432000 4194304 5064252 140733265572432 140733265571344 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13122/statm: 2287 266 226 213 0 72 0
[pid=13123] ppid=13122 vsize=25376 CPUtime=5.15 cores=0,2,4,6
/proc/13123/stat : 13123 (glucose) R 13122 13088 26619 0 -1 4202496 5058 0 0 0 514 1 0 0 20 0 1 0 288774086 25985024 5430 33554432000 4194304 5208918 140733988227680 140733988225672 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13123/statm: 6344 5430 105 248 0 6093 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 63116

[startup+25.5004 s]
/proc/loadavg: 1.98 1.99 1.99 3/183 13179
/proc/meminfo: memFree=30326232/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=19444 CPUtime=20.62 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 12067 38651 0 0 37 5 2004 16 20 0 1 0 288773332 19910656 3952 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13089/statm: 4861 3952 166 439 0 4418 0
[pid=13178] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13178/stat : 13178 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288775396 9367552 267 33554432000 4194304 5064252 140736935298480 140736935297392 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13178/statm: 2287 267 226 213 0 72 0
[pid=13179] ppid=13178 vsize=25424 CPUtime=4.84 cores=0,2,4,6
/proc/13179/stat : 13179 (glucose) R 13178 13088 26619 0 -1 4202496 4386 0 0 0 483 1 0 0 20 0 1 0 288775397 26034176 5804 33554432000 4194304 5208918 140737359734624 140737359732616 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13179/statm: 6356 5804 105 248 0 6105 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 63164

[startup+51.1004 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 13277
/proc/meminfo: memFree=30333308/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=19444 CPUtime=47.93 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 23287 78450 0 0 73 11 4675 34 20 0 1 0 288773332 19910656 3952 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13089/statm: 4861 3952 166 439 0 4418 0
[pid=13269] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13269/stat : 13269 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288778128 9367552 266 33554432000 4194304 5064252 140733374868400 140733374867312 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13269/statm: 2287 266 226 213 0 72 0
[pid=13270] ppid=13269 vsize=18212 CPUtime=3.12 cores=0,2,4,6
/proc/13270/stat : 13270 (glucose) R 13269 13088 26619 0 -1 4202496 3932 0 0 0 312 0 0 0 20 0 1 0 288778128 18649088 3816 33554432000 4194304 5208918 140735984885776 140735984883624 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13270/statm: 4553 3816 105 248 0 4302 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 55952

[startup+102.307 s]
/proc/loadavg: 1.93 1.96 1.98 3/183 13445
/proc/meminfo: memFree=30332604/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=19444 CPUtime=97.99 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 43483 149434 0 0 137 21 9574 67 20 0 1 0 288773332 19910656 3952 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13089/statm: 4861 3952 166 439 0 4418 0
[pid=13437] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13437/stat : 13437 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288783135 9367552 267 33554432000 4194304 5064252 140735222122800 140735222121712 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/13437/statm: 2287 267 226 213 0 72 0
[pid=13438] ppid=13437 vsize=21056 CPUtime=4.25 cores=0,2,4,6
/proc/13438/stat : 13438 (glucose) R 13437 13088 26619 0 -1 4202496 4388 0 0 0 425 0 0 0 20 0 1 0 288783136 21561344 4255 33554432000 4194304 5208918 140733811071680 140733811069528 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13438/statm: 5264 4255 105 248 0 5013 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 58796

[startup+162.3 s]
/proc/loadavg: 2.05 1.99 1.99 3/183 13606
/proc/meminfo: memFree=30321336/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=19444 CPUtime=148.92 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 59191 207422 0 0 187 29 14582 94 20 0 1 0 288773332 19910656 3952 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13089/statm: 4861 3952 166 439 0 4418 0
[pid=13584] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/13089/statm: 2813 2429 166 439 0 2370 0
Current children cumulated CPU time (s) 1541.06
Current children cumulated vsize (KiB) 20400

[startup+1602.3 s]
/proc/loadavg: 1.17 1.13 1.40 2/175 17427
/proc/meminfo: memFree=30383364/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1600.18 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 574891 2427715 0 0 1795 219 156873 1131 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
[pid=17426] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17426/stat : 17426 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288933477 9367552 266 33554432000 4194304 5064252 140733791920208 140733791919120 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17426/statm: 2287 266 226 213 0 72 0
[pid=17427] ppid=17426 vsize=12388 CPUtime=0.84 cores=0,2,4,6
/proc/17427/stat : 17427 (glucose) R 17426 13088 26619 0 -1 4202496 2888 0 0 0 84 0 0 0 20 0 1 0 288933477 12685312 2543 33554432000 4194304 5208918 140737295646656 140733791919144 4212919 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17427/statm: 3097 2543 104 248 0 2846 0
Current children cumulated CPU time (s) 1601.02
Current children cumulated vsize (KiB) 41936

[startup+1662.3 s]
/proc/loadavg: 1.06 1.10 1.37 2/174 17581
/proc/meminfo: memFree=30382860/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1660.82 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 614612 2578054 0 0 1885 229 162769 1199 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
Current children cumulated CPU time (s) 1660.82
Current children cumulated vsize (KiB) 20400

[startup+1722.3 s]
/proc/loadavg: 1.06 1.09 1.35 2/174 17784
/proc/meminfo: memFree=30384216/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1720.29 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 657755 2756944 0 0 1983 240 168532 1274 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
Current children cumulated CPU time (s) 1720.29
Current children cumulated vsize (KiB) 20400

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

[startup+1740.7 s]
/proc/loadavg: 1.04 1.09 1.34 2/174 17875
/proc/meminfo: memFree=30386092/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1738.08 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 670718 2825330 0 0 2015 243 170247 1303 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
[pid=17874] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17874/stat : 17874 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288947296 9367552 267 33554432000 4194304 5064252 140733459714192 140733459713104 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17874/statm: 2287 267 226 213 0 72 0
[pid=17875] ppid=17874 vsize=10188 CPUtime=1.05 cores=0,2,4,6
/proc/17875/stat : 17875 (glucose) R 17874 13088 26619 0 -1 4202496 2204 0 0 0 105 0 0 0 20 0 1 0 288947296 10432512 2037 33554432000 4194304 5208918 140733857670736 140733857668888 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17875/statm: 2547 2037 105 248 0 2296 0
Current children cumulated CPU time (s) 1739.13
Current children cumulated vsize (KiB) 39736

[startup+1753.5 s]
/proc/loadavg: 1.03 1.08 1.34 2/174 17994
/proc/meminfo: memFree=30386448/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1751.88 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 688249 2919891 0 0 2054 248 171546 1340 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
Current children cumulated CPU time (s) 1751.88
Current children cumulated vsize (KiB) 20400

[startup+1766.3 s]
/proc/loadavg: 1.03 1.08 1.33 2/174 18134
/proc/meminfo: memFree=30387200/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1763.95 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 706631 3026377 0 0 2092 252 172674 1377 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
Current children cumulated CPU time (s) 1763.95
Current children cumulated vsize (KiB) 20400

[startup+1772.7 s]
/proc/loadavg: 1.02 1.08 1.33 2/174 18232
/proc/meminfo: memFree=30388572/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1770.87 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 716154 3101831 0 0 2116 255 173315 1401 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
Current children cumulated CPU time (s) 1770.87
Current children cumulated vsize (KiB) 20400

[startup+1774.31 s]
/proc/loadavg: 1.02 1.08 1.33 2/174 18274
/proc/meminfo: memFree=30388012/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1772.37 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 718547 3121379 0 0 2122 256 173451 1408 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
[pid=18273] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18273/stat : 18273 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288950739 9367552 266 33554432000 4194304 5064252 140734941786000 140734941784912 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18273/statm: 2287 266 226 213 0 72 0
[pid=18274] ppid=18273 vsize=6248 CPUtime=0.22 cores=0,2,4,6
/proc/18274/stat : 18274 (glucose) R 18273 13088 26619 0 -1 4202496 1652 0 0 0 22 0 0 0 20 0 1 0 288950739 6397952 1274 33554432000 4194304 5208918 140733742746944 140734941784936 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18274/statm: 1562 1274 104 248 0 1311 0
Current children cumulated CPU time (s) 1772.59
Current children cumulated vsize (KiB) 35796

[startup+1775.1 s]
/proc/loadavg: 1.02 1.08 1.33 2/174 18274
/proc/meminfo: memFree=30388012/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1773.12 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 719734 3131312 0 0 2125 257 173519 1411 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
Current children cumulated CPU time (s) 1773.12
Current children cumulated vsize (KiB) 20400

[startup+1775.5 s]
/proc/loadavg: 1.02 1.08 1.33 2/174 18295
/proc/meminfo: memFree=30388136/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1773.49 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 720324 3136605 0 0 2126 257 173553 1413 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
[pid=18294] ppid=13089 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18294/stat : 18294 (satsolver.sh) S 13089 13088 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288950850 9367552 267 33554432000 4194304 5064252 140734379762720 140734379761632 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/18294/statm: 2287 267 226 213 0 72 0
[pid=18295] ppid=18294 vsize=6324 CPUtime=0.3 cores=0,2,4,6
/proc/18295/stat : 18295 (glucose) R 18294 13088 26619 0 -1 4202496 1603 0 0 0 30 0 0 0 20 0 1 0 288950850 6475776 1278 33554432000 4194304 5208918 140736639678432 140736639676280 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18295/statm: 1581 1278 104 248 0 1330 0
Current children cumulated CPU time (s) 1773.79
Current children cumulated vsize (KiB) 35872

[startup+1775.9 s]
/proc/loadavg: 1.02 1.08 1.33 2/174 18295
/proc/meminfo: memFree=30388136/32873844 swapFree=7388/7388
[pid=13088] ppid=13086 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13088/stat : 13088 (npSolver-wbo-It) S 13086 13088 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288773332 9367552 275 33554432000 4194304 5064252 140735848849456 140735848848368 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13088/statm: 2287 275 233 213 0 72 0
[pid=13089] ppid=13088 vsize=11252 CPUtime=1773.86 cores=0,2,4,6
/proc/13089/stat : 13089 (npSolver-wbo) S 13088 13088 26619 0 -1 4202496 720914 3141631 0 0 2128 257 173587 1414 20 0 1 0 288773332 11522048 2429 33554432000 4194304 5990268 140733472667792 140733472659216 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 17 0 0
/proc/13089/statm: 2813 2429 166 439 0 2370 0
Current children cumulated CPU time (s) 1773.86
Current children cumulated vsize (KiB) 20400

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 4.28998
#  lost CPU user time (s): 4.28998
#  lost CPU system time (s): 0

Real time (s): 1775.97
CPU time (s): 1778.58
CPU user time (s): 1761.85
CPU system time (s): 16.7365
CPU usage (%): 100.147
Max. virtual memory (cumulated for all children) (KiB): 67692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.56
system time used= 16.7365
maximum resident set size= 32352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3868686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2769984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15194
involuntary context switches= 6979

runsolver used 4.42133 second user time and 9.30358 second system time

The end

Launcher Data

Begin job on node147 at 2012-05-28 19:34:49
IDJOB=3715115
IDBENCH=79426
IDSOLVER=2296
FILE ID=node147/3715115-1338226489
RUNJOBID= node147-1338192581-26635
PBS_JOBID= 14624579
Free space on /tmp= 71664 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh09_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715115-1338226489/watcher-3715115-1338226489 -o /tmp/evaluation-result-3715115-1338226489/solver-3715115-1338226489 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3715115-1338226489.wbo 1245906281 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f2d449aa8c80edec7a2d4cb4a780c49d
RANDOM SEED=1245906281

node147.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30369636 kB
Buffers:          389212 kB
Cached:          1254840 kB
SwapCached:         5068 kB
Active:           694084 kB
Inactive:         982392 kB
Active(anon):      26516 kB
Inactive(anon):     7584 kB
Active(file):     667568 kB
Inactive(file):   974808 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:             12260 kB
Writeback:             0 kB
AnonPages:         41424 kB
Mapped:            10436 kB
Shmem:                 0 kB
Slab:             687660 kB
SReclaimable:     127944 kB
SUnreclaim:       559716 kB
KernelStack:        1544 kB
PageTables:         3904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     153632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node147 at 2012-05-28 20:04:25