Trace number 3753800

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)OPTIMUM 1693.66 1691.57

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh04_wcsp.wbo
MD5SUM54ef51abb9454409d6f66c5b853cdf79
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark95
Best CPU time to get the best result obtained on this benchmark0.013997
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 constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
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 11227
0.00/0.05	c fallback to adder encoding
7.44/7.54	o 11202
7.44/7.54	c fallback to adder encoding
11.41/11.53	o 11201
11.41/11.53	c fallback to adder encoding
24.55/24.67	o 11176
24.55/24.67	c fallback to adder encoding
31.65/31.76	o 11157
31.65/31.76	c fallback to adder encoding
43.26/43.36	o 11151
43.26/43.36	c fallback to adder encoding
50.84/50.95	o 11144
50.84/50.95	c fallback to adder encoding
56.63/56.74	o 11061
56.63/56.74	c fallback to adder encoding
62.86/62.99	o 11035
62.86/62.99	c fallback to adder encoding
71.39/71.51	o 11030
71.39/71.51	c fallback to adder encoding
74.87/74.98	o 11011
74.87/74.98	c fallback to adder encoding
79.51/79.64	o 11009
79.51/79.64	c fallback to adder encoding
83.20/83.33	o 10954
83.20/83.33	c fallback to adder encoding
90.47/90.61	o 10787
90.47/90.61	c fallback to adder encoding
93.91/94.06	o 10786
93.91/94.06	c fallback to adder encoding
102.87/103.01	o 10720
102.87/103.01	c fallback to adder encoding
110.43/110.57	o 10656
110.43/110.57	c fallback to adder encoding
136.28/136.43	o 10655
136.28/136.43	c fallback to adder encoding
144.91/145.09	o 10515
144.91/145.09	c fallback to adder encoding
148.30/148.46	o 10512
148.30/148.46	c fallback to adder encoding
151.72/151.80	o 10510
151.72/151.80	c fallback to adder encoding
159.30/159.50	o 10508
159.30/159.50	c fallback to adder encoding
167.39/167.55	o 10507
167.39/167.55	c fallback to adder encoding
173.47/173.64	o 10499
173.47/173.64	c fallback to adder encoding
180.79/180.99	o 10496
180.79/180.99	c fallback to adder encoding
184.61/184.75	o 10492
184.61/184.75	c fallback to adder encoding
190.89/191.08	o 10490
190.89/191.08	c fallback to adder encoding
195.16/195.32	o 10481
195.16/195.32	c fallback to adder encoding
199.20/199.39	o 10457
199.20/199.39	c fallback to adder encoding
209.06/209.23	o 10455
209.06/209.23	c fallback to adder encoding
213.80/213.90	o 10447
213.80/213.90	c fallback to adder encoding
222.79/222.96	o 10411
222.79/222.96	c fallback to adder encoding
228.87/229.04	o 10406
228.87/229.04	c fallback to adder encoding
232.46/232.62	o 10399
232.46/232.62	c fallback to adder encoding
246.08/246.25	o 10389
246.08/246.25	c fallback to adder encoding
251.16/251.30	o 10370
251.16/251.30	c fallback to adder encoding
261.04/261.25	o 9893
261.04/261.25	c fallback to adder encoding
267.60/267.82	o 9889
267.60/267.82	c fallback to adder encoding
271.84/272.04	o 9888
271.84/272.04	c fallback to adder encoding
276.25/276.46	o 9882
276.25/276.46	c fallback to adder encoding
280.27/280.45	o 9182
280.27/280.45	c fallback to adder encoding
290.65/290.86	o 9179
290.65/290.86	c fallback to adder encoding
297.10/297.32	o 9085
297.10/297.32	c fallback to adder encoding
302.30/302.51	o 8844
302.30/302.51	c fallback to adder encoding
315.34/315.58	o 8841
315.34/315.58	c fallback to adder encoding
328.00/328.23	o 8834
328.00/328.23	c fallback to adder encoding
336.89/337.12	o 8815
336.89/337.12	c fallback to adder encoding
340.49/340.71	o 8812
340.49/340.71	c fallback to adder encoding
343.81/344.03	o 8804
343.81/344.03	c fallback to adder encoding
348.08/348.31	o 8800
348.08/348.31	c fallback to adder encoding
354.90/355.13	o 8735
354.90/355.13	c fallback to adder encoding
364.14/364.37	o 8721
364.14/364.37	c fallback to adder encoding
371.92/372.18	o 8719
371.92/372.18	c fallback to adder encoding
375.24/375.48	o 8704
375.24/375.48	c fallback to adder encoding
383.62/383.84	o 8702
383.62/383.84	c fallback to adder encoding
388.02/388.23	o 8701
388.02/388.23	c fallback to adder encoding
391.06/391.31	o 8699
391.06/391.31	c fallback to adder encoding
394.81/395.09	o 8613
394.81/395.09	c fallback to adder encoding
405.63/405.82	o 8601
405.63/405.82	c fallback to adder encoding
412.00/412.26	o 8591
412.00/412.26	c fallback to adder encoding
429.80/430.05	o 8582
429.80/430.05	c fallback to adder encoding
457.44/457.72	o 8576
457.44/457.72	c fallback to adder encoding
465.94/466.21	o 8562
465.94/466.21	c fallback to adder encoding
473.67/473.94	o 8541
473.67/473.94	c fallback to adder encoding
493.45/493.72	o 8406
493.45/493.72	c fallback to adder encoding
495.96/496.25	o 8401
495.96/496.25	c fallback to adder encoding
506.54/506.83	o 8381
506.54/506.83	c fallback to adder encoding
510.52/510.81	o 8369
510.52/510.81	c fallback to adder encoding
513.99/514.27	o 8353
513.99/514.27	c fallback to adder encoding
519.04/519.33	o 8337
519.04/519.33	c fallback to adder encoding
534.12/534.41	o 8335
534.12/534.41	c fallback to adder encoding
538.28/538.56	o 8327
538.28/538.56	c fallback to adder encoding
542.78/543.09	o 8326
542.78/543.09	c fallback to adder encoding
546.47/546.77	o 8139
546.47/546.77	c fallback to adder encoding
550.94/551.23	o 8130
550.94/551.23	c fallback to adder encoding
552.77/553.08	o 8128
552.77/553.08	c fallback to adder encoding
566.47/566.78	o 8115
566.47/566.78	c fallback to adder encoding
571.77/572.07	o 8114
571.77/572.07	c fallback to adder encoding
573.41/573.70	o 7970
573.41/573.70	c fallback to adder encoding
576.47/576.76	o 7663
576.47/576.76	c fallback to adder encoding
579.27/579.57	o 7659
579.27/579.57	c fallback to adder encoding
582.28/582.57	o 7640
582.28/582.57	c fallback to adder encoding
591.05/591.39	o 7626
591.05/591.39	c fallback to adder encoding
593.77/594.07	o 7621
593.77/594.07	c fallback to adder encoding
596.64/596.95	o 7600
596.64/596.95	c fallback to adder encoding
599.96/600.25	o 7593
599.96/600.25	c fallback to adder encoding
602.47/602.79	o 7573
602.47/602.79	c fallback to adder encoding
604.56/604.90	o 7222
604.56/604.90	c fallback to adder encoding
607.63/607.93	o 7205
607.63/607.93	c fallback to adder encoding
610.70/611.07	o 7137
610.70/611.07	c fallback to adder encoding
621.53/621.99	o 7132
621.53/621.99	c fallback to adder encoding
626.59/627.18	o 7111
626.59/627.18	c fallback to adder encoding
632.56/633.22	o 7110
632.56/633.22	c fallback to adder encoding
636.90/637.59	o 6941
636.90/637.59	c fallback to adder encoding
643.28/643.96	o 6852
643.28/643.96	c fallback to adder encoding
646.83/647.51	o 6849
646.83/647.51	c fallback to adder encoding
652.08/652.77	o 6831
652.08/652.77	c fallback to adder encoding
657.16/657.85	o 6826
657.16/657.85	c fallback to adder encoding
662.93/663.61	o 6825
662.93/663.61	c fallback to adder encoding
665.32/666.00	o 6807
665.32/666.00	c fallback to adder encoding
671.25/671.92	o 6803
671.25/671.92	c fallback to adder encoding
673.30/673.99	o 6800
673.30/673.99	c fallback to adder encoding
678.46/679.14	o 6793
678.46/679.14	c fallback to adder encoding
689.66/690.35	o 6784
689.66/690.35	c fallback to adder encoding
698.96/699.65	o 6780
698.96/699.65	c fallback to adder encoding
702.47/703.18	o 6678
702.47/703.18	c fallback to adder encoding
714.87/715.57	o 6677
714.87/715.57	c fallback to adder encoding
719.15/719.88	o 6673
719.15/719.88	c fallback to adder encoding
723.44/724.16	o 6450
723.44/724.16	c fallback to adder encoding
728.16/728.94	o 6425
728.16/728.94	c fallback to adder encoding
731.91/732.73	o 6354
731.91/732.73	c fallback to adder encoding
736.72/737.53	o 6244
736.72/737.53	c fallback to adder encoding
740.17/741.06	o 6225
740.17/741.06	c fallback to adder encoding
743.08/744.04	o 6191
743.08/744.04	c fallback to adder encoding
747.52/748.47	o 6184
747.52/748.47	c fallback to adder encoding
749.66/750.61	o 6171
749.66/750.61	c fallback to adder encoding
755.48/756.43	o 6167
755.48/756.43	c fallback to adder encoding
758.86/759.82	o 6164
758.86/759.82	c fallback to adder encoding
765.81/766.76	o 6160
765.81/766.76	c fallback to adder encoding
768.09/769.06	o 6119
768.09/769.06	c fallback to adder encoding
776.49/777.46	o 6118
776.49/777.46	c fallback to adder encoding
780.32/781.30	o 6101
780.32/781.30	c fallback to adder encoding
785.17/786.15	o 6048
785.17/786.15	c fallback to adder encoding
789.74/790.79	o 5869
789.74/790.79	c fallback to adder encoding
795.07/796.10	o 5865
795.07/796.10	c fallback to adder encoding
798.65/799.61	o 5841
798.65/799.61	c fallback to adder encoding
801.94/803.00	o 5836
801.94/803.00	c fallback to adder encoding
806.12/807.14	o 5833
806.12/807.14	c fallback to adder encoding
809.53/810.59	o 5724
809.53/810.59	c fallback to adder encoding
811.75/812.76	o 5718
811.75/812.76	c fallback to adder encoding
815.80/816.82	o 5699
815.80/816.82	c fallback to adder encoding
818.95/819.97	o 5697
818.95/819.97	c fallback to adder encoding
821.74/822.72	o 5696
821.74/822.72	c fallback to adder encoding
826.51/827.54	o 5675
826.51/827.54	c fallback to adder encoding
830.26/831.31	o 5644
830.26/831.31	c fallback to adder encoding
835.91/836.98	o 5594
835.91/836.98	c fallback to adder encoding
839.72/840.78	o 5587
839.72/840.78	c fallback to adder encoding
845.62/846.67	o 5512
845.62/846.67	c fallback to adder encoding
849.42/850.47	o 5504
849.42/850.47	c fallback to adder encoding
858.47/859.53	o 5501
858.47/859.53	c fallback to adder encoding
864.31/865.36	o 5495
864.31/865.36	c fallback to adder encoding
868.52/869.71	o 5484
868.52/869.71	c fallback to adder encoding
873.04/874.24	o 5482
873.04/874.24	c fallback to adder encoding
879.37/880.58	o 5478
879.37/880.58	c fallback to adder encoding
881.81/883.04	o 5125
881.81/883.04	c fallback to adder encoding
894.33/895.58	o 5088
894.33/895.58	c fallback to adder encoding
901.67/902.91	o 5080
901.67/902.91	c fallback to adder encoding
905.02/906.28	o 4929
905.02/906.28	c fallback to adder encoding
914.06/915.31	o 4912
914.06/915.31	c fallback to adder encoding
916.79/918.03	o 4905
916.79/918.03	c fallback to adder encoding
920.32/921.56	o 4895
920.32/921.56	c fallback to adder encoding
922.44/923.77	o 4875
922.44/923.77	c fallback to adder encoding
926.19/927.61	o 4872
926.19/927.61	c fallback to adder encoding
934.42/935.88	o 4850
934.42/935.88	c fallback to adder encoding
937.70/939.16	o 4836
937.70/939.16	c fallback to adder encoding
942.21/943.68	o 4822
942.21/943.68	c fallback to adder encoding
958.22/959.67	o 4807
958.22/959.67	c fallback to adder encoding
961.70/963.19	o 4806
961.70/963.19	c fallback to adder encoding
965.92/967.37	o 4700
965.92/967.37	c fallback to adder encoding
971.92/973.36	o 4675
971.92/973.36	c fallback to adder encoding
975.42/976.80	o 4644
975.42/976.80	c fallback to adder encoding
982.20/983.65	o 4641
982.20/983.65	c fallback to adder encoding
987.48/988.93	o 4640
987.48/988.93	c fallback to adder encoding
1008.66/1010.12	o 4634
1008.66/1010.12	c fallback to adder encoding
1011.09/1012.56	o 4628
1011.09/1012.56	c fallback to adder encoding
1014.90/1016.34	o 4621
1014.90/1016.34	c fallback to adder encoding
1021.15/1022.62	o 4618
1021.15/1022.62	c fallback to adder encoding
1024.08/1025.55	o 4610
1024.08/1025.55	c fallback to adder encoding
1029.70/1031.17	o 4537
1029.70/1031.17	c fallback to adder encoding
1037.19/1038.66	o 4536
1037.19/1038.66	c fallback to adder encoding
1046.37/1047.84	o 4532
1046.37/1047.84	c fallback to adder encoding
1049.39/1050.87	o 4530
1049.39/1050.87	c fallback to adder encoding
1059.20/1060.67	o 4518
1059.20/1060.67	c fallback to adder encoding
1059.85/1061.33	o 3673
1059.85/1061.33	c fallback to adder encoding
1071.68/1073.18	o 3662
1071.68/1073.18	c fallback to adder encoding
1074.18/1075.66	o 3659
1074.18/1075.66	c fallback to adder encoding
1077.26/1078.73	o 3561
1077.26/1078.73	c fallback to adder encoding
1078.69/1080.17	o 3438
1078.69/1080.17	c fallback to adder encoding
1083.08/1084.52	o 3433
1083.08/1084.52	c fallback to adder encoding
1086.98/1088.47	o 3432
1086.98/1088.47	c fallback to adder encoding
1090.59/1092.06	o 3403
1090.59/1092.06	c fallback to adder encoding
1093.56/1095.04	o 3398
1093.56/1095.04	c fallback to adder encoding
1105.55/1107.03	o 3349
1105.55/1107.03	c fallback to adder encoding
1109.50/1110.90	o 3343
1109.50/1110.90	c fallback to adder encoding
1113.43/1114.92	o 3340
1113.43/1114.92	c fallback to adder encoding
1119.67/1121.15	o 3284
1119.67/1121.15	c fallback to adder encoding
1126.06/1127.54	o 3257
1126.06/1127.54	c fallback to adder encoding
1137.23/1138.72	o 3215
1137.23/1138.72	c fallback to adder encoding
1139.18/1140.70	o 3210
1139.18/1140.70	c fallback to adder encoding
1150.58/1152.06	o 3208
1150.58/1152.06	c fallback to adder encoding
1152.77/1154.27	o 3201
1152.77/1154.27	c fallback to adder encoding
1154.84/1156.33	o 3142
1154.84/1156.33	c fallback to adder encoding
1156.82/1158.33	o 3133
1156.82/1158.33	c fallback to adder encoding
1159.21/1160.72	o 3076
1159.21/1160.72	c fallback to adder encoding
1163.14/1164.64	o 3073
1163.14/1164.64	c fallback to adder encoding
1164.36/1165.85	o 3044
1164.36/1165.85	c fallback to adder encoding
1169.85/1171.37	o 3040
1169.85/1171.37	c fallback to adder encoding
1172.42/1173.93	o 2835
1172.42/1173.93	c fallback to adder encoding
1179.45/1180.97	o 2831
1179.45/1180.97	c fallback to adder encoding
1182.74/1184.28	o 2767
1182.74/1184.28	c fallback to adder encoding
1187.21/1188.72	o 2732
1187.21/1188.72	c fallback to adder encoding
1192.71/1194.22	o 2727
1192.71/1194.22	c fallback to adder encoding
1198.33/1199.84	o 2723
1198.33/1199.84	c fallback to adder encoding
1202.65/1204.19	o 2637
1202.65/1204.19	c fallback to adder encoding
1205.55/1207.08	o 2622
1205.55/1207.08	c fallback to adder encoding
1208.34/1209.88	o 2608
1208.34/1209.88	c fallback to adder encoding
1212.60/1214.15	o 2601
1212.60/1214.15	c fallback to adder encoding
1215.13/1216.79	o 2592
1215.13/1216.79	c fallback to adder encoding
1219.43/1221.08	o 2426
1219.43/1221.08	c fallback to adder encoding
1221.33/1222.96	o 2415
1221.33/1222.96	c fallback to adder encoding
1223.99/1225.62	o 2399
1223.99/1225.62	c fallback to adder encoding
1228.91/1230.55	o 2387
1228.91/1230.55	c fallback to adder encoding
1232.67/1234.31	o 2385
1232.67/1234.31	c fallback to adder encoding
1234.93/1236.56	o 2376
1234.93/1236.56	c fallback to adder encoding
1236.93/1238.53	o 2367
1236.93/1238.53	c fallback to adder encoding
1240.21/1241.91	o 2343
1240.21/1241.91	c fallback to adder encoding
1245.56/1247.28	o 2327
1245.56/1247.28	c fallback to adder encoding
1248.36/1250.06	o 2320
1248.36/1250.06	c fallback to adder encoding
1254.17/1255.89	o 2319
1254.17/1255.89	c fallback to adder encoding
1257.62/1259.32	o 2317
1257.62/1259.32	c fallback to adder encoding
1263.16/1264.86	o 2311
1263.16/1264.86	c fallback to adder encoding
1266.11/1267.82	o 2308
1266.11/1267.82	c fallback to adder encoding
1280.32/1282.04	o 2296
1280.32/1282.04	c fallback to adder encoding
1282.04/1283.79	o 2292
1282.04/1283.79	c fallback to adder encoding
1286.35/1288.10	o 2276
1286.35/1288.10	c fallback to adder encoding
1288.72/1290.43	o 2249
1288.72/1290.43	c fallback to adder encoding
1302.64/1304.39	o 2248
1302.64/1304.39	c fallback to adder encoding
1307.25/1308.98	o 2223
1307.25/1308.98	c fallback to adder encoding
1310.10/1311.81	o 2062
1310.10/1311.81	c fallback to adder encoding
1314.44/1316.18	o 2055
1314.44/1316.18	c fallback to adder encoding
1320.19/1321.90	o 2054
1320.19/1321.90	c fallback to adder encoding
1324.04/1325.77	o 2050
1324.04/1325.77	c fallback to adder encoding
1331.99/1333.73	o 2049
1331.99/1333.73	c fallback to adder encoding
1338.21/1339.95	o 2048
1338.21/1339.95	c fallback to adder encoding
1340.13/1341.88	o 1977
1340.13/1341.88	c fallback to adder encoding
1341.93/1343.68	o 1961
1341.93/1343.68	c fallback to adder encoding
1345.54/1347.26	o 1931
1345.54/1347.26	c fallback to adder encoding
1348.33/1350.09	o 1913
1348.33/1350.09	c fallback to adder encoding
1349.90/1351.62	o 1892
1349.90/1351.62	c fallback to adder encoding
1352.61/1354.33	o 1848
1352.61/1354.33	c fallback to adder encoding
1355.64/1357.35	o 1830
1355.64/1357.35	c fallback to adder encoding
1358.03/1359.98	o 1827
1358.03/1359.98	c fallback to adder encoding
1360.20/1362.19	o 1817
1360.20/1362.19	c fallback to adder encoding
1363.36/1365.30	o 1800
1363.36/1365.30	c fallback to adder encoding
1365.81/1367.76	o 1799
1365.81/1367.76	c fallback to adder encoding
1369.99/1371.98	o 1797
1369.99/1371.98	c fallback to adder encoding
1376.57/1378.54	o 1782
1376.57/1378.54	c fallback to adder encoding
1379.08/1381.07	o 1780
1379.08/1381.07	c fallback to adder encoding
1382.89/1384.85	o 1761
1382.89/1384.85	c fallback to adder encoding
1385.08/1387.06	o 1748
1385.08/1387.06	c fallback to adder encoding
1387.09/1389.09	o 1729
1387.09/1389.09	c fallback to adder encoding
1390.39/1392.37	o 1700
1390.39/1392.37	c fallback to adder encoding
1392.48/1394.44	o 1699
1392.48/1394.44	c fallback to adder encoding
1394.89/1396.86	o 1696
1394.89/1396.86	c fallback to adder encoding
1397.39/1399.39	o 1694
1397.39/1399.39	c fallback to adder encoding
1399.05/1401.02	o 1693
1399.05/1401.02	c fallback to adder encoding
1401.30/1403.26	o 1692
1401.30/1403.26	c fallback to adder encoding
1405.88/1407.90	o 1673
1405.88/1407.90	c fallback to adder encoding
1411.68/1413.66	o 1672
1411.68/1413.66	c fallback to adder encoding
1420.96/1422.97	o 1670
1420.96/1422.97	c fallback to adder encoding
1424.93/1426.91	o 1663
1424.93/1426.91	c fallback to adder encoding
1426.97/1428.95	o 1579
1426.97/1428.95	c fallback to adder encoding
1429.36/1431.34	o 1576
1429.36/1431.34	c fallback to adder encoding
1432.06/1434.04	o 1565
1432.06/1434.04	c fallback to adder encoding
1434.25/1436.23	o 1564
1434.25/1436.23	c fallback to adder encoding
1436.38/1438.35	o 1559
1436.38/1438.35	c fallback to adder encoding
1440.93/1442.91	o 1553
1440.93/1442.91	c fallback to adder encoding
1443.24/1445.22	o 1552
1443.24/1445.22	c fallback to adder encoding
1445.82/1447.80	o 1550
1445.82/1447.80	c fallback to adder encoding
1447.37/1449.35	o 1548
1447.37/1449.35	c fallback to adder encoding
1450.27/1452.28	o 1546
1450.27/1452.28	c fallback to adder encoding
1452.98/1454.99	o 1540
1452.98/1454.99	c fallback to adder encoding
1455.87/1457.89	o 1538
1455.87/1457.89	c fallback to adder encoding
1457.80/1459.70	o 1519
1457.80/1459.70	c fallback to adder encoding
1465.56/1467.53	o 1511
1465.56/1467.53	c fallback to adder encoding
1468.53/1470.50	o 1510
1468.53/1470.50	c fallback to adder encoding
1471.34/1473.32	o 1504
1471.34/1473.32	c fallback to adder encoding
1474.23/1476.22	o 1495
1474.23/1476.22	c fallback to adder encoding
1476.49/1478.47	o 1490
1476.49/1478.47	c fallback to adder encoding
1490.47/1492.46	o 1471
1490.47/1492.46	c fallback to adder encoding
1492.76/1494.78	o 1470
1492.76/1494.78	c fallback to adder encoding
1496.54/1498.54	o 1469
1496.54/1498.54	c fallback to adder encoding
1499.06/1501.04	o 1467
1499.06/1501.04	c fallback to adder encoding
1501.26/1503.29	o 1430
1501.26/1503.29	c fallback to adder encoding
1503.26/1505.29	o 1399
1503.26/1505.29	c fallback to adder encoding
1509.85/1511.84	o 1392
1509.85/1511.84	c fallback to adder encoding
1513.45/1515.47	o 1386
1513.45/1515.47	c fallback to adder encoding
1517.14/1519.13	o 1381
1517.14/1519.13	c fallback to adder encoding
1519.03/1521.02	o 1360
1519.03/1521.02	c fallback to adder encoding
1524.14/1526.14	o 1351
1524.14/1526.14	c fallback to adder encoding
1526.66/1528.68	o 1343
1526.66/1528.68	c fallback to adder encoding
1529.42/1531.42	o 1341
1529.42/1531.42	c fallback to adder encoding
1532.65/1534.64	o 1340
1532.65/1534.64	c fallback to adder encoding
1535.14/1537.16	o 1336
1535.14/1537.16	c fallback to adder encoding
1537.53/1539.61	o 1334
1537.53/1539.61	c fallback to adder encoding
1542.36/1544.48	o 1296
1542.36/1544.48	c fallback to adder encoding
1544.28/1546.34	o 1295
1544.28/1546.34	c fallback to adder encoding
1547.72/1549.87	o 1293
1547.72/1549.87	c fallback to adder encoding
1551.32/1553.45	o 1273
1551.32/1553.45	c fallback to adder encoding
1553.37/1555.50	o 1256
1553.37/1555.50	c fallback to adder encoding
1556.26/1558.55	o 1247
1556.26/1558.55	c fallback to adder encoding
1558.15/1560.43	o 1239
1558.15/1560.43	c fallback to adder encoding
1560.76/1563.02	o 1223
1560.76/1563.02	c fallback to adder encoding
1562.66/1564.97	o 1222
1562.66/1564.97	c fallback to adder encoding
1565.74/1568.05	o 1219
1565.74/1568.05	c fallback to adder encoding
1569.54/1571.84	o 1218
1569.54/1571.84	c fallback to adder encoding
1572.04/1574.35	o 1150
1572.04/1574.35	c fallback to adder encoding
1574.92/1577.22	o 1125
1574.92/1577.22	c fallback to adder encoding
1577.83/1580.15	o 1107
1577.83/1580.15	c fallback to adder encoding
1580.45/1582.75	o 1106
1580.45/1582.75	c fallback to adder encoding
1586.76/1589.00	o 1090
1586.76/1589.00	c fallback to adder encoding
1590.35/1592.75	o 1089
1590.35/1592.75	c fallback to adder encoding
1592.64/1595.11	o 1083
1592.64/1595.11	c fallback to adder encoding
1594.99/1597.47	o 1071
1594.99/1597.47	c fallback to adder encoding
1598.77/1601.27	o 1070
1598.77/1601.27	c fallback to adder encoding
1601.86/1604.35	o 1064
1601.86/1604.35	c fallback to adder encoding
1602.03/1609.27	o 1063
1602.03/1609.27	c fallback to adder encoding
1608.56/1611.08	o 1023
1608.56/1611.08	c fallback to adder encoding
1610.06/1612.57	o 997
1610.06/1612.57	c fallback to adder encoding
1611.85/1614.39	o 993
1611.85/1614.39	c fallback to adder encoding
1625.18/1627.73	o 992
1625.18/1627.73	c fallback to adder encoding
1626.10/1628.69	o 980
1626.10/1628.69	c fallback to adder encoding
1632.07/1634.61	o 966
1632.07/1634.61	c fallback to adder encoding
1633.38/1635.99	o 961
1633.38/1635.99	c fallback to adder encoding
1635.06/1637.61	o 960
1635.06/1637.61	c fallback to adder encoding
1636.82/1639.43	o 943
1636.82/1639.43	c fallback to adder encoding
1637.94/1640.57	o 939
1637.94/1640.57	c fallback to adder encoding
1639.14/1641.76	o 928
1639.14/1641.76	c fallback to adder encoding
1641.23/1643.83	o 912
1641.23/1643.83	c fallback to adder encoding
1642.44/1645.09	o 896
1642.44/1645.09	c fallback to adder encoding
1643.84/1646.44	o 895
1643.84/1646.44	c fallback to adder encoding
1645.24/1647.83	o 876
1645.24/1647.83	c fallback to adder encoding
1646.56/1649.14	o 866
1646.56/1649.14	c fallback to adder encoding
1647.82/1650.42	o 864
1647.82/1650.42	c fallback to adder encoding
1649.32/1651.90	o 863
1649.32/1651.90	c fallback to adder encoding
1650.35/1652.97	o 850
1650.35/1652.97	c fallback to adder encoding
1651.35/1653.97	o 841
1651.35/1653.97	c fallback to adder encoding
1653.24/1655.87	o 819
1653.24/1655.87	c fallback to adder encoding
1654.03/1656.61	o 817
1654.03/1656.61	c fallback to adder encoding
1655.26/1657.86	o 809
1655.26/1657.86	c fallback to adder encoding
1656.85/1659.44	o 806
1656.85/1659.44	c fallback to adder encoding
1660.14/1662.77	o 787
1660.14/1662.77	c fallback to adder encoding
1661.85/1664.45	o 786
1661.85/1664.45	c fallback to adder encoding
1663.45/1666.03	o 781
1663.45/1666.03	c fallback to adder encoding
1666.54/1669.13	o 761
1666.54/1669.13	c fallback to adder encoding
1668.25/1670.90	o 755
1668.25/1670.90	c fallback to adder encoding
1669.84/1672.46	o 739
1669.84/1672.46	c fallback to adder encoding
1672.47/1675.04	o 727
1672.47/1675.04	c fallback to adder encoding
1673.64/1676.22	o 698
1673.64/1676.22	c fallback to adder encoding
1677.06/1679.64	o 686
1677.06/1679.64	c fallback to adder encoding
1677.16/1680.28	o 676
1677.16/1680.28	c fallback to adder encoding
1678.84/1681.42	o 612
1678.84/1681.42	c fallback to adder encoding
1679.44/1682.09	o 611
1679.44/1682.09	c fallback to adder encoding
1679.61/1682.76	o 593
1679.61/1682.76	c fallback to adder encoding
1681.15/1683.75	o 585
1681.15/1683.75	c fallback to adder encoding
1682.36/1684.94	o 578
1682.36/1684.94	c fallback to adder encoding
1683.13/1685.78	o 576
1683.13/1685.78	c fallback to adder encoding
1683.82/1686.41	o 534
1683.82/1686.41	c fallback to adder encoding
1684.64/1687.23	o 533
1684.64/1687.23	c fallback to adder encoding
1685.64/1688.22	o 519
1685.64/1688.22	c fallback to adder encoding
1686.25/1688.88	o 480
1686.25/1688.88	c fallback to adder encoding
1686.74/1689.31	o 255
1686.74/1689.31	c fallback to adder encoding
1686.85/1689.41	o 246
1686.85/1689.41	c fallback to adder encoding
1686.96/1689.55	o 244
1686.96/1689.55	c fallback to adder encoding
1687.03/1689.65	o 216
1687.03/1689.65	c fallback to adder encoding
1687.12/1689.75	o 214
1687.12/1689.75	c fallback to adder encoding
1687.22/1689.85	o 204
1687.22/1689.85	c fallback to adder encoding
1687.32/1689.98	o 195
1687.64/1690.32	o 172
1688.02/1690.60	o 146
1688.04/1690.78	o 145
1688.31/1690.95	o 136
1688.48/1691.12	o 131
1688.56/1691.26	o 120
1688.69/1691.37	o 112
1688.80/1691.45	o 105
1688.92/1691.53	o 95
1688.92/1691.56	c display solution
1688.92/1691.56	s OPTIMUM FOUND
1688.92/1691.56	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	95

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-3753800-1339200514/watcher-3753800-1339200514 -o /tmp/evaluation-result-3753800-1339200514/solver-3753800-1339200514 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753800-1339200514.wbo 1150125741 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.99 1.97 1.99 3/179 12389
/proc/meminfo: memFree=28143348/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0

[startup+0.086592 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 12389
/proc/meminfo: memFree=28143348/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100257 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 12389
/proc/meminfo: memFree=28143348/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30024 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 12389
/proc/meminfo: memFree=28143348/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700277 s]
/proc/loadavg: 1.99 1.97 1.99 3/179 12389
/proc/meminfo: memFree=28143348/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 12403
/proc/meminfo: memFree=28095980/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=0.16 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 4669 5932 0 0 12 2 1 1 20 0 1 0 386177477 20611072 4503 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12390/statm: 5032 4503 179 443 0 4585 0
[pid=12402] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12402/stat : 12402 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386177495 9367552 267 33554432000 4194304 5064252 140733530709344 140733530708256 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12402/statm: 2287 267 226 213 0 72 0
[pid=12403] ppid=12402 vsize=27616 CPUtime=1.3 cores=1,3,5,7
/proc/12403/stat : 12403 (glucose) R 12402 12389 3785 0 -1 4202496 6345 0 0 0 129 1 0 0 20 0 1 0 386177496 28278784 5696 33554432000 4194304 5208918 140733314904224 140733314902072 4211176 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12403/statm: 6904 5696 104 248 0 6653 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 66040

[startup+3.10025 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 12403
/proc/meminfo: memFree=28095608/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=0.16 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 4669 5932 0 0 12 2 1 1 20 0 1 0 386177477 20611072 4503 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12390/statm: 5032 4503 179 443 0 4585 0
[pid=12402] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12402/stat : 12402 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386177495 9367552 267 33554432000 4194304 5064252 140733530709344 140733530708256 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12402/statm: 2287 267 226 213 0 72 0
[pid=12403] ppid=12402 vsize=27896 CPUtime=2.9 cores=1,3,5,7
/proc/12403/stat : 12403 (glucose) R 12402 12389 3785 0 -1 4202496 6415 0 0 0 289 1 0 0 20 0 1 0 386177496 28565504 5766 33554432000 4194304 5208918 140733314904224 140733314902184 4211897 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12403/statm: 6974 5766 105 248 0 6723 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 66320

[startup+6.30043 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 12403
/proc/meminfo: memFree=28091636/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=0.16 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 4669 5932 0 0 12 2 1 1 20 0 1 0 386177477 20611072 4503 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12390/statm: 5032 4503 179 443 0 4585 0
[pid=12402] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12402/stat : 12402 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386177495 9367552 267 33554432000 4194304 5064252 140733530709344 140733530708256 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12402/statm: 2287 267 226 213 0 72 0
[pid=12403] ppid=12402 vsize=29276 CPUtime=6.11 cores=1,3,5,7
/proc/12403/stat : 12403 (glucose) R 12402 12389 3785 0 -1 4202496 7436 0 0 0 609 2 0 0 20 0 1 0 386177496 29978624 6564 33554432000 4194304 5208918 140733314904224 140733314902312 4212371 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12403/statm: 7319 6564 105 248 0 7068 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 67700

[startup+12.7003 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 12417
/proc/meminfo: memFree=28094268/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=11.63 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 9069 27640 0 0 35 4 1111 13 20 0 1 0 386177477 20611072 4504 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12390/statm: 5032 4504 179 443 0 4585 0
[pid=12416] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12416/stat : 12416 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386178643 9367552 267 33554432000 4194304 5064252 140733877286608 140733877285520 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12416/statm: 2287 267 226 213 0 72 0
[pid=12417] ppid=12416 vsize=28160 CPUtime=1.02 cores=1,3,5,7
/proc/12417/stat : 12417 (glucose) R 12416 12389 3785 0 -1 4202496 6174 0 0 0 102 0 0 0 20 0 1 0 386178644 28835840 6083 33554432000 4194304 5208918 140736434199888 140736434197736 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12417/statm: 7040 6083 105 248 0 6789 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 66584

[startup+25.5003 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 12424
/proc/meminfo: memFree=28095064/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=24.78 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 11269 39302 0 0 47 6 2406 19 20 0 1 0 386177477 20611072 4504 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12390/statm: 5032 4504 179 443 0 4585 0
[pid=12423] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12423/stat : 12423 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386179957 9367552 267 33554432000 4194304 5064252 140736431547104 140736431546016 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12423/statm: 2287 267 226 213 0 72 0
[pid=12424] ppid=12423 vsize=28076 CPUtime=0.69 cores=1,3,5,7
/proc/12424/stat : 12424 (glucose) R 12423 12389 3785 0 -1 4202496 5945 0 0 0 68 1 0 0 20 0 1 0 386179958 28749824 5932 33554432000 4194304 5208918 140736231111312 140736231109480 4211182 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12424/statm: 7019 5932 104 248 0 6768 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 66500

[startup+51.1003 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 12438
/proc/meminfo: memFree=28085840/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=51.06 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 17869 70908 0 0 82 9 4976 39 20 0 1 0 386177477 20611072 4504 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12390/statm: 5032 4504 179 443 0 4585 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 29276

[startup+102.307 s]
/proc/loadavg: 1.99 1.97 1.99 3/184 12504
/proc/meminfo: memFree=28085336/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=94.13 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 35469 156125 0 0 174 19 9134 86 20 0 1 0 386177477 20611072 4504 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12390/statm: 5032 4504 179 443 0 4585 0
[pid=12503] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12503/stat : 12503 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386186896 9367552 267 33554432000 4194304 5064252 140735534909840 140735534908752 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12503/statm: 2287 267 226 213 0 72 0
[pid=12504] ppid=12503 vsize=36680 CPUtime=8.1 cores=1,3,5,7
/proc/12504/stat : 12504 (glucose) R 12503 12389 3785 0 -1 4202496 8172 0 0 0 808 2 0 0 20 0 1 0 386186896 37560320 8348 33554432000 4194304 5208918 140736226181840 140736226179928 4229515 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12504/statm: 9170 8348 105 248 0 8919 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 75104

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 12553
/proc/meminfo: memFree=28091220/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=159.55 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 50869 233937 0 0 255 28 15545 127 20 0 1 0 386177477 20611072 4504 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12390/statm: 5032 4504 179 443 0 4585 0
[pid=12552] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12552/stat : 12552 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386193440 9367552 266 33554432000 4194304 5064252 140733843090368 140733843089280 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12552/statm: 2287 266 226 213 0 72 0
[pid=12553] ppid=12552 vsize=28472 CPUtime=2.66 cores=1,3,5,7
/proc/12553/stat : 12553 (glucose) R 12552 12389 3785 0 -1 4202496 6726 0 0 0 265 1 0 0 20 0 1 0 386193440 29155328 6068 33554432000 4194304 5208918 140736503263024 140736503260984 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12553/statm: 7118 6068 105 248 0 6867 0
Current children cumulated CPU time (s) 162.21

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


[startup+1609.2 s]
/proc/loadavg: 2.12 2.00 1.99 3/183 17181
/proc/meminfo: memFree=28832252/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=1602.03 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 645405 3103403 0 0 3273 329 154956 1645 20 0 1 0 386177477 20611072 4506 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 20 0 0
/proc/12390/statm: 5032 4506 179 443 0 4585 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 29276
#
############


[startup+1662.3 s]
/proc/loadavg: 2.10 2.01 2.00 3/183 17440
/proc/meminfo: memFree=28841224/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=1656.98 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 694193 3300082 0 0 3462 348 160145 1743 20 0 1 0 386177477 20611072 4524 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0
/proc/12390/statm: 5032 4524 179 443 0 4585 0
[pid=17432] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17432/stat : 17432 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386343429 9367552 266 33554432000 4194304 5064252 140736784452720 140736784451632 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17432/statm: 2287 266 226 213 0 72 0
[pid=17433] ppid=17432 vsize=18340 CPUtime=2.76 cores=1,3,5,7
/proc/17433/stat : 17433 (glucose) R 17432 12389 3785 0 -1 4202496 4257 0 0 0 276 0 0 0 20 0 1 0 386343430 18780160 3989 33554432000 4194304 5208918 140733212463472 140733212461304 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17433/statm: 4585 3989 105 248 0 4334 0
Current children cumulated CPU time (s) 1659.74
Current children cumulated vsize (KiB) 56764

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

[startup+1663.9 s]
/proc/loadavg: 2.10 2.01 2.00 3/183 17447
/proc/meminfo: memFree=28842448/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=1660.32 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 696144 3307445 0 0 3469 349 160467 1747 20 0 1 0 386177477 20611072 4525 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0
/proc/12390/statm: 5032 4525 179 443 0 4585 0
[pid=17446] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17446/stat : 17446 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386343762 9367552 267 33554432000 4194304 5064252 140735063868384 140735063867296 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17446/statm: 2287 267 226 213 0 72 0
[pid=17447] ppid=17446 vsize=17792 CPUtime=1.03 cores=1,3,5,7
/proc/17447/stat : 17447 (glucose) R 17446 12389 3785 0 -1 4202496 3383 0 0 0 103 0 0 0 20 0 1 0 386343763 18219008 3726 33554432000 4194304 5208918 140735361512144 140735361510312 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17447/statm: 4448 3726 105 248 0 4197 0
Current children cumulated CPU time (s) 1661.35
Current children cumulated vsize (KiB) 56216

[startup+1676.7 s]
/proc/loadavg: 2.08 2.01 2.00 3/183 17510
/proc/meminfo: memFree=28854112/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=1673.75 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 706454 3358180 0 0 3512 354 161739 1770 20 0 1 0 386177477 20611072 4525 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0
/proc/12390/statm: 5032 4525 179 443 0 4585 0
[pid=17509] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17509/stat : 17509 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386345106 9367552 266 33554432000 4194304 5064252 140734901988176 140734901987088 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17509/statm: 2287 266 226 213 0 72 0
[pid=17510] ppid=17509 vsize=15996 CPUtime=0.39 cores=1,3,5,7
/proc/17510/stat : 17510 (glucose) R 17509 12389 3785 0 -1 4202496 3265 0 0 0 39 0 0 0 20 0 1 0 386345107 16379904 3223 33554432000 4194304 5208918 140734400929792 140734901987112 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17510/statm: 3999 3223 104 248 0 3748 0
Current children cumulated CPU time (s) 1674.14
Current children cumulated vsize (KiB) 54420

[startup+1683.1 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 17552
/proc/meminfo: memFree=28846372/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=1680.28 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 711661 3392493 0 0 3539 356 162348 1785 20 0 1 0 386177477 20611072 4525 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0
/proc/12390/statm: 5032 4525 179 443 0 4585 0
[pid=17551] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17551/stat : 17551 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386345758 9367552 267 33554432000 4194304 5064252 140735968553392 140735968552304 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17551/statm: 2287 267 226 213 0 72 0
[pid=17552] ppid=17551 vsize=12848 CPUtime=0.27 cores=1,3,5,7
/proc/17552/stat : 17552 (glucose) R 17551 12389 3785 0 -1 4202496 2544 0 0 0 27 0 0 0 20 0 1 0 386345759 13156352 2712 33554432000 4194304 5208918 140736015882976 140736015880936 4229299 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17552/statm: 3212 2712 104 248 0 2961 0
Current children cumulated CPU time (s) 1680.55
Current children cumulated vsize (KiB) 51272

[startup+1686.31 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 17573
/proc/meminfo: memFree=28844992/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=1683.29 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 714486 3412008 0 0 3553 358 162625 1793 20 0 1 0 386177477 20611072 4525 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0
/proc/12390/statm: 5032 4525 179 443 0 4585 0
[pid=17572] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17572/stat : 17572 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386346060 9367552 266 33554432000 4194304 5064252 140733915290384 140733915289296 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17572/statm: 2287 266 226 213 0 72 0
[pid=17573] ppid=17572 vsize=12940 CPUtime=0.46 cores=1,3,5,7
/proc/17573/stat : 17573 (glucose) R 17572 12389 3785 0 -1 4202496 2997 0 0 0 46 0 0 0 20 0 1 0 386346061 13250560 2775 33554432000 4194304 5208918 140737085001280 140737084999128 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17573/statm: 3235 2775 105 248 0 2984 0
Current children cumulated CPU time (s) 1683.75
Current children cumulated vsize (KiB) 51364

[startup+1689.5 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 17622
/proc/meminfo: memFree=28853652/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=1686.89 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 719412 3449222 0 0 3572 360 162951 1806 20 0 1 0 386177477 20611072 4525 33554432000 4194304 6006132 140735722165152 140735722156544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0
/proc/12390/statm: 5032 4525 179 443 0 4585 0
[pid=17621] ppid=12390 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17621/stat : 17621 (satsolver.sh) S 12390 12389 3785 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386346420 9367552 266 33554432000 4194304 5064252 140736057924752 140736057923664 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17621/statm: 2287 266 226 213 0 72 0
[pid=17622] ppid=17621 vsize=5824 CPUtime=0.07 cores=1,3,5,7
/proc/17622/stat : 17622 (glucose) R 17621 12389 3785 0 -1 4202496 1558 0 0 0 7 0 0 0 20 0 1 0 386346420 5963776 1160 33554432000 4194304 5208918 140733378467408 140736057923688 4229473 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17622/statm: 1456 1160 104 248 0 1205 0
Current children cumulated CPU time (s) 1686.96
Current children cumulated vsize (KiB) 44248

[startup+1690.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 17622
/proc/meminfo: memFree=28853652/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=1687.64 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 722648 3477776 0 0 3580 361 163010 1813 20 0 1 0 386177477 20611072 4526 33554432000 4194304 6006132 140735722165152 140735722156032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0
/proc/12390/statm: 5032 4526 180 443 0 4585 0
Current children cumulated CPU time (s) 1687.64
Current children cumulated vsize (KiB) 29276

[startup+1691.1 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 17667
/proc/meminfo: memFree=28852060/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=1688.48 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 725731 3502991 0 0 3586 362 163071 1829 20 0 1 0 386177477 20611072 4526 33554432000 4194304 6006132 140735722165152 140735722156032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0
/proc/12390/statm: 5032 4526 180 443 0 4585 0
Current children cumulated CPU time (s) 1688.48
Current children cumulated vsize (KiB) 29276

[startup+1691.5 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 17667
/proc/meminfo: memFree=28852060/32873648 swapFree=6860/6860
[pid=12389] ppid=12387 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12389/stat : 12389 (npSolver-wbo-It) S 12387 12389 3785 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 386177477 9367552 275 33554432000 4194304 5064252 140735733098880 140735733097792 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12389/statm: 2287 275 233 213 0 72 0
[pid=12390] ppid=12389 vsize=20128 CPUtime=1688.92 cores=1,3,5,7
/proc/12390/stat : 12390 (npSolver-wbo) S 12389 12389 3785 0 -1 4202496 727919 3523656 0 0 3590 363 163097 1842 20 0 1 0 386177477 20611072 4526 33554432000 4194304 6006132 140735722165152 140735722156032 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 26 0 0
/proc/12390/statm: 5032 4526 180 443 0 4585 0
Current children cumulated CPU time (s) 1688.92
Current children cumulated vsize (KiB) 29276

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.64001
#  lost CPU user time (s): 4.63
#  lost CPU system time (s): 0.0100002

Real time (s): 1691.57
CPU time (s): 1693.66
CPU user time (s): 1671.55
CPU system time (s): 22.1086
CPU usage (%): 100.123
Max. virtual memory (cumulated for all children) (KiB): 86756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1666.92
system time used= 22.0986
maximum resident set size= 44236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4260414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4778808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24756
involuntary context switches= 5878

runsolver used 3.68044 second user time and 9.76451 second system time

The end

Launcher Data 

Begin job on node116 at 2012-06-09 02:08:34
IDJOB=3753800
IDBENCH=79393
IDSOLVER=2337
FILE ID=node116/3753800-1339200514
RUNJOBID= node116-1339183089-5112
PBS_JOBID= 14643838
Free space on /tmp= 70728 MiB

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

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

MD5SUM BENCH= 54ef51abb9454409d6f66c5b853cdf79
RANDOM SEED=1150125741

node116.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.556
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.11
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.556
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.556
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	: 5438.54
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.556
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.556
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.92
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.556
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.92
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.556
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.90
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.556
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:       32873648 kB
MemFree:        28143480 kB
Buffers:          489796 kB
Cached:          2700096 kB
SwapCached:         3172 kB
Active:          1954020 kB
Inactive:        1856204 kB
Active(anon):     616960 kB
Inactive(anon):     3396 kB
Active(file):    1337060 kB
Inactive(file):  1852808 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67100548 kB
Dirty:              8600 kB
Writeback:            24 kB
AnonPages:        622808 kB
Mapped:            11744 kB
Shmem:                 0 kB
Slab:             779568 kB
SReclaimable:     223240 kB
SUnreclaim:       556328 kB
KernelStack:        1488 kB
PageTables:         5216 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     884252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    571392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70880 MiB
End job on node116 at 2012-06-09 02:36:46