Trace number 3714905

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 658.456 659.324

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900552423--soft-33-100-0.wbo
MD5SUMc3adda683c0d048bf44386b3ccfc9e41
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark12.1422
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 constraints1816
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 92461
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 92460
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 779
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.02	c run usual solver
0.00/0.15	o 964
0.00/0.15	c fallback to adder encoding
4.27/4.39	o 957
4.27/4.39	c fallback to adder encoding
12.68/12.70	o 923
12.68/12.70	c fallback to adder encoding
19.07/19.18	o 922
19.07/19.18	c fallback to adder encoding
22.64/22.72	o 917
22.64/22.72	c fallback to adder encoding
29.17/29.27	o 912
29.17/29.27	c fallback to adder encoding
34.97/35.06	o 829
34.97/35.06	c fallback to adder encoding
41.07/41.17	o 828
41.07/41.17	c fallback to adder encoding
47.44/47.54	o 799
47.44/47.54	c fallback to adder encoding
47.76/47.84	o 613
47.76/47.84	c fallback to adder encoding
57.37/57.46	o 586
57.37/57.46	c fallback to adder encoding
63.45/63.59	o 585
63.45/63.59	c fallback to adder encoding
70.63/70.72	o 581
70.63/70.72	c fallback to adder encoding
78.57/78.68	o 579
78.57/78.68	c fallback to adder encoding
91.06/91.22	o 561
91.06/91.22	c fallback to adder encoding
97.64/97.83	o 553
97.64/97.83	c fallback to adder encoding
106.90/107.11	o 542
106.90/107.11	c fallback to adder encoding
113.29/113.50	o 447
113.29/113.50	c fallback to adder encoding
118.21/118.43	o 445
118.21/118.43	c fallback to adder encoding
123.42/123.67	o 444
123.42/123.67	c fallback to adder encoding
126.91/127.16	o 407
126.91/127.16	c fallback to adder encoding
133.31/133.59	o 406
133.31/133.59	c fallback to adder encoding
138.48/138.73	o 403
138.48/138.73	c fallback to adder encoding
145.00/145.25	o 402
145.00/145.25	c fallback to adder encoding
152.60/152.85	o 400
152.60/152.85	c fallback to adder encoding
157.79/158.06	o 399
157.79/158.06	c fallback to adder encoding
162.31/162.56	o 398
162.31/162.56	c fallback to adder encoding
174.29/174.58	o 295
174.29/174.58	c fallback to adder encoding
177.90/178.12	o 290
177.90/178.12	c fallback to adder encoding
184.16/184.41	o 289
184.16/184.41	c fallback to adder encoding
192.66/192.93	o 288
192.66/192.93	c fallback to adder encoding
200.39/200.68	o 277
200.39/200.68	c fallback to adder encoding
207.59/207.81	o 276
207.59/207.81	c fallback to adder encoding
213.67/213.93	o 273
213.67/213.93	c fallback to adder encoding
221.68/221.94	o 272
221.68/221.94	c fallback to adder encoding
228.99/229.29	o 271
228.99/229.29	c fallback to adder encoding
236.37/236.62	o 270
236.37/236.62	c fallback to adder encoding
245.00/245.26	o 265
245.00/245.26	c fallback to adder encoding
262.47/262.74	o 264
262.47/262.74	c fallback to adder encoding
270.79/271.09	o 262
270.79/271.09	c fallback to adder encoding
278.25/278.52	o 261
278.25/278.52	c fallback to adder encoding
286.97/287.29	o 260
286.97/287.29	c fallback to adder encoding
292.74/293.00	o 257
292.74/293.00	c fallback to adder encoding
301.33/301.61	o 256
301.33/301.61	c fallback to adder encoding
305.99/306.24	o 254
305.99/306.24	c fallback to adder encoding
310.68/310.94	o 253
310.68/310.94	c fallback to adder encoding
315.58/315.84	o 252
315.58/315.84	c fallback to adder encoding
320.47/320.78	o 249
320.47/320.78	c fallback to adder encoding
324.64/324.97	o 245
324.64/324.97	c fallback to adder encoding
329.40/329.70	o 242
329.40/329.70	c fallback to adder encoding
345.72/346.07	o 241
345.72/346.07	c fallback to adder encoding
349.79/350.11	o 240
349.79/350.11	c fallback to adder encoding
355.82/356.19	o 239
355.82/356.19	c fallback to adder encoding
359.84/360.10	o 238
359.84/360.10	c fallback to adder encoding
362.74/363.09	o 227
362.74/363.09	c fallback to adder encoding
368.24/368.57	o 224
368.24/368.57	c fallback to adder encoding
372.61/372.97	o 223
372.61/372.97	c fallback to adder encoding
378.89/379.28	o 222
378.89/379.28	c fallback to adder encoding
386.82/387.18	o 221
386.82/387.18	c fallback to adder encoding
390.90/391.23	o 220
390.90/391.23	c fallback to adder encoding
395.41/395.77	o 218
395.41/395.77	c fallback to adder encoding
402.30/402.63	o 205
402.30/402.63	c fallback to adder encoding
410.79/411.13	o 202
410.79/411.13	c fallback to adder encoding
416.09/416.41	o 201
416.09/416.41	c fallback to adder encoding
428.17/428.54	o 200
428.17/428.54	c fallback to adder encoding
431.05/431.42	o 199
431.05/431.42	c fallback to adder encoding
438.58/438.98	o 198
438.58/438.98	c fallback to adder encoding
449.48/449.84	o 197
449.48/449.84	c fallback to adder encoding
455.95/456.33	o 196
455.95/456.33	c fallback to adder encoding
460.07/460.46	o 195
460.07/460.46	c fallback to adder encoding
466.36/466.74	o 193
466.36/466.74	c fallback to adder encoding
470.56/470.96	o 191
470.56/470.96	c fallback to adder encoding
475.75/476.20	o 190
475.75/476.20	c fallback to adder encoding
484.30/484.70	o 188
484.30/484.70	c fallback to adder encoding
488.41/488.81	o 187
488.41/488.81	c fallback to adder encoding
492.62/493.09	o 179
497.81/498.43	o 178
503.22/504.35	o 176
510.21/510.82	o 173
515.22/516.32	o 166
520.17/521.26	o 165
526.43/527.03	o 164
532.07/533.13	o 163
538.53/539.16	o 162
543.93/544.58	o 161
549.51/550.14	o 160
554.01/555.08	o 157
559.33/560.41	o 156
565.03/565.68	o 154
569.16/570.26	o 149
574.09/574.70	o 116
577.17/578.16	o 112
581.37/582.05	o 111
586.30/587.27	o 105
590.10/591.05	o 103
593.52/594.46	o 99
595.89/596.81	o 92
603.39/604.26	o 89
607.67/608.35	o 87
608.41/609.26	o 80
609.89/610.72	o 79
611.58/612.41	o 78
614.43/615.25	o 77
617.27/617.90	o 76
620.01/620.83	o 75
623.26/624.08	o 74
627.58/628.38	o 66
628.58/629.20	o 65
630.86/631.63	o 63
631.31/632.06	o 61
632.07/632.82	o 60
632.85/633.54	o 59
633.37/634.12	o 58
633.96/634.63	o 57
636.38/637.12	o 56
637.27/637.99	o 55
637.78/638.53	o 54
638.76/639.48	o 53
639.29/640.01	o 50
639.86/640.58	o 49
640.16/640.88	o 37
641.66/642.36	o 36
642.06/642.73	o 35
642.30/643.02	o 32
642.30/643.34	o 31
642.95/643.79	o 30
643.28/644.03	o 28
643.32/644.36	o 27
643.77/644.54	o 26
643.82/644.69	o 25
644.97/645.70	o 24
645.96/646.80	o 23
646.07/647.54	o 22
646.81/647.74	o 21
647.35/648.15	o 18
648.43/649.21	o 14
649.74/650.57	o 13
649.83/650.72	o 12
651.35/652.11	o 11
651.54/652.34	o 10
651.58/652.91	o 9
653.24/654.05	o 8
654.25/655.01	o 7
658.43/659.32	c display solution
658.43/659.32	s OPTIMUM FOUND
658.43/659.32	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	7

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-3714905-1338186853/watcher-3714905-1338186853 -o /tmp/evaluation-result-3714905-1338186853/solver-3714905-1338186853 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714905-1338186853.wbo 1936863122 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.11 2.04 2.01 3/179 11280
/proc/meminfo: memFree=30751664/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0

[startup+0.023195 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 11280
/proc/meminfo: memFree=30751664/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100257 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 11280
/proc/meminfo: memFree=30751664/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30025 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 11280
/proc/meminfo: memFree=30751664/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700222 s]
/proc/loadavg: 2.11 2.04 2.01 3/179 11280
/proc/meminfo: memFree=30751664/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 11294
/proc/meminfo: memFree=30718328/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=11920 CPUtime=0.24 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 2889 6390 0 0 12 2 9 1 20 0 1 0 284810137 12206080 2283 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11281/statm: 2980 2283 166 439 0 2537 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284810163 9367552 266 33554432000 4194304 5064252 140735668788080 140735668786992 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11293/statm: 2287 266 226 213 0 72 0
[pid=11294] ppid=11293 vsize=23292 CPUtime=1.23 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 32349 0 -1 4202496 5241 0 0 0 122 1 0 0 20 0 1 0 284810163 23851008 4725 33554432000 4194304 5208918 140733891886464 140733891884616 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 5823 4725 104 248 0 5572 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 53508

[startup+3.10034 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 11294
/proc/meminfo: memFree=30717204/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=11920 CPUtime=0.24 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 2889 6390 0 0 12 2 9 1 20 0 1 0 284810137 12206080 2283 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11281/statm: 2980 2283 166 439 0 2537 0
[pid=11293] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 284810163 9367552 266 33554432000 4194304 5064252 140735668788080 140735668786992 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11293/statm: 2287 266 226 213 0 72 0
[pid=11294] ppid=11293 vsize=23292 CPUtime=2.83 cores=0,2,4,6
/proc/11294/stat : 11294 (glucose) R 11293 11280 32349 0 -1 4202496 5425 0 0 0 282 1 0 0 20 0 1 0 284810163 23851008 4908 33554432000 4194304 5208918 140733891886464 140733891884616 4211141 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11294/statm: 5823 4908 104 248 0 5572 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 53508

[startup+6.30038 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 11301
/proc/meminfo: memFree=30708528/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20108 CPUtime=4.48 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 4885 15759 0 0 22 3 417 6 20 0 1 0 284810137 20590592 4253 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11281/statm: 5027 4253 166 439 0 4584 0
[pid=11300] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11300/stat : 11300 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284810586 9367552 267 33554432000 4194304 5064252 140735405550032 140735405548944 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11300/statm: 2287 267 226 213 0 72 0
[pid=11301] ppid=11300 vsize=21024 CPUtime=1.79 cores=0,2,4,6
/proc/11301/stat : 11301 (glucose) R 11300 11280 32349 0 -1 4202496 5025 0 0 0 178 1 0 0 20 0 1 0 284810587 21528576 4597 33554432000 4194304 5208918 140734957056960 140734957054920 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11301/statm: 5256 4597 104 248 0 5005 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 59428

[startup+12.7002 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 11301
/proc/meminfo: memFree=30701544/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20108 CPUtime=12.68 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 4948 24720 0 0 22 3 1232 11 20 0 1 0 284810137 20590592 4253 33554432000 4194304 5990268 140736101043760 140736101035760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11281/statm: 5027 4253 166 439 0 4584 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29256

[startup+25.5004 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 11322
/proc/meminfo: memFree=30698432/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20108 CPUtime=22.82 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 10876 42961 0 0 51 7 2203 21 20 0 1 0 284810137 20590592 4253 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11281/statm: 5027 4253 166 439 0 4584 0
[pid=11321] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11321/stat : 11321 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284812420 9367552 266 33554432000 4194304 5064252 140734462094464 140734462093376 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11321/statm: 2287 266 226 213 0 72 0
[pid=11322] ppid=11321 vsize=21128 CPUtime=2.65 cores=0,2,4,6
/proc/11322/stat : 11322 (glucose) R 11321 11280 32349 0 -1 4202496 5314 0 0 0 264 1 0 0 20 0 1 0 284812420 21635072 4782 33554432000 4194304 5208918 140734686643376 140734686641336 4211574 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11322/statm: 5282 4782 105 248 0 5031 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 59532

[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 11357
/proc/meminfo: memFree=30699352/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20108 CPUtime=47.94 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 20861 88176 0 0 100 13 4636 45 20 0 1 0 284810137 20590592 4253 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11281/statm: 5027 4253 166 439 0 4584 0
[pid=11356] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11356/stat : 11356 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284814932 9367552 267 33554432000 4194304 5064252 140736345868320 140736345867232 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11356/statm: 2287 267 226 213 0 72 0
[pid=11357] ppid=11356 vsize=20804 CPUtime=3.12 cores=0,2,4,6
/proc/11357/stat : 11357 (glucose) R 11356 11280 32349 0 -1 4202496 5041 0 0 0 312 0 0 0 20 0 1 0 284814933 21303296 4653 33554432000 4194304 5208918 140736075805280 140736075803112 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11357/statm: 5201 4653 104 248 0 4950 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 59208

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 11505
/proc/meminfo: memFree=30696320/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20108 CPUtime=97.8 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 32843 142558 0 0 158 22 9527 73 20 0 1 0 284810137 20590592 4253 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11281/statm: 5027 4253 166 439 0 4584 0
[pid=11504] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11504/stat : 11504 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284819931 9367552 266 33554432000 4194304 5064252 140733767447024 140733767445936 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11504/statm: 2287 266 226 213 0 72 0
[pid=11505] ppid=11504 vsize=23868 CPUtime=4.35 cores=0,2,4,6
/proc/11505/stat : 11505 (glucose) R 11504 11280 32349 0 -1 4202496 5317 0 0 0 434 1 0 0 20 0 1 0 284819931 24440832 4888 33554432000 4194304 5208918 140736303342320 140736303340472 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11505/statm: 5967 4888 104 248 0 5716 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 62272

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 11652
/proc/meminfo: memFree=30702940/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20020 CPUtime=157.97 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 52813 228570 0 0 246 34 15401 116 20 0 1 0 284810137 20500480 4253 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11281/statm: 5005 4253 166 439 0 4562 0
[pid=11651] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11651/stat : 11651 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284825953 9367552 266 33554432000 4194304 5064252 140734078880720 140734078879632 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11651/statm: 2287 266 226 213 0 72 0
[pid=11652] ppid=11651 vsize=22616 CPUtime=4.12 cores=0,2,4,6
/proc/11652/stat : 11652 (glucose) R 11651 11280 32349 0 -1 4202496 4878 0 0 0 411 1 0 0 20 0 1 0 284825953 23158784 4592 33554432000 4194304 5208918 140733266437872 140733266435704 4212601 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11652/statm: 5654 4592 104 248 0 5403 0
Current children cumulated CPU time (s) 162.09

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

/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=19904 CPUtime=395.58 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 122690 514643 0 0 532 78 38684 264 20 0 1 0 284810137 20381696 3741 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11281/statm: 4976 3741 166 439 0 4533 0
[pid=12068] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12068/stat : 12068 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284849723 9367552 267 33554432000 4194304 5064252 140734368325056 140734368323968 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12068/statm: 2287 267 226 213 0 72 0
[pid=12069] ppid=12068 vsize=21692 CPUtime=6.43 cores=0,2,4,6
/proc/12069/stat : 12069 (glucose) R 12068 11280 32349 0 -1 4202496 4089 0 0 0 643 0 0 0 20 0 1 0 284849723 22212608 4929 33554432000 4194304 5208918 140734286287296 140734286285448 4212680 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12069/statm: 5423 4929 104 248 0 5172 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 59892

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12230
/proc/meminfo: memFree=30700040/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=19904 CPUtime=460.22 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 140654 584943 0 0 601 88 45036 297 20 0 1 0 284810137 20381696 3741 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11281/statm: 4976 3741 166 439 0 4533 0
[pid=12222] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12222/stat : 12222 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284856191 9367552 267 33554432000 4194304 5064252 140736541585088 140736541584000 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12222/statm: 2287 267 226 213 0 72 0
[pid=12223] ppid=12222 vsize=18640 CPUtime=1.74 cores=0,2,4,6
/proc/12223/stat : 12223 (glucose) R 12222 11280 32349 0 -1 4202496 3815 0 0 0 174 0 0 0 20 0 1 0 284856192 19087360 4119 33554432000 4194304 5208918 140737479470176 140737479468024 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12223/statm: 4660 4119 104 248 0 4409 0
Current children cumulated CPU time (s) 461.96
Current children cumulated vsize (KiB) 56840

[startup+522.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/181 12734
/proc/meminfo: memFree=30741184/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=36788 CPUtime=520.86 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 161737 759670 0 0 732 107 50782 465 20 0 1 0 284810137 37670912 7837 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/11281/statm: 9197 7837 166 439 0 8754 0
Current children cumulated CPU time (s) 520.86
Current children cumulated vsize (KiB) 45936

[startup+582.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/183 12915
/proc/meminfo: memFree=30692164/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20056 CPUtime=581.53 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 190555 1039675 0 0 884 129 56370 770 20 0 1 0 284810137 20537344 4380 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/11281/statm: 5014 4380 166 439 0 4571 0
Current children cumulated CPU time (s) 581.53
Current children cumulated vsize (KiB) 29204

[startup+642.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 13157
/proc/meminfo: memFree=30708604/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20056 CPUtime=640.26 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 231058 1340857 0 0 1003 144 61840 1039 20 0 1 0 284810137 20537344 4385 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/11281/statm: 5014 4385 166 439 0 4571 0
[pid=13156] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13156/stat : 13156 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284874226 9367552 267 33554432000 4194304 5064252 140736770752032 140736770750944 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13156/statm: 2287 267 226 213 0 72 0
[pid=13157] ppid=13156 vsize=12244 CPUtime=1.4 cores=0,2,4,6
/proc/13157/stat : 13157 (glucose) R 13156 11280 32349 0 -1 4202496 2852 0 0 0 140 0 0 0 20 0 1 0 284874226 12537856 2344 33554432000 4194304 5208918 140735210603824 140735210601672 4211147 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13157/statm: 3061 2344 102 248 0 2810 0
Current children cumulated CPU time (s) 641.66
Current children cumulated vsize (KiB) 50596

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

[startup+652.7 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 13290
/proc/meminfo: memFree=30715320/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20056 CPUtime=651.58 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 236612 1436343 0 0 1012 145 62925 1076 20 0 1 0 284810137 20537344 4385 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/11281/statm: 5014 4385 166 439 0 4571 0
Current children cumulated CPU time (s) 651.58
Current children cumulated vsize (KiB) 29204

[startup+655.9 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 13325
/proc/meminfo: memFree=30714876/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20056 CPUtime=654.27 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 236976 1450567 0 0 1012 146 63189 1080 20 0 1 0 284810137 20537344 4385 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/11281/statm: 5014 4385 166 439 0 4571 0
[pid=13324] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13324/stat : 13324 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284875638 9367552 266 33554432000 4194304 5064252 140734416181968 140734416180880 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13324/statm: 2287 266 226 213 0 72 0
[pid=13325] ppid=13324 vsize=7196 CPUtime=0.87 cores=0,2,4,6
/proc/13325/stat : 13325 (glucose) R 13324 11280 32349 0 -1 4202496 1512 0 0 0 87 0 0 0 20 0 1 0 284875639 7368704 1130 33554432000 4194304 5208918 140734655761232 140734655759080 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13325/statm: 1799 1130 103 248 0 1548 0
Current children cumulated CPU time (s) 655.14
Current children cumulated vsize (KiB) 45548

[startup+657.5 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 13325
/proc/meminfo: memFree=30712544/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20056 CPUtime=654.27 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 236976 1450567 0 0 1012 146 63189 1080 20 0 1 0 284810137 20537344 4385 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/11281/statm: 5014 4385 166 439 0 4571 0
[pid=13324] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13324/stat : 13324 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284875638 9367552 266 33554432000 4194304 5064252 140734416181968 140734416180880 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13324/statm: 2287 266 226 213 0 72 0
[pid=13325] ppid=13324 vsize=9004 CPUtime=2.47 cores=0,2,4,6
/proc/13325/stat : 13325 (glucose) R 13324 11280 32349 0 -1 4202496 1826 0 0 0 247 0 0 0 20 0 1 0 284875639 9220096 1418 33554432000 4194304 5208918 140734655761232 140734655759176 4212856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13325/statm: 2251 1418 103 248 0 2000 0
Current children cumulated CPU time (s) 656.74
Current children cumulated vsize (KiB) 47356

[startup+658.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 13325
/proc/meminfo: memFree=30711180/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20056 CPUtime=654.27 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 236976 1450567 0 0 1012 146 63189 1080 20 0 1 0 284810137 20537344 4385 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/11281/statm: 5014 4385 166 439 0 4571 0
[pid=13324] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13324/stat : 13324 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284875638 9367552 266 33554432000 4194304 5064252 140734416181968 140734416180880 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13324/statm: 2287 266 226 213 0 72 0
[pid=13325] ppid=13324 vsize=10668 CPUtime=3.27 cores=0,2,4,6
/proc/13325/stat : 13325 (glucose) R 13324 11280 32349 0 -1 4202496 2314 0 0 0 327 0 0 0 20 0 1 0 284875639 10924032 1872 33554432000 4194304 5208918 140734655761232 140734655759176 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13325/statm: 2667 1872 103 248 0 2416 0
Current children cumulated CPU time (s) 657.54
Current children cumulated vsize (KiB) 49020

[startup+659.1 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 13332
/proc/meminfo: memFree=30711116/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20056 CPUtime=654.27 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 236976 1450567 0 0 1012 146 63189 1080 20 0 1 0 284810137 20537344 4385 33554432000 4194304 5990268 140736101043760 140736101035184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/11281/statm: 5014 4385 166 439 0 4571 0
[pid=13324] ppid=11281 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13324/stat : 13324 (satsolver.sh) S 11281 11280 32349 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284875638 9367552 266 33554432000 4194304 5064252 140734416181968 140734416180880 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13324/statm: 2287 266 226 213 0 72 0
[pid=13325] ppid=13324 vsize=10668 CPUtime=4.07 cores=0,2,4,6
/proc/13325/stat : 13325 (glucose) R 13324 11280 32349 0 -1 4202496 2567 0 0 0 407 0 0 0 20 0 1 0 284875639 10924032 2118 33554432000 4194304 5208918 140734655761232 140734655759080 4229734 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13325/statm: 2667 2118 103 248 0 2416 0
Current children cumulated CPU time (s) 658.34
Current children cumulated vsize (KiB) 49020

[startup+659.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/183 13332
/proc/meminfo: memFree=30711116/32873844 swapFree=6600/6600
[pid=11280] ppid=11278 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11280/stat : 11280 (npSolver-wbo-It) S 11278 11280 32349 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284810136 9367552 274 33554432000 4194304 5064252 140733267759360 140733267758272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11280/statm: 2287 274 233 213 0 72 0
[pid=11281] ppid=11280 vsize=20056 CPUtime=658.43 cores=0,2,4,6
/proc/11281/stat : 11281 (npSolver-wbo) S 11280 11280 32349 0 -1 4202496 237008 1456145 0 0 1012 146 63604 1081 20 0 1 0 284810137 20537344 4385 33554432000 4194304 5990268 140736101043760 140736101035760 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 8 0 0
/proc/11281/statm: 5014 4385 166 439 0 4571 0
Current children cumulated CPU time (s) 658.43
Current children cumulated vsize (KiB) 29204

Child status: 0
Real time (s): 659.324
CPU time (s): 658.456
CPU user time (s): 646.177
CPU system time (s): 12.2791
CPU usage (%): 99.8683
Max. virtual memory (cumulated for all children) (KiB): 164340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 646.177
system time used= 12.2791
maximum resident set size= 89856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1694507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1467080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17805
involuntary context switches= 2289

runsolver used 1.3308 second user time and 3.33349 second system time

The end

Launcher Data 

Begin job on node140 at 2012-05-28 08:34:13
IDJOB=3714905
IDBENCH=78913
IDSOLVER=2296
FILE ID=node140/3714905-1338186853
RUNJOBID= node140-1338159152-32365
PBS_JOBID= 14624551
Free space on /tmp= 71328 MiB

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

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

MD5SUM BENCH= c3adda683c0d048bf44386b3ccfc9e41
RANDOM SEED=1936863122

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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		: 2667.094
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.88
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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:        30752292 kB
Buffers:          453028 kB
Cached:           757208 kB
SwapCached:         1488 kB
Active:           959440 kB
Inactive:         292420 kB
Active(anon):      33276 kB
Inactive(anon):     8604 kB
Active(file):     926164 kB
Inactive(file):   283816 kB
Unevictable:        6600 kB
Mlocked:            6600 kB
SwapTotal:      67108856 kB
SwapFree:       67105304 kB
Dirty:              8200 kB
Writeback:             0 kB
AnonPages:         69880 kB
Mapped:            12628 kB
Shmem:                 8 kB
Slab:             730396 kB
SReclaimable:     172072 kB
SUnreclaim:       558324 kB
KernelStack:        1520 kB
PageTables:         4432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     156676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71312 MiB
End job on node140 at 2012-05-28 08:45:12