Trace number 3753613

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 324.496 325.218

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo
MD5SUM4c1853ff60c53f26c44f2cbc4e9273c7
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark14.1468
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints928
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 47257
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 47256
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 641
Number of bits of the biggest sum of numbers10
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.04	c run usual solver
0.00/0.15	o 1297
0.00/0.15	c fallback to adder encoding
4.52/4.61	o 1280
4.52/4.61	c fallback to adder encoding
9.11/9.21	o 1277
9.11/9.21	c fallback to adder encoding
13.25/13.34	o 1102
13.25/13.34	c fallback to adder encoding
20.87/20.99	o 1089
20.87/20.99	c fallback to adder encoding
26.05/26.17	o 1084
26.05/26.17	c fallback to adder encoding
30.39/30.53	o 1011
30.39/30.53	c fallback to adder encoding
31.64/31.75	o 1009
31.64/31.75	c fallback to adder encoding
33.03/33.15	o 1008
33.03/33.15	c fallback to adder encoding
33.21/33.99	o 1001
33.21/33.99	c fallback to adder encoding
35.21/35.32	o 985
35.21/35.32	c fallback to adder encoding
35.82/35.95	o 984
35.82/35.95	c fallback to adder encoding
37.13/37.29	o 981
37.13/37.29	c fallback to adder encoding
38.58/38.72	o 947
38.58/38.72	c fallback to adder encoding
40.71/40.85	o 942
40.71/40.85	c fallback to adder encoding
41.96/42.11	o 941
41.96/42.11	c fallback to adder encoding
42.75/42.94	o 940
42.75/42.94	c fallback to adder encoding
44.06/44.30	o 933
44.06/44.30	c fallback to adder encoding
45.36/45.59	o 895
45.36/45.59	c fallback to adder encoding
51.06/51.25	o 801
51.06/51.25	c fallback to adder encoding
53.01/53.21	o 576
53.01/53.21	c fallback to adder encoding
54.95/55.14	o 534
54.95/55.14	c fallback to adder encoding
58.85/59.08	o 530
58.85/59.08	c fallback to adder encoding
61.66/61.87	o 529
61.66/61.87	c fallback to adder encoding
63.96/64.15	o 526
63.96/64.15	c fallback to adder encoding
69.72/69.92	o 523
69.72/69.92	c fallback to adder encoding
72.73/72.93	o 476
72.73/72.93	c fallback to adder encoding
74.13/74.32	o 466
74.13/74.32	c fallback to adder encoding
74.82/75.03	o 381
74.82/75.03	c fallback to adder encoding
80.02/80.21	o 380
80.02/80.21	c fallback to adder encoding
84.79/85.04	o 378
84.79/85.04	c fallback to adder encoding
87.04/87.36	o 377
87.04/87.36	c fallback to adder encoding
88.90/89.22	o 374
88.90/89.22	c fallback to adder encoding
92.34/92.65	o 373
92.34/92.65	c fallback to adder encoding
94.35/94.66	o 372
94.35/94.66	c fallback to adder encoding
98.64/98.93	o 364
98.64/98.93	c fallback to adder encoding
102.43/102.78	o 363
102.43/102.78	c fallback to adder encoding
103.79/104.10	o 362
103.79/104.10	c fallback to adder encoding
105.24/105.53	o 361
105.24/105.53	c fallback to adder encoding
107.94/108.20	o 360
107.94/108.20	c fallback to adder encoding
113.03/113.34	o 355
113.03/113.34	c fallback to adder encoding
117.34/117.70	o 312
117.34/117.70	c fallback to adder encoding
119.23/119.59	o 311
119.23/119.59	c fallback to adder encoding
121.63/121.99	o 310
121.63/121.99	c fallback to adder encoding
123.13/123.47	o 309
123.13/123.47	c fallback to adder encoding
126.52/126.87	o 292
126.52/126.87	c fallback to adder encoding
156.39/156.72	o 291
156.39/156.72	c fallback to adder encoding
161.08/161.41	o 290
161.08/161.41	c fallback to adder encoding
163.13/163.45	o 289
163.13/163.45	c fallback to adder encoding
165.61/165.93	o 288
165.61/165.93	c fallback to adder encoding
170.31/170.62	o 287
170.31/170.62	c fallback to adder encoding
173.54/173.86	o 286
173.54/173.86	c fallback to adder encoding
175.22/175.55	o 285
175.22/175.55	c fallback to adder encoding
178.01/178.33	o 284
178.01/178.33	c fallback to adder encoding
179.61/179.94	o 281
179.61/179.94	c fallback to adder encoding
182.24/182.55	o 280
182.24/182.55	c fallback to adder encoding
183.92/184.24	o 259
183.92/184.24	c fallback to adder encoding
188.92/189.23	o 252
188.92/189.23	c fallback to adder encoding
190.10/190.42	o 251
190.10/190.42	c fallback to adder encoding
191.02/191.33	o 250
191.02/191.33	c fallback to adder encoding
191.15/192.16	o 249
191.15/192.16	c fallback to adder encoding
192.73/193.09	o 242
192.73/193.09	c fallback to adder encoding
193.60/193.94	o 241
193.60/193.94	c fallback to adder encoding
193.74/194.60	o 240
193.74/194.60	c fallback to adder encoding
194.39/195.25	o 239
194.39/195.25	c fallback to adder encoding
195.87/196.21	o 238
195.87/196.21	c fallback to adder encoding
197.09/197.44	o 237
197.09/197.44	c fallback to adder encoding
197.61/197.96	o 234
197.61/197.96	c fallback to adder encoding
197.76/198.96	o 232
197.76/198.96	c fallback to adder encoding
199.95/200.35	o 231
199.95/200.35	c fallback to adder encoding
200.72/201.10	o 230
200.72/201.10	c fallback to adder encoding
201.63/202.02	o 229
201.63/202.02	c fallback to adder encoding
202.23/202.62	o 228
202.23/202.62	c fallback to adder encoding
203.23/203.64	o 227
203.23/203.64	c fallback to adder encoding
204.32/204.76	o 224
204.32/204.76	c fallback to adder encoding
205.33/205.79	o 223
205.33/205.79	c fallback to adder encoding
205.52/206.67	o 209
205.52/206.67	c fallback to adder encoding
212.22/212.67	o 208
212.22/212.67	c fallback to adder encoding
213.04/213.48	o 207
213.04/213.48	c fallback to adder encoding
213.22/214.06	o 202
213.22/214.06	c fallback to adder encoding
214.74/215.19	o 201
214.74/215.19	c fallback to adder encoding
215.84/216.28	o 200
215.84/216.28	c fallback to adder encoding
216.74/217.10	o 199
216.74/217.10	c fallback to adder encoding
217.53/217.96	o 198
217.53/217.96	c fallback to adder encoding
218.55/218.95	o 197
218.55/218.95	c fallback to adder encoding
219.35/219.70	o 196
219.35/219.70	c fallback to adder encoding
220.74/221.19	o 195
220.74/221.19	c fallback to adder encoding
221.63/222.04	o 191
221.63/222.04	c fallback to adder encoding
222.54/222.97	o 190
222.54/222.97	c fallback to adder encoding
223.49/223.94	o 188
223.49/223.94	c fallback to adder encoding
224.19/224.64	o 187
224.19/224.64	c fallback to adder encoding
225.29/225.75	o 185
225.29/225.75	c fallback to adder encoding
226.09/226.58	o 184
226.09/226.58	c fallback to adder encoding
227.49/227.98	o 182
227.49/227.98	c fallback to adder encoding
228.41/228.97	o 181
228.41/228.97	c fallback to adder encoding
228.58/229.77	o 180
232.66/233.35	o 179
235.79/237.03	o 177
239.15/240.37	o 158
242.79/243.95	o 157
245.80/246.96	o 155
249.45/250.61	o 149
252.67/253.81	o 127
255.57/256.63	o 126
258.08/259.15	o 119
261.09/261.87	o 118
263.57/264.62	o 114
266.61/267.36	o 112
268.97/269.99	o 109
272.20/272.97	o 106
274.34/275.35	o 105
276.60/277.61	o 103
278.95/279.95	o 101
281.30/282.29	o 90
285.46/286.41	o 89
287.49/288.23	o 85
291.78/292.51	o 84
294.71/295.63	o 82
296.78/297.67	o 76
298.39/299.17	o 69
301.69/302.48	o 65
302.17/303.04	o 63
302.92/303.78	o 57
306.06/306.87	o 56
310.44/311.27	o 47
311.31/312.11	o 44
312.64/313.50	o 42
312.78/314.29	o 32
322.15/322.93	o 1
322.15/322.93	c [SWC] exit 4
324.44/325.21	c display solution
324.44/325.21	s OPTIMUM FOUND
324.44/325.21	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 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231

Verifier Data 

OK	1

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-3753613-1339190305/watcher-3753613-1339190305 -o /tmp/evaluation-result-3753613-1339190305/solver-3753613-1339190305 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753613-1339190305.wbo 1903643239 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: 2.00 2.00 2.00 3/179 31165
/proc/meminfo: memFree=29131708/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0

[startup+0.0491689 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31165
/proc/meminfo: memFree=29131708/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100177 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31165
/proc/meminfo: memFree=29131708/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31165
/proc/meminfo: memFree=29131708/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700181 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31165
/proc/meminfo: memFree=29131708/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31179
/proc/meminfo: memFree=29087032/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20780 CPUtime=0.25 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 4024 5938 0 0 13 3 8 1 20 0 1 0 385155905 21278720 4671 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31166/statm: 5195 4671 179 443 0 4748 0
[pid=31178] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31178/stat : 31178 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385155932 9367552 267 33554432000 4194304 5064252 140735600184768 140735600183680 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31178/statm: 2287 267 226 213 0 72 0
[pid=31179] ppid=31178 vsize=26392 CPUtime=1.22 cores=0,2,4,6
/proc/31179/stat : 31179 (glucose) R 31178 31165 27509 0 -1 4202496 6052 0 0 0 121 1 0 0 20 0 1 0 385155932 27025408 5158 33554432000 4194304 5208918 140733810118192 140733810116024 4465602 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31179/statm: 6598 5158 105 248 0 6347 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 65468

[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31179
/proc/meminfo: memFree=29085660/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20780 CPUtime=0.25 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 4024 5938 0 0 13 3 8 1 20 0 1 0 385155905 21278720 4671 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31166/statm: 5195 4671 179 443 0 4748 0
[pid=31178] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31178/stat : 31178 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385155932 9367552 267 33554432000 4194304 5064252 140735600184768 140735600183680 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31178/statm: 2287 267 226 213 0 72 0
[pid=31179] ppid=31178 vsize=26820 CPUtime=2.82 cores=0,2,4,6
/proc/31179/stat : 31179 (glucose) R 31178 31165 27509 0 -1 4202496 6255 0 0 0 281 1 0 0 20 0 1 0 385155932 27463680 5352 33554432000 4194304 5208918 140733810118192 140733810116024 4229897 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31179/statm: 6705 5352 105 248 0 6454 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 65896

[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31186
/proc/meminfo: memFree=29082204/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20780 CPUtime=4.7 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 6234 16154 0 0 23 4 437 6 20 0 1 0 385155905 21278720 4671 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31166/statm: 5195 4671 179 443 0 4748 0
[pid=31185] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31185/stat : 31185 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385156377 9367552 267 33554432000 4194304 5064252 140736360979120 140736360978032 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/31185/statm: 2287 267 226 213 0 72 0
[pid=31186] ppid=31185 vsize=23388 CPUtime=1.57 cores=0,2,4,6
/proc/31186/stat : 31186 (glucose) R 31185 31165 27509 0 -1 4202496 5656 0 0 0 156 1 0 0 20 0 1 0 385156377 23949312 5046 33554432000 4194304 5208918 140735198249664 140735198247496 4210888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31186/statm: 5847 5046 104 248 0 5596 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 62464

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31193
/proc/meminfo: memFree=29079884/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20780 CPUtime=9.31 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 8444 25498 0 0 34 5 881 11 20 0 1 0 385155905 21278720 4671 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31166/statm: 5195 4671 179 443 0 4748 0
[pid=31192] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31192/stat : 31192 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385156837 9367552 267 33554432000 4194304 5064252 140736679586128 140736679585040 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31192/statm: 2287 267 226 213 0 72 0
[pid=31193] ppid=31192 vsize=26556 CPUtime=3.36 cores=0,2,4,6
/proc/31193/stat : 31193 (glucose) R 31192 31165 27509 0 -1 4202496 5742 0 0 0 335 1 0 0 20 0 1 0 385156838 27193344 5295 33554432000 4194304 5208918 140733839951856 140733839948232 4205168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31193/statm: 6639 5295 105 248 0 6388 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 65632

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31207
/proc/meminfo: memFree=29079528/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20780 CPUtime=21.07 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 12864 44980 0 0 54 7 2024 22 20 0 1 0 385155905 21278720 4671 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31166/statm: 5195 4671 179 443 0 4748 0
[pid=31206] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31206/stat : 31206 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385158015 9367552 267 33554432000 4194304 5064252 140735883216160 140735883215072 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31206/statm: 2287 267 226 213 0 72 0
[pid=31207] ppid=31206 vsize=26672 CPUtime=4.39 cores=0,2,4,6
/proc/31207/stat : 31207 (glucose) R 31206 31165 27509 0 -1 4202496 6242 0 0 0 438 1 0 0 20 0 1 0 385158015 27312128 5335 33554432000 4194304 5208918 140737079154704 140737079152552 4211038 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31207/statm: 6668 5335 105 248 0 6417 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 65748

[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 31305
/proc/meminfo: memFree=29077440/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20780 CPUtime=45.57 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 43804 171705 0 0 181 19 4269 88 20 0 1 0 385155905 21278720 4671 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/31166/statm: 5195 4671 179 443 0 4748 0
[pid=31304] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31304/stat : 31304 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385160474 9367552 266 33554432000 4194304 5064252 140736067555024 140736067553936 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31304/statm: 2287 266 226 213 0 72 0
[pid=31305] ppid=31304 vsize=21212 CPUtime=5.39 cores=0,2,4,6
/proc/31305/stat : 31305 (glucose) R 31304 31165 27509 0 -1 4202496 4603 0 0 0 538 1 0 0 20 0 1 0 385160475 21721088 4844 33554432000 4194304 5208918 140734453139296 140734453137144 4210980 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31305/statm: 5303 4844 105 248 0 5052 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 60288

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 31428
/proc/meminfo: memFree=29079208/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20780 CPUtime=98.77 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 81364 317327 0 0 324 35 9355 163 20 0 1 0 385155905 21278720 4672 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/31166/statm: 5195 4672 179 443 0 4748 0
[pid=31426] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31426/stat : 31426 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385165807 9367552 267 33554432000 4194304 5064252 140736126150160 140736126149072 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31426/statm: 2287 267 226 213 0 72 0
[pid=31427] ppid=31426 vsize=19692 CPUtime=3.26 cores=0,2,4,6
/proc/31427/stat : 31427 (glucose) R 31426 31165 27509 0 -1 4202496 4823 0 0 0 326 0 0 0 20 0 1 0 385165807 20164608 4342 33554432000 4194304 5208918 140735738888128 140735738885960 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31427/statm: 4923 4342 104 248 0 4672 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 58768

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 31512
/proc/meminfo: memFree=29068024/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20780 CPUtime=161.25 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 107872 419519 0 0 421 45 15444 215 20 0 1 0 385155905 21278720 4672 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 10 0 0
/proc/31166/statm: 5195 4672 179 443 0 4748 0
[pid=31511] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31511/stat : 31511 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385172055 9367552 266 33554432000 4194304 5064252 140733353767600 140733353766512 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31511/statm: 2287 266 226 213 0 72 0
[pid=31512] ppid=31511 vsize=19624 CPUtime=0.78 cores=0,2,4,6
/proc/31512/stat : 31512 (glucose) R 31511 31165 27509 0 -1 4202496 4782 0 0 0 78 0 0 0 20 0 1 0 385172055 20094976 4279 33554432000 4194304 5208918 140733472841632 140733472839592 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31512/statm: 4906 4279 104 248 0 4655 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 58700

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 31790
/proc/meminfo: memFree=29085748/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20780 CPUtime=221.77 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 196232 728151 0 0 714 77 21012 374 20 0 1 0 385155905 21278720 4672 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/31166/statm: 5195 4672 179 443 0 4748 0
Current children cumulated CPU time (s) 221.77
Current children cumulated vsize (KiB) 29928

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 31967
/proc/meminfo: memFree=29024924/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20904 CPUtime=281.6 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) R 31165 31165 27509 0 -1 4202496 251665 1162025 0 0 971 110 26296 783 20 0 1 0 385155905 21405696 4823 33554432000 4194304 6006132 140736868297120 140736868289088 4581106 0 0 4096 0 0 0 0 17 2 0 0 15 0 0
/proc/31166/statm: 5226 4823 181 443 0 4779 0
Current children cumulated CPU time (s) 281.6
Current children cumulated vsize (KiB) 30052

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

[startup+307.1 s]
/proc/loadavg: 1.94 1.99 1.99 3/183 32040
/proc/meminfo: memFree=29066804/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20904 CPUtime=306.16 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 270929 1273515 0 0 1021 116 28601 878 20 0 1 0 385155905 21405696 4823 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/31166/statm: 5226 4823 181 443 0 4779 0
Current children cumulated CPU time (s) 306.16
Current children cumulated vsize (KiB) 30052

[startup+313.507 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 32058
/proc/meminfo: memFree=29062172/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20904 CPUtime=312.77 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) R 31165 31165 27509 0 -1 4202496 273117 1296013 0 0 1025 117 29241 894 20 0 1 0 385155905 21405696 4823 33554432000 4194304 6006132 140736868297120 140736868289088 5057476 0 0 4096 0 0 0 0 17 2 0 0 15 0 0
/proc/31166/statm: 5226 4823 181 443 0 4779 0
Current children cumulated CPU time (s) 312.77
Current children cumulated vsize (KiB) 30052

[startup+319.9 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 32072
/proc/meminfo: memFree=29053600/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20904 CPUtime=313.56 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 273939 1302634 0 0 1027 117 29315 897 20 0 1 0 385155905 21405696 4823 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/31166/statm: 5226 4823 181 443 0 4779 0
[pid=32071] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32071/stat : 32071 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385187335 9367552 267 33554432000 4194304 5064252 140736562970784 140736562969696 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32071/statm: 2287 267 226 213 0 72 0
[pid=32072] ppid=32071 vsize=14868 CPUtime=5.59 cores=0,2,4,6
/proc/32072/stat : 32072 (glucose) R 32071 31165 27509 0 -1 4202496 3884 0 0 0 559 0 0 0 20 0 1 0 385187335 15224832 3237 33554432000 4194304 5208918 140736236296640 140736236294584 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32072/statm: 3717 3237 96 248 0 3466 0
Current children cumulated CPU time (s) 319.15
Current children cumulated vsize (KiB) 54068

[startup+323.1 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 32072
/proc/meminfo: memFree=29050820/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20904 CPUtime=322.18 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 274047 1310588 0 0 1027 117 30175 899 20 0 1 0 385155905 21405696 4824 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/31166/statm: 5226 4824 182 443 0 4779 0
Current children cumulated CPU time (s) 322.18
Current children cumulated vsize (KiB) 30052

[startup+323.9 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 32079
/proc/meminfo: memFree=29061432/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20904 CPUtime=322.18 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 274047 1310588 0 0 1027 117 30175 899 20 0 1 0 385155905 21405696 4824 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/31166/statm: 5226 4824 182 443 0 4779 0
[pid=32078] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32078/stat : 32078 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385188198 9367552 267 33554432000 4194304 5064252 140737230639504 140737230638416 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32078/statm: 2287 267 226 213 0 72 0
[pid=32079] ppid=32078 vsize=6988 CPUtime=0.96 cores=0,2,4,6
/proc/32079/stat : 32079 (glucose) R 32078 31165 27509 0 -1 4202496 1733 0 0 0 96 0 0 0 20 0 1 0 385188198 7155712 1236 33554432000 4194304 5208918 140734167674512 140734167672456 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32079/statm: 1747 1236 101 248 0 1496 0
Current children cumulated CPU time (s) 323.14
Current children cumulated vsize (KiB) 46188

[startup+324.7 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 32079
/proc/meminfo: memFree=29058572/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20904 CPUtime=322.18 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 274047 1310588 0 0 1027 117 30175 899 20 0 1 0 385155905 21405696 4824 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/31166/statm: 5226 4824 182 443 0 4779 0
[pid=32078] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32078/stat : 32078 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385188198 9367552 267 33554432000 4194304 5064252 140737230639504 140737230638416 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32078/statm: 2287 267 226 213 0 72 0
[pid=32079] ppid=32078 vsize=8748 CPUtime=1.76 cores=0,2,4,6
/proc/32079/stat : 32079 (glucose) R 32078 31165 27509 0 -1 4202496 2020 0 0 0 176 0 0 0 20 0 1 0 385188198 8957952 1513 33554432000 4194304 5208918 140734167674512 140734167672456 4211623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32079/statm: 2187 1513 101 248 0 1936 0
Current children cumulated CPU time (s) 323.94
Current children cumulated vsize (KiB) 47948

[startup+325.1 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 32079
/proc/meminfo: memFree=29058572/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20904 CPUtime=322.18 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 274047 1310588 0 0 1027 117 30175 899 20 0 1 0 385155905 21405696 4824 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/31166/statm: 5226 4824 182 443 0 4779 0
[pid=32078] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32078/stat : 32078 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385188198 9367552 267 33554432000 4194304 5064252 140737230639504 140737230638416 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32078/statm: 2287 267 226 213 0 72 0
[pid=32079] ppid=32078 vsize=8748 CPUtime=2.16 cores=0,2,4,6
/proc/32079/stat : 32079 (glucose) R 32078 31165 27509 0 -1 4202496 2132 0 0 0 216 0 0 0 20 0 1 0 385188198 8957952 1621 33554432000 4194304 5208918 140734167674512 140734167672456 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32079/statm: 2187 1621 101 248 0 1936 0
Current children cumulated CPU time (s) 324.34
Current children cumulated vsize (KiB) 47948

[startup+325.2 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 32079
/proc/meminfo: memFree=29058572/32873648 swapFree=7376/7376
[pid=31165] ppid=31163 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31165/stat : 31165 (npSolver-wbo-It) S 31163 31165 27509 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385155905 9367552 274 33554432000 4194304 5064252 140733366107152 140733366106064 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31165/statm: 2287 274 233 213 0 72 0
[pid=31166] ppid=31165 vsize=20904 CPUtime=322.18 cores=0,2,4,6
/proc/31166/stat : 31166 (npSolver-wbo) S 31165 31165 27509 0 -1 4202496 274047 1310588 0 0 1027 117 30175 899 20 0 1 0 385155905 21405696 4824 33554432000 4194304 6006132 140736868297120 140736868288512 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/31166/statm: 5226 4824 182 443 0 4779 0
[pid=32078] ppid=31166 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32078/stat : 32078 (satsolver.sh) S 31166 31165 27509 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385188198 9367552 267 33554432000 4194304 5064252 140737230639504 140737230638416 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32078/statm: 2287 267 226 213 0 72 0
[pid=32079] ppid=32078 vsize=8748 CPUtime=2.26 cores=0,2,4,6
/proc/32079/stat : 32079 (glucose) R 32078 31165 27509 0 -1 4202496 2132 0 0 0 226 0 0 0 20 0 1 0 385188198 8957952 1621 33554432000 4194304 5208918 140734167674512 140734167672456 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32079/statm: 2187 1621 101 248 0 1936 0
Current children cumulated CPU time (s) 324.44
Current children cumulated vsize (KiB) 47948

Child status: 0
Real time (s): 325.218
CPU time (s): 324.496
CPU user time (s): 314.305
CPU system time (s): 10.1905
CPU usage (%): 99.778
Max. virtual memory (cumulated for all children) (KiB): 164700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 314.305
system time used= 10.1905
maximum resident set size= 88316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1591165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1497312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14971
involuntary context switches= 1709

runsolver used 0.500923 second user time and 1.3318 second system time

The end

Launcher Data 

Begin job on node125 at 2012-06-08 23:18:25
IDJOB=3753613
IDBENCH=78945
IDSOLVER=2337
FILE ID=node125/3753613-1339190305
RUNJOBID= node125-1339183062-29061
PBS_JOBID= 14643842
Free space on /tmp= 70752 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900581320--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753613-1339190305/watcher-3753613-1339190305 -o /tmp/evaluation-result-3753613-1339190305/solver-3753613-1339190305 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3753613-1339190305.wbo 1903643239 HOME HOME

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

MD5SUM BENCH= 4c1853ff60c53f26c44f2cbc4e9273c7
RANDOM SEED=1903643239

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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:        29132236 kB
Buffers:          742896 kB
Cached:          2001232 kB
SwapCached:         1248 kB
Active:          2321204 kB
Inactive:         470928 kB
Active(anon):      38160 kB
Inactive(anon):     7424 kB
Active(file):    2283044 kB
Inactive(file):   463504 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108856 kB
SwapFree:       67102600 kB
Dirty:              8768 kB
Writeback:             0 kB
AnonPages:         63524 kB
Mapped:            12360 kB
Shmem:                96 kB
Slab:             808592 kB
SReclaimable:     252220 kB
SUnreclaim:       556372 kB
KernelStack:        1520 kB
PageTables:         4044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     167072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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= 70740 MiB
End job on node125 at 2012-06-08 23:23:50