Trace number 3715133

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDownOPTIMUM 206.945 206.833

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh218_wcsp.wbo
MD5SUMe9977e481ed86e7573c7f989943259e1
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.003999
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.01	c run usual solver
0.00/0.05	o 7192
0.00/0.05	c fallback to adder encoding
1.78/1.87	o 4987
1.78/1.87	c fallback to adder encoding
2.87/2.96	o 4986
2.87/2.96	c fallback to adder encoding
4.23/4.43	o 4802
4.23/4.43	c fallback to adder encoding
5.32/5.54	o 4800
5.32/5.54	c fallback to adder encoding
6.42/6.66	o 4796
6.42/6.66	c fallback to adder encoding
7.60/7.82	o 4793
7.60/7.82	c fallback to adder encoding
9.53/9.70	o 4788
9.53/9.70	c fallback to adder encoding
11.01/11.26	o 4784
11.01/11.26	c fallback to adder encoding
12.72/12.94	o 4780
12.72/12.94	c fallback to adder encoding
14.21/14.49	o 4776
14.21/14.49	c fallback to adder encoding
16.21/16.41	o 4773
16.21/16.41	c fallback to adder encoding
17.89/18.12	o 4771
17.89/18.12	c fallback to adder encoding
19.61/19.87	o 4766
19.61/19.87	c fallback to adder encoding
22.21/22.49	o 4759
22.21/22.49	c fallback to adder encoding
23.50/23.76	o 4745
23.50/23.76	c fallback to adder encoding
25.47/25.70	o 4744
25.47/25.70	c fallback to adder encoding
27.22/27.50	o 4736
27.22/27.50	c fallback to adder encoding
27.33/28.74	o 4735
27.33/28.74	c fallback to adder encoding
29.64/29.97	o 4730
29.64/29.97	c fallback to adder encoding
30.93/31.26	o 4728
30.93/31.26	c fallback to adder encoding
31.95/32.24	o 4123
31.95/32.24	c fallback to adder encoding
34.05/34.37	o 4121
34.05/34.37	c fallback to adder encoding
36.14/36.45	o 4117
36.14/36.45	c fallback to adder encoding
38.23/38.53	o 4111
38.23/38.53	c fallback to adder encoding
40.55/40.88	o 4109
40.55/40.88	c fallback to adder encoding
42.83/43.16	o 4108
42.83/43.16	c fallback to adder encoding
44.83/45.20	o 4106
44.83/45.20	c fallback to adder encoding
45.11/45.41	o 4098
45.11/45.41	c fallback to adder encoding
47.14/47.49	o 3891
47.14/47.49	c fallback to adder encoding
48.44/48.76	o 3888
48.44/48.76	c fallback to adder encoding
49.04/49.32	o 3884
49.04/49.32	c fallback to adder encoding
50.95/51.27	o 3876
50.95/51.27	c fallback to adder encoding
51.75/52.07	o 3726
51.75/52.07	c fallback to adder encoding
52.75/53.09	o 3725
52.75/53.09	c fallback to adder encoding
54.34/54.65	o 3714
54.34/54.65	c fallback to adder encoding
54.94/55.24	o 3702
54.94/55.24	c fallback to adder encoding
56.14/56.49	o 3696
56.14/56.49	c fallback to adder encoding
57.43/57.71	o 3692
57.43/57.71	c fallback to adder encoding
58.13/58.43	o 3686
58.13/58.43	c fallback to adder encoding
59.03/59.37	o 3655
59.03/59.37	c fallback to adder encoding
59.19/60.08	o 3652
59.19/60.08	c fallback to adder encoding
61.12/61.50	o 3606
61.12/61.50	c fallback to adder encoding
61.93/62.24	o 3605
61.93/62.24	c fallback to adder encoding
63.82/64.16	o 3603
63.82/64.16	c fallback to adder encoding
64.72/65.06	o 3588
64.72/65.06	c fallback to adder encoding
66.73/67.01	o 3586
66.73/67.01	c fallback to adder encoding
68.21/68.55	o 3585
68.21/68.55	c fallback to adder encoding
69.22/69.57	o 3566
69.22/69.57	c fallback to adder encoding
70.51/70.84	o 3561
70.51/70.84	c fallback to adder encoding
71.90/72.25	o 3547
71.90/72.25	c fallback to adder encoding
73.46/73.80	o 3172
73.46/73.80	c fallback to adder encoding
75.60/75.93	o 3166
75.60/75.93	c fallback to adder encoding
75.79/76.12	o 2142
75.79/76.12	c fallback to adder encoding
78.91/79.28	o 2141
78.91/79.28	c fallback to adder encoding
80.40/80.77	o 2134
80.40/80.77	c fallback to adder encoding
82.60/82.96	o 2131
82.60/82.96	c fallback to adder encoding
85.29/85.64	o 2130
85.29/85.64	c fallback to adder encoding
87.39/87.78	o 2126
87.39/87.78	c fallback to adder encoding
88.59/88.94	o 2125
88.59/88.94	c fallback to adder encoding
90.59/90.98	o 2115
90.59/90.98	c fallback to adder encoding
92.16/92.52	o 2039
92.16/92.52	c fallback to adder encoding
92.96/93.30	o 2036
92.96/93.30	c fallback to adder encoding
94.08/94.41	o 2032
94.08/94.41	c fallback to adder encoding
94.95/95.38	o 2028
94.95/95.38	c fallback to adder encoding
96.16/96.58	o 2024
96.16/96.58	c fallback to adder encoding
96.65/97.03	o 2007
96.65/97.03	c fallback to adder encoding
97.46/97.84	o 2006
97.46/97.84	c fallback to adder encoding
98.66/99.04	o 2005
98.66/99.04	c fallback to adder encoding
100.26/100.64	o 2002
100.26/100.64	c fallback to adder encoding
101.35/101.76	o 1995
101.35/101.76	c fallback to adder encoding
102.65/103.09	o 1994
102.65/103.09	c fallback to adder encoding
103.73/104.11	o 1988
103.73/104.11	c fallback to adder encoding
104.24/104.67	o 1986
104.24/104.67	c fallback to adder encoding
104.40/105.39	o 1952
104.40/105.39	c fallback to adder encoding
105.45/105.87	o 1947
105.45/105.87	c fallback to adder encoding
105.56/106.56	o 1946
105.56/106.56	c fallback to adder encoding
107.21/107.63	o 1943
107.21/107.63	c fallback to adder encoding
107.69/108.11	o 1928
107.69/108.11	c fallback to adder encoding
108.53/108.95	o 1926
108.53/108.95	c fallback to adder encoding
109.42/109.80	o 1921
109.42/109.80	c fallback to adder encoding
110.62/111.08	o 1908
110.62/111.08	c fallback to adder encoding
112.19/112.65	o 1892
112.19/112.65	c fallback to adder encoding
112.92/113.34	o 1884
112.92/113.34	c fallback to adder encoding
113.78/114.21	o 1873
113.78/114.21	c fallback to adder encoding
114.10/114.58	o 1864
114.10/114.58	c fallback to adder encoding
115.58/116.09	o 1863
115.58/116.09	c fallback to adder encoding
116.22/116.72	o 1859
116.22/116.72	c fallback to adder encoding
116.79/117.30	o 1858
116.79/117.30	c fallback to adder encoding
117.82/118.37	o 1855
117.82/118.37	c fallback to adder encoding
119.20/119.72	o 1853
119.20/119.72	c fallback to adder encoding
120.13/120.64	o 1846
120.13/120.64	c fallback to adder encoding
120.72/121.26	o 1832
120.72/121.26	c fallback to adder encoding
121.52/122.08	o 1823
121.52/122.08	c fallback to adder encoding
121.66/122.97	o 1815
121.66/122.97	c fallback to adder encoding
123.20/123.72	o 1811
123.20/123.72	c fallback to adder encoding
123.82/124.34	o 1808
123.82/124.34	c fallback to adder encoding
124.38/124.90	o 1807
124.38/124.90	c fallback to adder encoding
124.91/125.49	o 1805
124.91/125.49	c fallback to adder encoding
126.14/126.80	o 1800
126.14/126.80	c fallback to adder encoding
126.84/127.60	o 1797
126.84/127.60	c fallback to adder encoding
127.72/128.42	o 1796
127.72/128.42	c fallback to adder encoding
129.33/130.00	o 1792
129.33/130.00	c fallback to adder encoding
130.03/130.74	o 1784
130.03/130.74	c fallback to adder encoding
130.14/131.08	o 1756
130.14/131.08	c fallback to adder encoding
131.63/132.37	o 1747
131.63/132.37	c fallback to adder encoding
131.74/133.00	o 1745
131.74/133.00	c fallback to adder encoding
133.40/134.12	o 1739
133.40/134.12	c fallback to adder encoding
134.38/135.12	o 1738
134.38/135.12	c fallback to adder encoding
135.49/136.26	o 1657
135.49/136.26	c fallback to adder encoding
135.63/136.77	o 1654
135.63/136.77	c fallback to adder encoding
136.86/137.60	o 1635
136.86/137.60	c fallback to adder encoding
136.92/138.17	o 1611
136.92/138.17	c fallback to adder encoding
138.85/139.65	o 1607
138.85/139.65	c fallback to adder encoding
140.21/141.00	o 1605
140.21/141.00	c fallback to adder encoding
141.25/142.03	o 1602
141.25/142.03	c fallback to adder encoding
142.43/143.28	o 1601
142.43/143.28	c fallback to adder encoding
144.14/144.97	o 1600
144.14/144.97	c fallback to adder encoding
144.63/145.41	o 1599
144.63/145.41	c fallback to adder encoding
145.95/146.74	o 1526
145.95/146.74	c fallback to adder encoding
147.36/148.14	o 1525
147.36/148.14	c fallback to adder encoding
148.44/149.23	o 1453
148.44/149.23	c fallback to adder encoding
149.42/150.21	o 1445
149.42/150.21	c fallback to adder encoding
150.73/151.59	o 1441
150.73/151.59	c fallback to adder encoding
151.83/152.68	o 1428
151.83/152.68	c fallback to adder encoding
153.33/154.13	o 1424
153.33/154.13	c fallback to adder encoding
154.63/155.48	o 1413
154.63/155.48	c fallback to adder encoding
156.14/156.99	o 1408
156.14/156.99	c fallback to adder encoding
157.31/158.15	o 1394
157.31/158.15	c fallback to adder encoding
158.02/158.86	o 1354
158.02/158.86	c fallback to adder encoding
159.10/159.91	o 1347
159.10/159.91	c fallback to adder encoding
160.52/161.33	o 1345
160.52/161.33	c fallback to adder encoding
162.49/163.30	o 1342
162.49/163.30	c fallback to adder encoding
164.02/164.87	o 1336
164.02/164.87	c fallback to adder encoding
164.73/165.53	o 1299
164.73/165.53	c fallback to adder encoding
165.82/166.63	o 1298
165.82/166.63	c fallback to adder encoding
167.14/167.90	o 1297
167.14/167.90	c fallback to adder encoding
168.64/169.47	o 1293
168.64/169.47	c fallback to adder encoding
170.12/170.91	o 1292
170.12/170.91	c fallback to adder encoding
171.20/172.01	o 1263
171.20/172.01	c fallback to adder encoding
172.32/173.19	o 1258
172.32/173.19	c fallback to adder encoding
173.52/174.35	o 1257
173.52/174.35	c fallback to adder encoding
175.12/176.00	o 1254
175.12/176.00	c fallback to adder encoding
176.30/177.11	o 1238
176.30/177.11	c fallback to adder encoding
177.69/178.51	o 1237
177.69/178.51	c fallback to adder encoding
179.53/180.33	o 1227
179.53/180.33	c fallback to adder encoding
180.88/181.70	o 1095
180.88/181.70	c fallback to adder encoding
181.88/182.79	o 1088
181.88/182.79	c fallback to adder encoding
183.08/183.97	o 1086
183.08/183.97	c fallback to adder encoding
183.97/184.82	o 1082
183.97/184.82	c fallback to adder encoding
184.98/185.82	o 1081
184.98/185.82	c fallback to adder encoding
186.09/186.97	o 1080
186.09/186.97	c fallback to adder encoding
187.41/188.38	o 1079
187.41/188.38	c fallback to adder encoding
188.88/189.80	o 1078
188.88/189.80	c fallback to adder encoding
190.42/191.37	o 1054
190.42/191.37	c fallback to adder encoding
192.02/192.90	o 1053
192.02/192.90	c fallback to adder encoding
192.90/193.82	o 1045
192.90/193.82	c fallback to adder encoding
194.41/195.33	o 1040
194.41/195.33	c fallback to adder encoding
195.73/196.69	o 1029
195.73/196.69	c fallback to adder encoding
196.92/197.85	o 1026
196.92/197.85	c fallback to adder encoding
198.11/199.04	o 1025
198.11/199.04	c fallback to adder encoding
199.07/200.01	o 1024
199.07/200.01	c fallback to adder encoding
199.79/200.79	o 975
199.79/200.79	c fallback to adder encoding
200.49/201.44	o 972
200.49/201.44	c fallback to adder encoding
201.88/202.87	o 962
201.88/202.87	c fallback to adder encoding
203.07/204.05	o 926
203.07/204.05	c fallback to adder encoding
203.18/204.19	o 670
203.18/204.19	c fallback to adder encoding
203.78/204.75	o 662
203.78/204.75	c fallback to adder encoding
203.87/205.27	o 656
203.87/205.27	c fallback to adder encoding
204.40/205.59	o 655
204.40/205.59	c fallback to adder encoding
204.69/205.70	o 526
204.69/205.70	c fallback to adder encoding
204.80/205.79	o 518
204.80/205.79	c fallback to adder encoding
205.16/206.10	o 517
205.16/206.10	c fallback to adder encoding
205.16/206.19	o 512
205.16/206.19	c fallback to adder encoding
205.28/206.27	o 382
205.28/206.27	c fallback to adder encoding
205.37/206.37	o 318
205.77/206.71	o 165
205.85/206.81	o 49
205.85/206.83	o 0
205.85/206.83	o 0
205.85/206.83	c display solution
205.85/206.83	s OPTIMUM FOUND
205.85/206.83	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	0

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 21745
/proc/meminfo: memFree=31215400/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0

[startup+0.085906 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 21745
/proc/meminfo: memFree=31215400/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100221 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 21745
/proc/meminfo: memFree=31215400/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300274 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 21745
/proc/meminfo: memFree=31215400/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700235 s]
/proc/loadavg: 1.98 2.00 2.00 3/179 21745
/proc/meminfo: memFree=31215400/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 1.98 2.00 2.00 3/183 21759
/proc/meminfo: memFree=31193116/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=6996 CPUtime=0.12 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 2448 5584 0 0 8 1 2 1 20 0 1 0 288616415 7163904 1374 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21746/statm: 1749 1374 166 439 0 1306 0
[pid=21758] ppid=21746 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21758/stat : 21758 (satsolver.sh) S 21746 21745 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288616428 9367552 267 33554432000 4194304 5064252 140735638571200 140735638570112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21758/statm: 2287 267 226 213 0 72 0
[pid=21759] ppid=21758 vsize=16592 CPUtime=1.36 cores=0,2,4,6
/proc/21759/stat : 21759 (glucose) R 21758 21745 12121 0 -1 4202496 4116 0 0 0 135 1 0 0 20 0 1 0 288616428 16990208 3442 33554432000 4194304 5208918 140734677518224 140734677516072 4211670 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21759/statm: 4148 3442 105 248 0 3897 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 41884

[startup+3.1003 s]
/proc/loadavg: 1.98 2.00 2.00 3/183 21773
/proc/meminfo: memFree=31209240/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11088 CPUtime=3.02 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 5820 20383 0 0 21 3 270 8 20 0 1 0 288616415 11354112 2365 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21746/statm: 2772 2365 166 439 0 2329 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 20236

[startup+6.30027 s]
/proc/loadavg: 1.90 1.99 1.99 3/183 21787
/proc/meminfo: memFree=31204172/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11088 CPUtime=5.44 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 9192 33425 0 0 34 5 490 15 20 0 1 0 288616415 11354112 2365 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21746/statm: 2772 2365 166 439 0 2329 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 20236

[startup+12.7004 s]
/proc/loadavg: 1.91 1.99 1.99 3/183 21822
/proc/meminfo: memFree=31207612/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11088 CPUtime=11.16 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 15936 61940 0 0 61 8 1018 29 20 0 1 0 288616415 11354112 2365 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21746/statm: 2772 2365 166 439 0 2329 0
[pid=21821] ppid=21746 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21821/stat : 21821 (satsolver.sh) S 21746 21745 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288617548 9367552 267 33554432000 4194304 5064252 140735303804176 140735303803088 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21821/statm: 2287 267 226 213 0 72 0
[pid=21822] ppid=21821 vsize=16776 CPUtime=1.35 cores=0,2,4,6
/proc/21822/stat : 21822 (glucose) R 21821 21745 12121 0 -1 4202496 4167 0 0 0 135 0 0 0 20 0 1 0 288617549 17178624 3536 33554432000 4194304 5208918 140734769658848 140734769656696 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21822/statm: 4194 3536 105 248 0 3943 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 46160

[startup+25.5004 s]
/proc/loadavg: 1.93 1.99 1.99 3/183 21871
/proc/meminfo: memFree=31206992/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11088 CPUtime=23.64 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 27738 112541 0 0 106 15 2190 53 20 0 1 0 288616415 11354112 2365 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21746/statm: 2772 2365 166 439 0 2329 0
[pid=21870] ppid=21746 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21870/stat : 21870 (satsolver.sh) S 21746 21745 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288618798 9367552 266 33554432000 4194304 5064252 140734529256544 140734529255456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21870/statm: 2287 266 226 213 0 72 0
[pid=21871] ppid=21870 vsize=16588 CPUtime=1.65 cores=0,2,4,6
/proc/21871/stat : 21871 (glucose) R 21870 21745 12121 0 -1 4202496 4107 0 0 0 165 0 0 0 20 0 1 0 288618798 16986112 3478 33554432000 4194304 5208918 140737247688016 140737247686168 4211580 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21871/statm: 4147 3478 105 248 0 3896 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 45972

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

[startup+28.6067 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 21885
/proc/meminfo: memFree=31206760/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11088 CPUtime=27.33 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 31110 127943 0 0 119 17 2537 60 20 0 1 0 288616415 11354112 2365 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21746/statm: 2772 2365 166 439 0 2329 0
[pid=21884] ppid=21746 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21884/stat : 21884 (satsolver.sh) S 21746 21745 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288619172 9367552 266 33554432000 4194304 5064252 140736014082384 140736014081296 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21884/statm: 2287 266 226 213 0 72 0
[pid=21885] ppid=21884 vsize=16612 CPUtime=1.01 cores=0,2,4,6
/proc/21885/stat : 21885 (glucose) R 21884 21745 12121 0 -1 4202496 4062 0 0 0 101 0 0 0 20 0 1 0 288619173 17010688 3425 33554432000 4194304 5208918 140733284094624 140733284092472 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21885/statm: 4153 3425 105 248 0 3902 0
Current children cumulated CPU time (s) 28.34
Current children cumulated vsize (KiB) 45996

[startup+28.7004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 21885
/proc/meminfo: memFree=31206760/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11088 CPUtime=27.33 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 31110 127943 0 0 119 17 2537 60 20 0 1 0 288616415 11354112 2365 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21746/statm: 2772 2365 166 439 0 2329 0
[pid=21884] ppid=21746 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21884/stat : 21884 (satsolver.sh) R 21746 21745 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288619172 9367552 266 33554432000 4194304 5064252 140736014082384 140736014081296 209883653710 0 65536 4100 65538 0 0 0 17 0 0 0 0 0 0
/proc/21884/statm: 2287 266 226 213 0 72 0
Current children cumulated CPU time (s) 27.33
Current children cumulated vsize (KiB) 29384
#
############


[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 21983
/proc/meminfo: memFree=31194148/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11088 CPUtime=49.15 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 54474 229317 0 0 209 31 4571 104 20 0 1 0 288616415 11354112 2285 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21746/statm: 2772 2285 166 439 0 2329 0
[pid=21982] ppid=21746 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21982/stat : 21982 (satsolver.sh) S 21746 21745 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288621354 9367552 267 33554432000 4194304 5064252 140736803373248 140736803372160 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21982/statm: 2287 267 226 213 0 72 0
[pid=21983] ppid=21982 vsize=16348 CPUtime=1.7 cores=0,2,4,6
/proc/21983/stat : 21983 (glucose) R 21982 21745 12121 0 -1 4202496 3890 0 0 0 169 1 0 0 20 0 1 0 288621355 16740352 3333 33554432000 4194304 5208918 140733553338336 140733553336488 4211488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21983/statm: 4087 3333 105 248 0 3836 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 45732

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 22274
/proc/meminfo: memFree=31211240/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11040 CPUtime=101.49 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 116198 492375 0 0 426 65 9432 226 20 0 1 0 288616415 11304960 2194 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21746/statm: 2760 2194 166 439 0 2317 0
[pid=22273] ppid=21746 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22273/stat : 22273 (satsolver.sh) S 21746 21745 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288626597 9367552 267 33554432000 4194304 5064252 140735941371904 140735941370816 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22273/statm: 2287 267 226 213 0 72 0
[pid=22274] ppid=22273 vsize=13096 CPUtime=0.47 cores=0,2,4,6
/proc/22274/stat : 22274 (glucose) R 22273 21745 12121 0 -1 4202496 3087 0 0 0 47 0 0 0 20 0 1 0 288626597 13410304 2848 33554432000 4194304 5208918 140733847101312 140735941370840 4211019 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22274/statm: 3274 2848 103 248 0 3023 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 42432

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 22715
/proc/meminfo: memFree=31211432/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11040 CPUtime=160.63 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 208613 886558 0 0 732 111 14797 423 20 0 1 0 288616415 11304960 2194 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21746/statm: 2760 2194 166 439 0 2317 0
[pid=22714] ppid=21746 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22714/stat : 22714 (satsolver.sh) S 21746 21745 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288632554 9367552 267 33554432000 4194304 5064252 140735455303840 140735455302752 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22714/statm: 2287 267 226 213 0 72 0
[pid=22715] ppid=22714 vsize=13132 CPUtime=0.9 cores=0,2,4,6
/proc/22715/stat : 22715 (glucose) R 22714 21745 12121 0 -1 4202496 3328 0 0 0 89 1 0 0 20 0 1 0 288632555 13447168 2879 33554432000 4194304 5208918 140737337896368 140737337894216 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22715/statm: 3283 2879 103 248 0 3032 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 42468

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

[startup+179.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 22865
/proc/meminfo: memFree=31252944/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11040 CPUtime=177.81 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 228308 972909 0 0 798 121 16397 465 20 0 1 0 288616415 11304960 2194 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21746/statm: 2760 2194 166 439 0 2317 0
Current children cumulated CPU time (s) 177.81
Current children cumulated vsize (KiB) 20188

[startup+191.9 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 22970
/proc/meminfo: memFree=31254244/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11040 CPUtime=190.55 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 243458 1037685 0 0 848 129 17584 494 20 0 1 0 288616415 11304960 2194 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21746/statm: 2760 2194 166 439 0 2317 0
Current children cumulated CPU time (s) 190.55
Current children cumulated vsize (KiB) 20188

[startup+198.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 23024
/proc/meminfo: memFree=31267384/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11040 CPUtime=197.02 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 251033 1070697 0 0 873 133 18187 509 20 0 1 0 288616415 11304960 2194 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21746/statm: 2760 2194 166 439 0 2317 0
Current children cumulated CPU time (s) 197.02
Current children cumulated vsize (KiB) 20188

[startup+201.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 23054
/proc/meminfo: memFree=31255788/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=11020 CPUtime=200.59 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 256787 1096195 0 0 890 137 18512 520 20 0 1 0 288616415 11284480 2079 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21746/statm: 2755 2079 166 439 0 2312 0
Current children cumulated CPU time (s) 200.59
Current children cumulated vsize (KiB) 20168

[startup+204.7 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 23089
/proc/meminfo: memFree=31262424/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=6804 CPUtime=203.32 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 260721 1114084 0 0 902 139 18762 529 20 0 1 0 288616415 6967296 1346 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21746/statm: 1701 1346 166 439 0 1258 0
[pid=23088] ppid=21746 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23088/stat : 23088 (satsolver.sh) S 21746 21745 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288636838 9367552 266 33554432000 4194304 5064252 140733447266576 140733447265488 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23088/statm: 2287 266 226 213 0 72 0
[pid=23089] ppid=23088 vsize=9420 CPUtime=0.46 cores=0,2,4,6
/proc/23089/stat : 23089 (glucose) R 23088 21745 12121 0 -1 4202496 2335 0 0 0 46 0 0 0 20 0 1 0 288636838 9646080 2080 33554432000 4194304 5208918 140736857896944 140736857894792 4211897 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23089/statm: 2355 2080 104 248 0 2104 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 34520

[startup+205.5 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 23089
/proc/meminfo: memFree=31262424/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=6804 CPUtime=204.4 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 263037 1125629 0 0 908 139 18859 534 20 0 1 0 288616415 6967296 1348 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21746/statm: 1701 1348 166 439 0 1258 0
Current children cumulated CPU time (s) 204.4
Current children cumulated vsize (KiB) 15952

[startup+206.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/181 23115
/proc/meminfo: memFree=31271692/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=6804 CPUtime=205.37 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 268842 1156466 0 0 922 141 18929 545 20 0 1 0 288616415 6967296 1348 33554432000 4194304 5990268 140735801936448 140735801927872 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21746/statm: 1701 1348 166 439 0 1258 0
Current children cumulated CPU time (s) 205.37
Current children cumulated vsize (KiB) 15952

[startup+206.7 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 23162
/proc/meminfo: memFree=31259104/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=10956 CPUtime=205.61 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 270321 1167728 0 0 927 141 18945 548 20 0 1 0 288616415 11218944 2152 33554432000 4194304 5990268 140735801936448 140735801927360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21746/statm: 2739 2152 166 439 0 2296 0
[pid=23160] ppid=21746 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23160/stat : 23160 (cp2_post.sh) S 21746 21745 12121 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 288637068 9367552 266 33554432000 4194304 5064252 140734465229008 140734465227296 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23160/statm: 2287 266 225 213 0 72 0
[pid=23162] ppid=23160 vsize=8120 CPUtime=0.16 cores=0,2,4,6
/proc/23162/stat : 23162 (coprocessor) R 23160 21745 12121 0 -1 4202496 2007 0 0 0 10 6 0 0 20 0 1 0 288637068 8314880 1269 33554432000 4194304 6586260 140733566672352 140733566669368 5739095 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/23162/statm: 1774 1272 153 584 0 1186 0
Current children cumulated CPU time (s) 205.77
Current children cumulated vsize (KiB) 37372

[startup+206.807 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 23162
/proc/meminfo: memFree=31259104/32873844 swapFree=7632/7632
[pid=21745] ppid=21743 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21745/stat : 21745 (npSolver-wbo-It) S 21743 21745 12121 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 288616415 9367552 275 33554432000 4194304 5064252 140735721432272 140735721431184 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21745/statm: 2287 275 233 213 0 72 0
[pid=21746] ppid=21745 vsize=4516 CPUtime=205.85 cores=0,2,4,6
/proc/21746/stat : 21746 (npSolver-wbo) S 21745 21745 12121 0 -1 4202496 270881 1173990 0 0 928 142 18958 557 20 0 1 0 288616415 4624384 728 33554432000 4194304 5990268 140735801936448 140735801927360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/21746/statm: 1129 728 166 439 0 686 0
Current children cumulated CPU time (s) 205.85
Current children cumulated vsize (KiB) 13664

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): 1.01
#  lost CPU user time (s): 1.01
#  lost CPU system time (s): 0

Real time (s): 206.833
CPU time (s): 206.945
CPU user time (s): 199.915
CPU system time (s): 7.02993
CPU usage (%): 100.054
Max. virtual memory (cumulated for all children) (KiB): 47328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 198.905
system time used= 7.02993
maximum resident set size= 25724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1452211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1222560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6511
involuntary context switches= 2130

runsolver used 0.39094 second user time and 1.16582 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-28 19:08:41
IDJOB=3715133
IDBENCH=79399
IDSOLVER=2296
FILE ID=node141/3715133-1338224921
RUNJOBID= node141-1338210956-15178
PBS_JOBID= 14624602
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= e9977e481ed86e7573c7f989943259e1
RANDOM SEED=1172648281

node141.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.744
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.48
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.744
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.744
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.93
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.744
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.92
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.744
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.744
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31215556 kB
Buffers:          307024 kB
Cached:           418272 kB
SwapCached:          220 kB
Active:           341668 kB
Inactive:         477236 kB
Active(anon):      83400 kB
Inactive(anon):    11292 kB
Active(file):     258268 kB
Inactive(file):   465944 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:              8388 kB
Writeback:             0 kB
AnonPages:        101712 kB
Mapped:            11972 kB
Shmem:               172 kB
Slab:             699136 kB
SReclaimable:     141152 kB
SUnreclaim:       557984 kB
KernelStack:        1544 kB
PageTables:         4428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     216576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 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= 71508 MiB
End job on node141 at 2012-05-28 19:12:08