Trace number 3753816

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-topDown (fixed)? (TO) 1800.04 1798.31

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh211_wcsp.wbo
MD5SUMb50e414b5ae2abd5c7b876bc50645ba2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark259
Best CPU time to get the best result obtained on this benchmark0.016996
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 constraints900
Number of soft constraints800
Number of constraints which are clauses800
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 constraint11
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
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.02	c run usual solver
0.00/0.05	o 8710
0.00/0.05	c fallback to adder encoding
8.01/8.11	o 8709
8.01/8.11	c fallback to adder encoding
25.44/25.54	o 8708
25.44/25.54	c fallback to adder encoding
31.77/31.81	o 8707
31.77/31.81	c fallback to adder encoding
37.41/37.52	o 8640
37.41/37.52	c fallback to adder encoding
46.89/47.00	o 8627
46.89/47.00	c fallback to adder encoding
54.06/54.18	o 8624
54.06/54.18	c fallback to adder encoding
58.23/58.33	o 8623
58.23/58.33	c fallback to adder encoding
67.45/67.56	o 8614
67.45/67.56	c fallback to adder encoding
73.66/73.79	o 8607
73.66/73.79	c fallback to adder encoding
83.85/83.96	o 8606
83.85/83.96	c fallback to adder encoding
94.15/94.26	o 8597
94.15/94.26	c fallback to adder encoding
102.15/102.28	o 8592
102.15/102.28	c fallback to adder encoding
115.40/115.54	o 8591
115.40/115.54	c fallback to adder encoding
119.30/119.42	o 8583
119.30/119.42	c fallback to adder encoding
125.35/125.40	o 8582
125.35/125.40	c fallback to adder encoding
129.37/129.50	o 8535
129.37/129.50	c fallback to adder encoding
134.93/135.08	o 8525
134.93/135.08	c fallback to adder encoding
139.01/139.15	o 8504
139.01/139.15	c fallback to adder encoding
144.34/144.47	o 8502
144.34/144.47	c fallback to adder encoding
148.94/149.07	o 8498
148.94/149.07	c fallback to adder encoding
153.63/153.79	o 8493
153.63/153.79	c fallback to adder encoding
160.01/160.15	o 8484
160.01/160.15	c fallback to adder encoding
165.58/165.71	o 8473
165.58/165.71	c fallback to adder encoding
167.71/167.85	o 8466
167.71/167.85	c fallback to adder encoding
175.49/175.63	o 8460
175.49/175.63	c fallback to adder encoding
188.28/188.43	o 8457
188.28/188.43	c fallback to adder encoding
192.13/192.20	o 8456
192.13/192.20	c fallback to adder encoding
194.64/194.78	o 8455
194.64/194.78	c fallback to adder encoding
198.12/198.37	o 8426
198.12/198.37	c fallback to adder encoding
202.30/202.55	o 8421
202.30/202.55	c fallback to adder encoding
205.68/205.93	o 8412
205.68/205.93	c fallback to adder encoding
209.72/209.90	o 8316
209.72/209.90	c fallback to adder encoding
211.80/212.05	o 8315
211.80/212.05	c fallback to adder encoding
215.88/216.14	o 8312
215.88/216.14	c fallback to adder encoding
220.81/221.06	o 8304
220.81/221.06	c fallback to adder encoding
227.90/228.19	o 8299
227.90/228.19	c fallback to adder encoding
234.01/234.29	o 8291
234.01/234.29	c fallback to adder encoding
236.57/236.83	o 8286
236.57/236.83	c fallback to adder encoding
239.77/240.03	o 8279
239.77/240.03	c fallback to adder encoding
243.78/244.05	o 8278
243.78/244.05	c fallback to adder encoding
249.87/250.12	o 8269
249.87/250.12	c fallback to adder encoding
253.56/253.81	o 8267
253.56/253.81	c fallback to adder encoding
258.91/259.11	o 8265
258.91/259.11	c fallback to adder encoding
262.00/262.28	o 8264
262.00/262.28	c fallback to adder encoding
268.20/268.49	o 8263
268.20/268.49	c fallback to adder encoding
269.20/269.48	o 8245
269.20/269.48	c fallback to adder encoding
271.56/271.84	o 8240
271.56/271.84	c fallback to adder encoding
274.81/275.09	o 8239
274.81/275.09	c fallback to adder encoding
282.26/282.53	o 8224
282.26/282.53	c fallback to adder encoding
286.05/286.32	o 8112
286.05/286.32	c fallback to adder encoding
288.49/288.75	o 8108
288.49/288.75	c fallback to adder encoding
294.13/294.40	o 8106
294.13/294.40	c fallback to adder encoding
301.89/302.16	o 8090
301.89/302.16	c fallback to adder encoding
304.99/305.28	o 7952
304.99/305.28	c fallback to adder encoding
308.38/308.66	o 7951
308.38/308.66	c fallback to adder encoding
311.99/312.20	o 7934
311.99/312.20	c fallback to adder encoding
314.57/314.84	o 7912
314.57/314.84	c fallback to adder encoding
320.89/321.17	o 7911
320.89/321.17	c fallback to adder encoding
323.99/324.27	o 7909
323.99/324.27	c fallback to adder encoding
325.75/326.03	o 7882
325.75/326.03	c fallback to adder encoding
331.58/331.87	o 7881
331.58/331.87	c fallback to adder encoding
334.13/334.41	o 7878
334.13/334.41	c fallback to adder encoding
344.18/344.48	o 7873
344.18/344.48	c fallback to adder encoding
347.33/347.62	o 7851
347.33/347.62	c fallback to adder encoding
354.16/354.74	o 7848
354.16/354.74	c fallback to adder encoding
360.77/361.35	o 7839
360.77/361.35	c fallback to adder encoding
363.13/363.71	o 7836
363.13/363.71	c fallback to adder encoding
368.08/368.67	o 7818
368.08/368.67	c fallback to adder encoding
371.78/372.36	o 7809
371.78/372.36	c fallback to adder encoding
374.57/375.15	o 7788
374.57/375.15	c fallback to adder encoding
377.28/377.80	o 7787
377.28/377.80	c fallback to adder encoding
379.67/380.29	o 7780
379.67/380.29	c fallback to adder encoding
384.27/384.88	o 7711
384.27/384.88	c fallback to adder encoding
388.00/388.62	o 7687
388.00/388.62	c fallback to adder encoding
392.61/393.22	o 7681
392.61/393.22	c fallback to adder encoding
398.31/398.91	o 7680
398.31/398.91	c fallback to adder encoding
402.36/402.98	o 7677
402.36/402.98	c fallback to adder encoding
405.10/405.71	o 7665
405.10/405.71	c fallback to adder encoding
409.40/410.01	o 7659
409.40/410.01	c fallback to adder encoding
412.66/413.26	o 7643
412.66/413.26	c fallback to adder encoding
414.90/415.53	o 7635
414.90/415.53	c fallback to adder encoding
418.33/418.99	o 7555
418.33/418.99	c fallback to adder encoding
428.88/429.50	o 7481
428.88/429.50	c fallback to adder encoding
432.35/432.90	o 7470
432.35/432.90	c fallback to adder encoding
434.73/435.35	o 7468
434.73/435.35	c fallback to adder encoding
439.64/440.27	o 7456
439.64/440.27	c fallback to adder encoding
442.19/442.82	o 7438
442.19/442.82	c fallback to adder encoding
450.13/450.70	o 7437
450.13/450.70	c fallback to adder encoding
454.02/454.69	o 7425
454.02/454.69	c fallback to adder encoding
459.39/460.03	o 7400
459.39/460.03	c fallback to adder encoding
463.80/464.44	o 7393
463.80/464.44	c fallback to adder encoding
468.52/469.10	o 7392
468.52/469.10	c fallback to adder encoding
472.79/473.44	o 7378
472.79/473.44	c fallback to adder encoding
475.83/476.40	o 7377
475.83/476.40	c fallback to adder encoding
478.78/479.42	o 7374
478.78/479.42	c fallback to adder encoding
487.89/488.55	o 7373
487.89/488.55	c fallback to adder encoding
492.35/493.03	o 7365
492.35/493.03	c fallback to adder encoding
493.95/494.62	o 7356
493.95/494.62	c fallback to adder encoding
499.15/499.84	o 7343
499.15/499.84	c fallback to adder encoding
503.67/504.34	o 7338
503.67/504.34	c fallback to adder encoding
508.14/508.81	o 7333
508.14/508.81	c fallback to adder encoding
511.67/512.34	o 7300
511.67/512.34	c fallback to adder encoding
513.35/514.02	o 7281
513.35/514.02	c fallback to adder encoding
516.48/517.16	o 7280
516.48/517.16	c fallback to adder encoding
518.48/519.13	o 7256
518.48/519.13	c fallback to adder encoding
521.69/522.46	o 7247
521.69/522.46	c fallback to adder encoding
529.77/530.44	o 7238
529.77/530.44	c fallback to adder encoding
534.38/535.06	o 7189
534.38/535.06	c fallback to adder encoding
537.47/538.15	o 7176
537.47/538.15	c fallback to adder encoding
543.97/544.66	o 7175
543.97/544.66	c fallback to adder encoding
549.07/549.76	o 7173
549.07/549.76	c fallback to adder encoding
553.37/554.09	o 7169
553.37/554.09	c fallback to adder encoding
559.85/560.50	o 7165
559.85/560.50	c fallback to adder encoding
562.94/563.65	o 7157
562.94/563.65	c fallback to adder encoding
576.43/577.19	o 7140
576.43/577.19	c fallback to adder encoding
579.24/579.97	o 7138
579.24/579.97	c fallback to adder encoding
583.51/584.23	o 7066
583.51/584.23	c fallback to adder encoding
590.03/590.71	o 7038
590.03/590.71	c fallback to adder encoding
604.90/605.62	o 7003
604.90/605.62	c fallback to adder encoding
630.93/631.68	o 7002
630.93/631.68	c fallback to adder encoding
633.74/634.40	o 6982
633.74/634.40	c fallback to adder encoding
637.42/638.15	o 6981
637.42/638.15	c fallback to adder encoding
641.90/642.64	o 6968
641.90/642.64	c fallback to adder encoding
654.27/655.00	o 6955
654.27/655.00	c fallback to adder encoding
658.74/659.40	o 6155
658.74/659.40	c fallback to adder encoding
663.03/663.78	o 6154
663.03/663.78	c fallback to adder encoding
666.43/667.19	o 6149
666.43/667.19	c fallback to adder encoding
669.44/670.16	o 6146
669.44/670.16	c fallback to adder encoding
675.72/676.45	o 6145
675.72/676.45	c fallback to adder encoding
677.93/678.67	o 6144
677.93/678.67	c fallback to adder encoding
682.32/683.05	o 6136
682.32/683.05	c fallback to adder encoding
686.83/687.55	o 6063
686.83/687.55	c fallback to adder encoding
691.35/692.07	o 6059
691.35/692.07	c fallback to adder encoding
695.17/695.90	o 6024
695.17/695.90	c fallback to adder encoding
700.99/701.71	o 6020
700.99/701.71	c fallback to adder encoding
706.22/706.99	o 6018
706.22/706.99	c fallback to adder encoding
712.31/713.04	o 6017
712.31/713.04	c fallback to adder encoding
719.50/720.23	o 6012
719.50/720.23	c fallback to adder encoding
723.53/724.20	o 6006
723.53/724.20	c fallback to adder encoding
727.67/728.41	o 5998
727.67/728.41	c fallback to adder encoding
733.76/734.51	o 5995
733.76/734.51	c fallback to adder encoding
738.17/738.90	o 5983
738.17/738.90	c fallback to adder encoding
744.31/745.06	o 5966
744.31/745.06	c fallback to adder encoding
750.19/750.94	o 5953
750.19/750.94	c fallback to adder encoding
757.01/757.75	o 5866
757.01/757.75	c fallback to adder encoding
761.37/762.15	o 5798
761.37/762.15	c fallback to adder encoding
764.19/764.96	o 5797
764.19/764.96	c fallback to adder encoding
769.53/770.31	o 5796
769.53/770.31	c fallback to adder encoding
775.89/776.61	o 5761
775.89/776.61	c fallback to adder encoding
789.76/790.54	o 5720
789.76/790.54	c fallback to adder encoding
793.17/793.95	o 5711
793.17/793.95	c fallback to adder encoding
800.69/801.47	o 5709
800.69/801.47	c fallback to adder encoding
807.33/808.10	o 5704
807.33/808.10	c fallback to adder encoding
813.73/814.51	o 5657
813.73/814.51	c fallback to adder encoding
816.98/817.75	o 5656
816.98/817.75	c fallback to adder encoding
825.55/826.32	o 5644
825.55/826.32	c fallback to adder encoding
833.39/834.18	o 5643
833.39/834.18	c fallback to adder encoding
839.08/839.86	o 5613
839.08/839.86	c fallback to adder encoding
843.09/843.86	o 5610
843.09/843.86	c fallback to adder encoding
847.40/848.17	o 5587
847.40/848.17	c fallback to adder encoding
850.99/851.77	o 5562
850.99/851.77	c fallback to adder encoding
855.19/855.96	o 5561
855.19/855.96	c fallback to adder encoding
857.76/858.54	o 5559
857.76/858.54	c fallback to adder encoding
874.07/874.85	o 5541
874.07/874.85	c fallback to adder encoding
877.15/877.92	o 5537
877.15/877.92	c fallback to adder encoding
887.18/887.95	o 5536
887.18/887.95	c fallback to adder encoding
889.59/890.38	o 5506
889.59/890.38	c fallback to adder encoding
894.89/895.68	o 5488
894.89/895.68	c fallback to adder encoding
897.47/898.25	o 5484
897.47/898.25	c fallback to adder encoding
901.14/901.92	o 5443
901.14/901.92	c fallback to adder encoding
906.18/906.98	o 4723
906.18/906.98	c fallback to adder encoding
910.89/911.65	o 4703
910.89/911.65	c fallback to adder encoding
915.45/916.22	o 4702
915.45/916.22	c fallback to adder encoding
918.43/919.21	o 4701
918.43/919.21	c fallback to adder encoding
923.49/924.29	o 4700
923.49/924.29	c fallback to adder encoding
925.77/926.55	o 4690
925.77/926.55	c fallback to adder encoding
933.77/934.55	o 4688
933.77/934.55	c fallback to adder encoding
936.84/937.60	o 4675
936.84/937.60	c fallback to adder encoding
942.11/942.81	o 4637
942.11/942.81	c fallback to adder encoding
946.71/947.51	o 4618
946.71/947.51	c fallback to adder encoding
950.43/951.31	o 4616
950.43/951.31	c fallback to adder encoding
955.65/956.52	o 4612
955.65/956.52	c fallback to adder encoding
960.97/961.84	o 4607
960.97/961.84	c fallback to adder encoding
965.98/966.85	o 4599
965.98/966.85	c fallback to adder encoding
973.00/973.87	o 4583
973.00/973.87	c fallback to adder encoding
977.17/978.04	o 4563
977.17/978.04	c fallback to adder encoding
982.30/983.16	o 4540
982.30/983.16	c fallback to adder encoding
986.66/987.53	o 4524
986.66/987.53	c fallback to adder encoding
990.59/991.48	o 4523
990.59/991.48	c fallback to adder encoding
994.99/995.85	o 4496
994.99/995.85	c fallback to adder encoding
999.09/999.93	o 4490
999.09/999.93	c fallback to adder encoding
1007.70/1008.57	o 4488
1007.70/1008.57	c fallback to adder encoding
1011.20/1012.09	o 4485
1011.20/1012.09	c fallback to adder encoding
1015.33/1016.20	o 4441
1015.33/1016.20	c fallback to adder encoding
1018.38/1019.26	o 4436
1018.38/1019.26	c fallback to adder encoding
1021.84/1022.74	o 4429
1021.84/1022.74	c fallback to adder encoding
1024.87/1025.79	o 4428
1024.87/1025.79	c fallback to adder encoding
1039.94/1040.82	o 4421
1039.94/1040.82	c fallback to adder encoding
1049.15/1050.04	o 4420
1049.15/1050.04	c fallback to adder encoding
1058.34/1059.22	o 4418
1058.34/1059.22	c fallback to adder encoding
1072.57/1073.40	o 4417
1072.57/1073.40	c fallback to adder encoding
1078.48/1079.30	o 4416
1078.48/1079.30	c fallback to adder encoding
1082.57/1083.46	o 4399
1082.57/1083.46	c fallback to adder encoding
1088.47/1089.36	o 4398
1088.47/1089.36	c fallback to adder encoding
1094.65/1095.53	o 4381
1094.65/1095.53	c fallback to adder encoding
1097.47/1098.38	o 4359
1097.47/1098.38	c fallback to adder encoding
1103.32/1104.21	o 4357
1103.32/1104.21	c fallback to adder encoding
1113.05/1113.94	o 4356
1113.05/1113.94	c fallback to adder encoding
1119.26/1120.19	o 4355
1119.26/1120.19	c fallback to adder encoding
1134.11/1135.02	o 4352
1134.11/1135.02	c fallback to adder encoding
1141.47/1142.30	o 4346
1141.47/1142.30	c fallback to adder encoding
1147.10/1148.00	o 4329
1147.10/1148.00	c fallback to adder encoding
1151.98/1152.84	o 4328
1151.98/1152.84	c fallback to adder encoding
1154.45/1155.34	o 4302
1154.45/1155.34	c fallback to adder encoding
1159.27/1160.17	o 4284
1159.27/1160.17	c fallback to adder encoding
1166.01/1166.91	o 4283
1166.01/1166.91	c fallback to adder encoding
1170.46/1171.39	o 4282
1170.46/1171.39	c fallback to adder encoding
1173.86/1174.77	o 4276
1173.86/1174.77	c fallback to adder encoding
1178.26/1179.20	o 4265
1178.26/1179.20	c fallback to adder encoding
1184.02/1184.93	o 4264
1184.02/1184.93	c fallback to adder encoding
1187.25/1188.18	o 4261
1187.25/1188.18	c fallback to adder encoding
1190.30/1191.20	o 4258
1190.30/1191.20	c fallback to adder encoding
1194.88/1195.77	o 4239
1194.88/1195.77	c fallback to adder encoding
1199.03/1199.93	o 4238
1199.03/1199.93	c fallback to adder encoding
1202.87/1203.71	o 4235
1202.87/1203.71	c fallback to adder encoding
1205.86/1206.72	o 4229
1205.86/1206.72	c fallback to adder encoding
1209.17/1210.07	o 4228
1209.17/1210.07	c fallback to adder encoding
1214.04/1214.91	o 4225
1214.04/1214.91	c fallback to adder encoding
1219.82/1220.78	o 4217
1219.82/1220.78	c fallback to adder encoding
1222.73/1223.68	o 4210
1222.73/1223.68	c fallback to adder encoding
1226.84/1227.78	o 4209
1226.84/1227.78	c fallback to adder encoding
1233.42/1234.35	o 4188
1233.42/1234.35	c fallback to adder encoding
1238.72/1239.69	o 4182
1238.72/1239.69	c fallback to adder encoding
1242.22/1243.17	o 4180
1242.22/1243.17	c fallback to adder encoding
1246.52/1247.40	o 4175
1246.52/1247.40	c fallback to adder encoding
1252.14/1253.11	o 4174
1252.14/1253.11	c fallback to adder encoding
1254.45/1255.41	o 4169
1254.45/1255.41	c fallback to adder encoding
1257.60/1258.59	o 4165
1257.60/1258.59	c fallback to adder encoding
1261.54/1262.50	o 4148
1261.54/1262.50	c fallback to adder encoding
1267.54/1268.53	o 4126
1267.54/1268.53	c fallback to adder encoding
1271.86/1272.83	o 4113
1271.86/1272.83	c fallback to adder encoding
1274.85/1275.83	o 4100
1274.85/1275.83	c fallback to adder encoding
1280.61/1281.51	o 4099
1280.61/1281.51	c fallback to adder encoding
1284.64/1285.63	o 4096
1284.64/1285.63	c fallback to adder encoding
1285.93/1286.90	o 4087
1285.93/1286.90	c fallback to adder encoding
1289.24/1290.21	o 4080
1289.24/1290.21	c fallback to adder encoding
1293.28/1294.26	o 4074
1293.28/1294.26	c fallback to adder encoding
1301.39/1302.36	o 4071
1301.39/1302.36	c fallback to adder encoding
1305.25/1306.23	o 4027
1305.25/1306.23	c fallback to adder encoding
1315.16/1316.14	o 3973
1315.16/1316.14	c fallback to adder encoding
1318.34/1319.32	o 3972
1318.34/1319.32	c fallback to adder encoding
1325.77/1326.76	o 3970
1325.77/1326.76	c fallback to adder encoding
1329.65/1330.64	o 3968
1329.65/1330.64	c fallback to adder encoding
1334.11/1335.11	o 3959
1334.11/1335.11	c fallback to adder encoding
1340.38/1341.30	o 3934
1340.38/1341.30	c fallback to adder encoding
1344.38/1345.30	o 3913
1344.38/1345.30	c fallback to adder encoding
1346.05/1347.08	o 3904
1346.05/1347.08	c fallback to adder encoding
1349.14/1350.13	o 3900
1349.14/1350.13	c fallback to adder encoding
1351.02/1352.01	o 3877
1351.02/1352.01	c fallback to adder encoding
1357.35/1358.35	o 3872
1357.35/1358.35	c fallback to adder encoding
1367.45/1368.43	o 3852
1367.45/1368.43	c fallback to adder encoding
1371.17/1372.17	o 3836
1371.17/1372.17	c fallback to adder encoding
1374.52/1375.52	o 3796
1374.52/1375.52	c fallback to adder encoding
1382.16/1383.17	o 3786
1382.16/1383.17	c fallback to adder encoding
1390.13/1391.13	o 3774
1390.13/1391.13	c fallback to adder encoding
1393.67/1394.66	o 3770
1393.67/1394.66	c fallback to adder encoding
1396.82/1397.82	o 3755
1396.82/1397.82	c fallback to adder encoding
1400.15/1401.14	o 3754
1400.15/1401.14	c fallback to adder encoding
1407.77/1408.76	o 3753
1407.77/1408.76	c fallback to adder encoding
1409.95/1410.95	o 3732
1409.95/1410.95	c fallback to adder encoding
1414.04/1415.03	o 3723
1414.04/1415.03	c fallback to adder encoding
1418.25/1419.27	o 3719
1418.25/1419.27	c fallback to adder encoding
1421.94/1422.94	o 3679
1421.94/1422.94	c fallback to adder encoding
1425.21/1426.20	o 3666
1425.21/1426.20	c fallback to adder encoding
1429.53/1430.53	o 3664
1429.53/1430.53	c fallback to adder encoding
1435.46/1436.46	o 3662
1435.46/1436.46	c fallback to adder encoding
1441.47/1442.46	o 3651
1441.47/1442.46	c fallback to adder encoding
1443.94/1444.99	o 3644
1443.94/1444.99	c fallback to adder encoding
1447.95/1448.98	o 3634
1447.95/1448.98	c fallback to adder encoding
1451.92/1452.93	o 3619
1451.92/1452.93	c fallback to adder encoding
1457.82/1458.83	o 3545
1457.82/1458.83	c fallback to adder encoding
1461.06/1462.09	o 3542
1461.06/1462.09	c fallback to adder encoding
1464.53/1465.53	o 3529
1464.53/1465.53	c fallback to adder encoding
1470.24/1471.25	o 3522
1470.24/1471.25	c fallback to adder encoding
1474.26/1475.28	o 3520
1474.26/1475.28	c fallback to adder encoding
1476.52/1477.52	o 3518
1476.52/1477.52	c fallback to adder encoding
1481.25/1482.28	o 3457
1481.25/1482.28	c fallback to adder encoding
1486.02/1487.02	o 3456
1486.02/1487.02	c fallback to adder encoding
1498.25/1499.25	o 3452
1498.25/1499.25	c fallback to adder encoding
1503.36/1504.39	o 3451
1503.36/1504.39	c fallback to adder encoding
1506.46/1507.40	o 3420
1506.46/1507.40	c fallback to adder encoding
1508.72/1509.74	o 3347
1508.72/1509.74	c fallback to adder encoding
1513.04/1514.06	o 3331
1513.04/1514.06	c fallback to adder encoding
1518.52/1519.55	o 3328
1518.52/1519.55	c fallback to adder encoding
1522.31/1523.33	o 3311
1522.31/1523.33	c fallback to adder encoding
1524.53/1525.54	o 3297
1524.53/1525.54	c fallback to adder encoding
1528.54/1529.60	o 3295
1528.54/1529.60	c fallback to adder encoding
1533.72/1534.74	o 3286
1533.72/1534.74	c fallback to adder encoding
1540.33/1541.37	o 3283
1540.33/1541.37	c fallback to adder encoding
1543.53/1544.55	o 3280
1543.53/1544.55	c fallback to adder encoding
1545.91/1546.94	o 3273
1545.91/1546.94	c fallback to adder encoding
1550.43/1551.48	o 3229
1550.43/1551.48	c fallback to adder encoding
1554.12/1555.14	o 3214
1554.12/1555.14	c fallback to adder encoding
1556.79/1557.81	o 3206
1556.79/1557.81	c fallback to adder encoding
1560.29/1561.32	o 3202
1560.29/1561.32	c fallback to adder encoding
1560.47/1564.57	o 3200
1560.47/1564.57	c fallback to adder encoding
1565.59/1566.61	o 3199
1565.59/1566.61	c fallback to adder encoding
1568.49/1569.51	o 3198
1568.49/1569.51	c fallback to adder encoding
1572.53/1573.55	o 3156
1572.53/1573.55	c fallback to adder encoding
1575.04/1576.10	o 2094
1575.04/1576.10	c fallback to adder encoding
1579.63/1580.69	o 2093
1579.63/1580.69	c fallback to adder encoding
1582.94/1583.99	o 2092
1582.94/1583.99	c fallback to adder encoding
1586.94/1587.94	o 2089
1586.94/1587.94	c fallback to adder encoding
1590.43/1591.43	o 2056
1590.43/1591.43	c fallback to adder encoding
1594.99/1596.00	o 2052
1594.99/1596.00	c fallback to adder encoding
1601.13/1602.14	o 2048
1601.13/1602.14	c fallback to adder encoding
1603.81/1604.83	o 2045
1603.81/1604.83	c fallback to adder encoding
1606.40/1607.43	o 2042
1606.40/1607.43	c fallback to adder encoding
1612.98/1614.02	o 2032
1612.98/1614.02	c fallback to adder encoding
1616.22/1617.29	o 2021
1616.22/1617.29	c fallback to adder encoding
1619.32/1620.32	o 2006
1619.32/1620.32	c fallback to adder encoding
1624.25/1625.36	o 2002
1624.25/1625.36	c fallback to adder encoding
1628.34/1629.49	o 1988
1628.34/1629.49	c fallback to adder encoding
1633.73/1634.87	o 1984
1633.73/1634.87	c fallback to adder encoding
1636.01/1637.12	o 1979
1636.01/1637.12	c fallback to adder encoding
1638.45/1639.55	o 1978
1638.45/1639.55	c fallback to adder encoding
1640.54/1641.69	o 1977
1640.54/1641.69	c fallback to adder encoding
1644.54/1645.61	o 1938
1644.54/1645.61	c fallback to adder encoding
1646.44/1647.55	o 1933
1646.44/1647.55	c fallback to adder encoding
1648.11/1649.22	o 1927
1648.11/1649.22	c fallback to adder encoding
1650.23/1651.39	o 1898
1650.23/1651.39	c fallback to adder encoding
1654.63/1655.76	o 1894
1654.63/1655.76	c fallback to adder encoding
1656.74/1657.89	o 1893
1656.74/1657.89	c fallback to adder encoding
1658.30/1659.41	o 1892
1658.30/1659.41	c fallback to adder encoding
1663.25/1664.40	o 1886
1663.25/1664.40	c fallback to adder encoding
1667.93/1669.05	o 1885
1667.93/1669.05	c fallback to adder encoding
1670.94/1672.09	o 1884
1670.94/1672.09	c fallback to adder encoding
1673.41/1674.56	o 1883
1673.41/1674.56	c fallback to adder encoding
1675.57/1676.71	o 1882
1675.57/1676.71	c fallback to adder encoding
1678.36/1679.54	o 1874
1678.36/1679.54	c fallback to adder encoding
1683.88/1685.06	o 1861
1683.88/1685.06	c fallback to adder encoding
1686.26/1687.41	o 1860
1686.26/1687.41	c fallback to adder encoding
1688.37/1689.58	o 1859
1688.37/1689.58	c fallback to adder encoding
1690.96/1692.14	o 1858
1690.96/1692.14	c fallback to adder encoding
1696.19/1697.36	o 1857
1696.19/1697.36	c fallback to adder encoding
1698.85/1700.02	o 1856
1698.85/1700.02	c fallback to adder encoding
1702.57/1703.76	o 1849
1702.57/1703.76	c fallback to adder encoding
1707.36/1708.54	o 1848
1707.36/1708.54	c fallback to adder encoding
1710.48/1711.66	o 1843
1710.48/1711.66	c fallback to adder encoding
1712.68/1713.84	o 1837
1712.68/1713.84	c fallback to adder encoding
1715.44/1716.62	o 1824
1715.44/1716.62	c fallback to adder encoding
1716.26/1717.44	o 1785
1716.26/1717.44	c fallback to adder encoding
1718.07/1719.25	o 1784
1718.07/1719.25	c fallback to adder encoding
1720.58/1721.77	o 1761
1720.58/1721.77	c fallback to adder encoding
1723.27/1724.49	o 1752
1723.27/1724.49	c fallback to adder encoding
1725.97/1727.17	o 1749
1725.97/1727.17	c fallback to adder encoding
1729.84/1731.04	o 1748
1729.84/1731.04	c fallback to adder encoding
1733.36/1734.50	o 1691
1733.36/1734.50	c fallback to adder encoding
1737.45/1738.69	o 1687
1737.45/1738.69	c fallback to adder encoding
1740.82/1742.01	o 1684
1740.82/1742.01	c fallback to adder encoding
1743.85/1745.09	o 1677
1743.85/1745.09	c fallback to adder encoding
1745.17/1746.47	o 1049
1745.17/1746.47	c fallback to adder encoding
1750.85/1752.17	o 1034
1750.85/1752.17	c fallback to adder encoding
1754.85/1756.16	o 1026
1754.85/1756.16	c fallback to adder encoding
1756.94/1758.23	o 1025
1756.94/1758.23	c fallback to adder encoding
1759.67/1760.90	o 1024
1759.67/1760.90	c fallback to adder encoding
1760.66/1761.95	o 1020
1760.66/1761.95	c fallback to adder encoding
1762.83/1764.13	o 1016
1762.83/1764.13	c fallback to adder encoding
1765.14/1766.43	o 1010
1765.14/1766.43	c fallback to adder encoding
1768.34/1769.60	o 1009
1768.34/1769.60	c fallback to adder encoding
1770.29/1771.60	o 994
1770.29/1771.60	c fallback to adder encoding
1774.95/1776.26	o 993
1774.95/1776.26	c fallback to adder encoding
1776.72/1778.03	o 975
1776.72/1778.03	c fallback to adder encoding
1780.05/1781.30	o 974
1780.05/1781.30	c fallback to adder encoding
1782.04/1783.35	o 893
1782.04/1783.35	c fallback to adder encoding
1783.83/1785.13	o 891
1783.83/1785.13	c fallback to adder encoding
1786.04/1787.34	o 873
1786.04/1787.34	c fallback to adder encoding
1788.15/1789.45	o 854
1788.15/1789.45	c fallback to adder encoding
1788.95/1790.24	o 842
1788.95/1790.24	c fallback to adder encoding
1789.94/1791.28	o 827
1789.94/1791.28	c fallback to adder encoding
1792.24/1793.59	o 826
1792.24/1793.59	c fallback to adder encoding
1793.95/1795.26	o 813
1793.95/1795.26	c fallback to adder encoding
1795.29/1796.60	o 810
1795.29/1796.60	c fallback to adder encoding
1797.04/1798.30	./satsolver.sh: line 5: 28550 Terminated              ./glucose $1 > $2 2> /dev/null
1797.04/1798.30	c error: unexpected solver exit code
1797.04/1798.30	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

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-3753816-1339201697/watcher-3753816-1339201697 -o /tmp/evaluation-result-3753816-1339201697/solver-3753816-1339201697 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753816-1339201697.wbo 1040128634 HOME HOME 

running on 4 cores: 1,3,5,7

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.96 1.98 1.99 3/179 24145
/proc/meminfo: memFree=26330300/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0

[startup+0.079366 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 24145
/proc/meminfo: memFree=26330300/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100314 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 24145
/proc/meminfo: memFree=26330300/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300295 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 24145
/proc/meminfo: memFree=26330300/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700231 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 24145
/proc/meminfo: memFree=26330300/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 24162
/proc/meminfo: memFree=26302000/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=0.16 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 4000 4886 0 0 12 2 1 1 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 5013 4371 179 443 0 4566 0
[pid=24158] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24158/stat : 24158 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386294119 9367552 266 33554432000 4194304 5064252 140735073020992 140735073019904 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24158/statm: 2287 266 226 213 0 72 0
[pid=24159] ppid=24158 vsize=26964 CPUtime=1.31 cores=1,3,5,7
/proc/24159/stat : 24159 (glucose) R 24158 24145 17144 0 -1 4202496 5538 0 0 0 130 1 0 0 20 0 1 0 386294119 27611136 5564 33554432000 4194304 5208918 140733326635456 140733326633304 4210888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24159/statm: 6741 5564 103 248 0 6490 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 65312

[startup+3.10035 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 24166
/proc/meminfo: memFree=26286140/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=0.16 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 4000 4886 0 0 12 2 1 1 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 5013 4371 179 443 0 4566 0
[pid=24158] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24158/stat : 24158 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386294119 9367552 266 33554432000 4194304 5064252 140735073020992 140735073019904 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24158/statm: 2287 266 226 213 0 72 0
[pid=24159] ppid=24158 vsize=26964 CPUtime=2.91 cores=1,3,5,7
/proc/24159/stat : 24159 (glucose) R 24158 24145 17144 0 -1 4202496 5541 0 0 0 290 1 0 0 20 0 1 0 386294119 27611136 5567 33554432000 4194304 5208918 140733326635456 140733326633304 4205192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24159/statm: 6741 5567 103 248 0 6490 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 65312

[startup+6.3004 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 24173
/proc/meminfo: memFree=26286084/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=0.16 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 4000 4886 0 0 12 2 1 1 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 5013 4371 179 443 0 4566 0
[pid=24158] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24158/stat : 24158 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386294119 9367552 266 33554432000 4194304 5064252 140735073020992 140735073019904 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24158/statm: 2287 266 226 213 0 72 0
[pid=24159] ppid=24158 vsize=28284 CPUtime=6.11 cores=1,3,5,7
/proc/24159/stat : 24159 (glucose) R 24158 24145 17144 0 -1 4202496 5990 0 0 0 610 1 0 0 20 0 1 0 386294119 28962816 6012 33554432000 4194304 5208918 140733326635456 140733326633208 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24159/statm: 7071 6012 104 248 0 6820 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 66632

[startup+12.7003 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 24192
/proc/meminfo: memFree=26308712/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=8.22 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 6063 14718 0 0 23 4 788 7 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 5013 4371 179 443 0 4566 0
[pid=24179] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24179/stat : 24179 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386294925 9367552 267 33554432000 4194304 5064252 140735685299440 140735685298352 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24179/statm: 2287 267 226 213 0 72 0
[pid=24180] ppid=24179 vsize=28528 CPUtime=4.44 cores=1,3,5,7
/proc/24180/stat : 24180 (glucose) R 24179 24145 17144 0 -1 4202496 6841 0 0 0 443 1 0 0 20 0 1 0 386294926 29212672 6073 33554432000 4194304 5208918 140736086833104 140736086829480 4211897 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24180/statm: 7132 6073 104 248 0 6881 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 66876

[startup+25.5003 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 24222
/proc/meminfo: memFree=26274368/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=25.44 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 6071 23301 0 0 23 4 2507 10 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 5013 4371 179 443 0 4566 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29200

[startup+51.1003 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 24278
/proc/meminfo: memFree=26280780/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=47.1 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 14315 57775 0 0 68 9 4598 35 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 5013 4371 179 443 0 4566 0
[pid=24270] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24270/stat : 24270 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386298814 9367552 265 33554432000 4194304 5064252 140736971469712 140736971468624 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24270/statm: 2287 265 226 213 0 72 0
[pid=24271] ppid=24270 vsize=28584 CPUtime=3.95 cores=1,3,5,7
/proc/24271/stat : 24271 (glucose) R 24270 24145 17144 0 -1 4202496 6280 0 0 0 394 1 0 0 20 0 1 0 386298815 29270016 6300 33554432000 4194304 5208918 140736720531712 140736720529384 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24271/statm: 7146 6300 104 248 0 6895 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 66932

[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 24418
/proc/meminfo: memFree=26299216/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=102.26 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) R 24145 24145 17144 0 -1 4202496 27820 129719 0 0 138 16 9993 79 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730109200 5056727 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 5013 4371 179 443 0 4566 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 29200

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 24652
/proc/meminfo: memFree=26285736/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=160.22 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 49386 231278 0 0 261 29 15596 136 20 0 1 0 386294101 20533248 4371 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24146/statm: 5013 4371 179 443 0 4566 0
[pid=24644] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24644/stat : 24644 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386310129 9367552 267 33554432000 4194304 5064252 140733514135200 140733514134112 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24644/statm: 2287 267 226 213 0 72 0
[pid=24645] ppid=24644 vsize=27908 CPUtime=2.01 cores=1,3,5,7
/proc/24645/stat : 24645 (glucose) R 24644 24145 17144 0 -1 4202496 6013 0 0 0 200 1 0 0 20 0 1 0 386310129 28577792 6049 33554432000 4194304 5208918 140734178031504 140734178029256 4469616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24645/statm: 6977 6049 104 248 0 6726 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 66256

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 24869
/proc/meminfo: memFree=26285408/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7

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

[pid=27772] ppid=27771 vsize=24512 CPUtime=2.91 cores=1,3,5,7
/proc/27772/stat : 27772 (glucose) R 27771 24145 17144 0 -1 4202496 6077 0 0 0 289 2 0 0 20 0 1 0 386436040 25100288 5307 33554432000 4194304 5208918 140733236059536 140733236057288 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27772/statm: 6128 5307 105 248 0 5877 0
Current children cumulated CPU time (s) 1421.37
Current children cumulated vsize (KiB) 62860

[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 27870
/proc/meminfo: memFree=24771444/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=1481.36 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) R 24145 24145 17144 0 -1 4202496 575807 2892286 0 0 2987 330 143163 1656 20 0 1 0 386294101 20533248 4372 33554432000 4194304 6006132 140734730117232 140734730109200 4535958 0 0 4096 0 0 0 0 17 3 0 0 13 0 0
/proc/24146/statm: 5013 4372 179 443 0 4566 0
Current children cumulated CPU time (s) 1481.36
Current children cumulated vsize (KiB) 29200

[startup+1542.31 s]
/proc/loadavg: 2.03 2.05 2.01 3/183 27962
/proc/meminfo: memFree=24769992/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=1540.52 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 588699 3009513 0 0 3111 343 148874 1724 20 0 1 0 386294101 20533248 4372 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/24146/statm: 5013 4372 179 443 0 4566 0
[pid=27961] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27961/stat : 27961 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386448249 9367552 267 33554432000 4194304 5064252 140736094942736 140736094941648 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27961/statm: 2287 267 226 213 0 72 0
[pid=27962] ppid=27961 vsize=24108 CPUtime=0.81 cores=1,3,5,7
/proc/27962/stat : 27962 (glucose) R 27961 24145 17144 0 -1 4202496 5467 0 0 0 81 0 0 0 20 0 1 0 386448250 24686592 4918 33554432000 4194304 5208918 140735014909552 140735014907400 4211027 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27962/statm: 6027 4918 105 248 0 5776 0
Current children cumulated CPU time (s) 1541.33
Current children cumulated vsize (KiB) 62456

############
# WARNING:
# current cumulated CPU time (1560.47 s) is less than in the last sample (1563.44 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (2.96997 s) to the 'lost time'.

[startup+1564.4 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 28004
/proc/meminfo: memFree=24763952/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=1560.47 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 594885 3068010 0 0 3169 349 150774 1755 20 0 1 0 386294101 20533248 4372 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/24146/statm: 5013 4372 179 443 0 4566 0
[pid=28003] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28003/stat : 28003 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386450244 9367552 266 33554432000 4194304 5064252 140735134420784 140735134419696 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28003/statm: 2287 266 226 213 0 72 0
[pid=28004] ppid=28003 vsize=28880 CPUtime=2.97 cores=1,3,5,7
/proc/28004/stat : 28004 (glucose) R 28003 24145 17144 0 -1 4202496 6531 0 0 0 296 1 0 0 20 0 1 0 386450244 29573120 6400 33554432000 4194304 5208918 140734953555888 140734953553736 4229344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28004/statm: 7220 6400 105 248 0 6969 0
Current children cumulated CPU time (s) 1563.44
Current children cumulated vsize (KiB) 67228

[startup+1564.5 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 28004
/proc/meminfo: memFree=24763952/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=1560.47 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) R 24145 24145 17144 0 -1 4202496 594885 3068010 0 0 3169 349 150774 1755 20 0 1 0 386294101 20533248 4372 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 0 0 0 17 3 0 0 13 0 0
/proc/24146/statm: 5013 4372 179 443 0 4566 0
Current children cumulated CPU time (s) 1560.47
Current children cumulated vsize (KiB) 29200
#
############


[startup+1602.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/183 28074
/proc/meminfo: memFree=24764296/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=1601.29 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 606226 3173494 0 0 3273 359 154684 1813 20 0 1 0 386294101 20533248 4373 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/24146/statm: 5013 4373 179 443 0 4566 0
Current children cumulated CPU time (s) 1601.29
Current children cumulated vsize (KiB) 29200

[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 28207
/proc/meminfo: memFree=24757832/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=1658.47 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 624784 3337161 0 0 3431 376 160138 1902 20 0 1 0 386294101 20533248 4373 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/24146/statm: 5013 4373 179 443 0 4566 0
[pid=28206] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28206/stat : 28206 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386460053 9367552 266 33554432000 4194304 5064252 140733669908512 140733669907424 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28206/statm: 2287 266 226 213 0 72 0
[pid=28207] ppid=28206 vsize=22460 CPUtime=2.77 cores=1,3,5,7
/proc/28207/stat : 28207 (glucose) R 28206 24145 17144 0 -1 4202496 5427 0 0 0 276 1 0 0 20 0 1 0 386460053 22999040 4827 33554432000 4194304 5208918 140736236360272 140736236358232 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28207/statm: 5615 4827 104 248 0 5364 0
Current children cumulated CPU time (s) 1661.24
Current children cumulated vsize (KiB) 60808

[startup+1722.3 s]
/proc/loadavg: 2.14 2.08 2.02 3/183 28340
/proc/meminfo: memFree=24752484/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=1720.75 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 645404 3520435 0 0 3607 395 166074 1999 20 0 1 0 386294101 20533248 4373 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/24146/statm: 5013 4373 179 443 0 4566 0
Current children cumulated CPU time (s) 1720.75
Current children cumulated vsize (KiB) 29200

[startup+1782.3 s]
/proc/loadavg: 2.09 2.08 2.01 3/183 28487
/proc/meminfo: memFree=24742580/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=1780.14 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 666015 3691515 0 0 3773 412 171731 2098 20 0 1 0 386294101 20533248 4377 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/24146/statm: 5013 4377 179 443 0 4566 0
[pid=28486] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28486/stat : 28486 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 386472240 9367552 267 33554432000 4194304 5064252 140735880463520 140735880462432 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28486/statm: 2287 267 226 213 0 72 0
[pid=28487] ppid=28486 vsize=18616 CPUtime=0.89 cores=1,3,5,7
/proc/28487/stat : 28487 (glucose) R 28486 24145 17144 0 -1 4202496 4390 0 0 0 89 0 0 0 20 0 1 0 386472241 19062784 4009 33554432000 4194304 5208918 140736130013888 140736130011560 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28487/statm: 4654 4009 104 248 0 4403 0
Current children cumulated CPU time (s) 1781.03
Current children cumulated vsize (KiB) 56964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.3 s]
/proc/loadavg: 2.07 2.08 2.01 3/183 28550
/proc/meminfo: memFree=24742328/32873844 swapFree=7628/7628
[pid=24145] ppid=24143 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24145/stat : 24145 (npSolver-wbo-It) S 24143 24145 17144 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386294101 9367552 274 33554432000 4194304 5064252 140733587213008 140733587211920 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24145/statm: 2287 274 233 213 0 72 0
[pid=24146] ppid=24145 vsize=20052 CPUtime=1795.42 cores=1,3,5,7
/proc/24146/stat : 24146 (npSolver-wbo) S 24145 24145 17144 0 -1 4202496 673776 3759090 0 0 3834 419 173157 2132 20 0 1 0 386294101 20533248 4380 33554432000 4194304 6006132 140734730117232 140734730108624 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/24146/statm: 5013 4380 179 443 0 4566 0
[pid=28549] ppid=24146 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28549/stat : 28549 (satsolver.sh) S 24146 24145 17144 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386473769 9367552 267 33554432000 4194304 5064252 140737443294560 140737443293472 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28549/statm: 2287 267 226 213 0 72 0
[pid=28550] ppid=28549 vsize=16704 CPUtime=1.62 cores=1,3,5,7
/proc/28550/stat : 28550 (glucose) R 28549 24145 17144 0 -1 4202496 3334 0 0 0 162 0 0 0 20 0 1 0 386473769 17104896 3671 33554432000 4194304 5208918 140734349826080 140734349823912 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 4176 3671 105 248 0 3925 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 55052

Sending SIGTERM to process tree (bottom up)

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

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): 2.96997
#  lost CPU user time (s): 2.95996
#  lost CPU system time (s): 0.0100002

Real time (s): 1798.31
CPU time (s): 1800.04
CPU user time (s): 1774.51
CPU system time (s): 25.5361
CPU usage (%): 100.096
Max. virtual memory (cumulated for all children) (KiB): 85812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.55
system time used= 25.5261
maximum resident set size= 41956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4437191
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4968592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25557
involuntary context switches= 5866

runsolver used 5.40818 second user time and 14.5468 second system time

The end

Launcher Data

Begin job on node145 at 2012-06-09 02:28:17
IDJOB=3753816
IDBENCH=79422
IDSOLVER=2337
FILE ID=node145/3753816-1339201697
RUNJOBID= node145-1339183962-18405
PBS_JOBID= 14643806
Free space on /tmp= 71008 MiB

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

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

MD5SUM BENCH= b50e414b5ae2abd5c7b876bc50645ba2
RANDOM SEED=1040128634

node145.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		: 2667.149
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	: 5334.29
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		: 2667.149
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		: 2667.149
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	: 5313.38
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		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26331036 kB
Buffers:          613680 kB
Cached:          4952368 kB
SwapCached:            4 kB
Active:          2265216 kB
Inactive:        3361856 kB
Active(anon):      45032 kB
Inactive(anon):    10912 kB
Active(file):    2220184 kB
Inactive(file):  3350944 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108852 kB
Dirty:             14732 kB
Writeback:             0 kB
AnonPages:        186228 kB
Mapped:            15220 kB
Shmem:               200 kB
Slab:             775952 kB
SReclaimable:     216788 kB
SUnreclaim:       559164 kB
KernelStack:        1520 kB
PageTables:         3964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     170796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 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= 70656 MiB
End job on node145 at 2012-06-09 02:58:16