Trace number 459149

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
PBS4_v2 2007-03-23SAT (TO)143 1800.1 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_1.opb
MD5SUM0263d0a7c5e3320bd7cce9534c14bf27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark1802.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 32
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint85
Maximum length of a constraint86
Number of terms in the objective function 128
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1884
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6162
Number of bits of the biggest sum of numbers13
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 (download as text)

0.00/0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00/0.00	c Solving /tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb ......
0.00/0.00	c done parsing opb.
0.00/0.00	o 1086
0.00/0.00	o 944
0.00/0.00	o 577
0.00/0.09	o 575
0.00/0.10	o 572
0.39/0.50	o 570
0.49/0.58	o 568
1.69/1.75	o 567
1.69/1.78	o 566
2.09/2.10	o 565
2.09/2.14	o 564
2.49/2.55	o 563
2.59/2.66	o 561
2.69/2.70	o 560
2.69/2.74	o 553
2.79/2.84	o 551
2.89/2.91	o 550
2.89/2.93	o 547
2.89/2.95	o 546
2.99/3.02	o 545
2.99/3.06	o 544
3.09/3.11	o 543
3.09/3.14	o 542
3.09/3.15	o 541
3.09/3.17	o 540
3.19/3.22	o 527
3.59/3.68	o 479
4.19/4.21	o 477
4.40/4.46	o 475
4.50/4.52	o 474
4.59/4.61	o 473
4.69/4.72	o 472
4.99/5.07	o 469
4.99/5.08	o 465
4.99/5.08	o 463
5.29/5.32	o 462
6.29/6.37	o 460
6.39/6.40	o 459
6.49/6.50	o 458
6.60/6.65	o 457
6.69/6.75	o 456
7.09/7.11	o 443
7.09/7.15	o 442
7.09/7.18	o 441
7.39/7.43	o 439
8.19/8.21	o 437
8.19/8.28	o 436
12.39/12.46	o 412
13.19/13.25	o 410
13.69/13.77	o 408
13.79/13.86	o 406
13.79/13.89	o 404
17.59/17.62	o 402
17.59/17.68	o 401
17.79/17.86	o 400
17.89/17.97	o 399
21.08/21.13	o 357
35.38/35.46	o 355
36.28/36.36	o 354
36.38/36.47	o 353
36.47/36.58	o 352
40.37/40.41	o 350
40.47/40.52	o 349
41.38/41.41	o 347
41.38/41.46	o 340
41.88/41.94	o 339
42.07/42.10	o 338
46.87/46.93	o 315
59.86/59.95	o 314
59.96/60.08	o 311
60.16/60.20	o 310
60.27/60.31	o 309
67.56/67.68	o 307
67.76/67.83	o 306
71.06/71.18	o 304
71.16/71.26	o 303
71.47/71.55	o 302
71.66/71.72	o 301
72.36/72.49	o 288
72.36/72.49	o 280
72.46/72.50	o 278
120.25/120.34	o 277
120.45/120.53	o 276
128.84/128.90	o 275
128.94/129.08	o 274
234.51/234.67	o 273
234.81/234.94	o 272
252.70/252.83	o 271
253.10/253.25	o 270
253.30/253.46	o 269
253.50/253.65	o 268
259.30/259.45	o 266
259.60/259.74	o 265
259.70/259.85	o 264
260.00/260.10	o 263
283.39/283.58	o 262
285.39/285.58	o 229
287.79/287.93	o 227
290.49/290.69	o 226
293.89/294.04	o 224
294.49/294.67	o 223
294.99/295.15	o 222
295.59/295.75	o 220
295.89/296.02	o 219
296.18/296.37	o 218
296.58/296.76	o 216
296.79/296.92	o 215
297.39/297.58	o 214
297.59/297.72	o 213
303.28/303.49	o 211
306.58/306.70	o 210
307.19/307.39	o 209
339.17/339.34	o 208
339.67/339.83	o 207
386.16/386.39	o 205
487.62/487.85	o 204
488.23/488.41	o 203
489.33/489.53	o 201
490.32/490.58	o 200
491.42/491.64	o 198
491.53/491.78	o 197
492.32/492.55	o 196
492.52/492.71	o 193
492.52/492.79	o 191
777.62/777.96	o 189
778.92/779.24	o 188
779.32/779.66	o 187
779.52/779.83	o 186
779.82/780.11	o 185
780.32/780.68	o 183
780.62/780.91	o 182
780.72/781.08	o 181
781.02/781.31	o 179
781.22/781.55	o 178
782.72/783.04	o 176
783.62/783.95	o 175
784.81/785.14	o 174
785.01/785.38	o 173
908.58/908.95	o 171
909.18/909.52	o 168
909.38/909.80	o 167
909.68/910.08	o 166
909.98/910.36	o 165
910.18/910.52	o 164
1108.10/1108.64	o 162
1108.41/1108.99	o 161
1108.80/1109.34	o 160
1109.00/1109.59	o 159
1109.30/1109.84	o 158
1109.80/1110.32	o 157
1110.30/1110.82	o 155
1110.50/1111.05	o 153
1110.70/1111.21	o 152
1110.90/1111.48	o 151
1111.20/1111.76	o 150
1111.40/1111.90	o 149
1293.74/1294.32	o 148
1325.33/1325.90	o 146
1326.03/1326.64	o 145
1327.13/1327.79	o 143
1800.06/1800.80	s SATISFIABLE
1800.06/1800.80	v -x1 -x10 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x11 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117
1800.06/1800.80	v -x118 -x119 -x12 -x120 -x121 -x122 x123 -x124 x125 x126 -x127 -x128 x129 -x13 -x130 -x131 x132 x133 x134 x135 -x136 x137 -x138
1800.06/1800.80	v -x139 -x14 -x140 x141 x142 x143 x144 x145 -x146 -x147 -x148 x149 -x15 x150 x151 -x152 x153 -x154 x155 x156 -x157 x158 x159 -x16
1800.06/1800.80	v -x160 x161 x162 x163 -x164 -x165 -x166 x167 x168 -x169 -x17 -x170 -x171 x172 x173 x174 -x175 x176 x177 -x178 -x179 -x18 -x180
1800.06/1800.80	v -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 -x19 -x190 x191 x192 x193 -x194 x195 -x196 x197 -x198 x2 -x20 -x21 -x22
1800.06/1800.80	v -x23 -x24 x25 x26 x27 -x28 -x29 -x3 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
1800.06/1800.80	v -x48 x49 x5 x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 x68 -x69 -x7 -x70 -x71 -x72
1800.06/1800.80	v -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x8 -x80 x81 x82 -x83 x84 x85 -x86 -x87 -x88 -x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97
1800.06/1800.80	v x98 x99

Verifier Data (download as text)

OK	143

Conversion Script Data (download as text)

/tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node23/watcher-459149-1178649858 -o ROOT/results/node23/solver-459149-1178649858 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 32204
/proc/meminfo: memFree=1855360/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=1324 CPUtime=0
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 136 0 0 0 0 0 0 0 18 0 1 0 312902960 1355776 118 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135057549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 331 118 86 219 0 108 0

[startup+0.10078 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 32204
/proc/meminfo: memFree=1855360/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=1468 CPUtime=0.09
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 214 0 0 0 9 0 0 0 18 0 1 0 312902960 1503232 196 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 367 196 102 219 0 144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1468

[startup+0.2028 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 32204
/proc/meminfo: memFree=1855360/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=2236 CPUtime=0.19
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 313 0 0 0 19 0 0 0 19 0 1 0 312902960 2289664 295 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 559 295 102 219 0 336 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 2236

[startup+0.30282 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 32204
/proc/meminfo: memFree=1855360/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=2236 CPUtime=0.29
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 393 0 0 0 29 0 0 0 19 0 1 0 312902960 2289664 375 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 559 375 102 219 0 336 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2236

[startup+0.701896 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 32204
/proc/meminfo: memFree=1855360/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=3460 CPUtime=0.69
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 701 0 0 0 69 0 0 0 22 0 1 0 312902960 3543040 683 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 865 683 102 219 0 642 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3460

[startup+1.50105 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 32205
/proc/meminfo: memFree=1851960/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=5840 CPUtime=1.49
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 1158 0 0 0 149 0 0 0 25 0 1 0 312902960 5980160 1140 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134546877 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 1460 1140 102 219 0 1237 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5840

[startup+3.10136 s]
/proc/loadavg: 0.92 0.95 0.98 3/78 32205
/proc/meminfo: memFree=1849528/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=10660 CPUtime=3.09
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 1914 0 0 0 307 2 0 0 25 0 1 0 312902960 10915840 1847 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 2665 1847 102 219 0 2442 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10660

[startup+6.30198 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 32205
/proc/meminfo: memFree=1845304/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=11588 CPUtime=6.29
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 2805 0 0 0 625 4 0 0 25 0 1 0 312902960 11866112 2641 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 2897 2641 102 219 0 2674 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11588

[startup+12.7012 s]
/proc/loadavg: 0.93 0.96 0.98 2/78 32205
/proc/meminfo: memFree=1841656/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=20324 CPUtime=12.69
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 3603 0 0 0 1262 7 0 0 25 0 1 0 312902960 20811776 3439 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 5081 3439 102 219 0 4858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20324

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 32205
/proc/meminfo: memFree=1838328/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=21804 CPUtime=25.48
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 4615 0 0 0 2538 10 0 0 25 0 1 0 312902960 22327296 4258 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 5451 4258 102 219 0 5228 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21804

[startup+51.1027 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 32205
/proc/meminfo: memFree=1833976/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=22696 CPUtime=51.07
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 5685 0 0 0 5092 15 0 0 25 0 1 0 312902960 23240704 5328 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 5674 5328 102 219 0 5451 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22696

[startup+102.302 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 32205
/proc/meminfo: memFree=1826296/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=42272 CPUtime=102.26
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 7991 0 0 0 10201 25 0 0 25 0 1 0 312902960 43286528 7249 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 10568 7249 102 219 0 10345 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 42272

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1823032/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=43524 CPUtime=162.23
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 8832 0 0 0 16191 32 0 0 25 0 1 0 312902960 44568576 8090 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 10881 8090 102 219 0 10658 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 43524

[startup+222.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1814968/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=48640 CPUtime=222.22
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 11571 0 0 0 22183 39 0 0 25 0 1 0 312902960 49807360 10060 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 12160 10060 102 219 0 11937 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 48640

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1808632/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=82404 CPUtime=282.19
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 13150 0 0 0 28172 47 0 0 25 0 1 0 312902960 84381696 11639 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 20601 11639 102 219 0 20378 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 82404

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1802872/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=83324 CPUtime=342.18
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 14572 0 0 0 34166 52 0 0 25 0 1 0 312902960 85323776 13061 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 20831 13061 102 219 0 20608 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 83324

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1801528/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=84436 CPUtime=402.15
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 14911 0 0 0 40159 56 0 0 25 0 1 0 312902960 86462464 13400 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 21109 13400 102 219 0 20886 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 84436

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1800760/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=84884 CPUtime=462.13
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 15089 0 0 0 46152 61 0 0 25 0 1 0 312902960 86921216 13578 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 21221 13578 102 219 0 20998 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 84884

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1797944/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=85268 CPUtime=522.1
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 15802 0 0 0 52144 66 0 0 25 0 1 0 312902960 87314432 14291 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134547376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 21317 14291 102 219 0 21094 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 85268

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1795256/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=85824 CPUtime=582.08
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 16464 0 0 0 58138 70 0 0 25 0 1 0 312902960 87883776 14953 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 21456 14953 102 219 0 21233 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 85824

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1791288/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=87008 CPUtime=642.06
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 17474 0 0 0 64131 75 0 0 25 0 1 0 312902960 89096192 15930 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 21752 15930 102 219 0 21529 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 87008


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

[startup+882.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1777336/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=98256 CPUtime=881.99
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 22464 0 0 0 88108 91 0 0 25 0 1 0 312902960 100614144 19350 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550322 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 24564 19350 102 219 0 24341 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 98256

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1776504/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=99060 CPUtime=941.96
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 22681 0 0 0 94101 95 0 0 25 0 1 0 312902960 101437440 19567 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 24765 19567 102 219 0 24542 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 99060

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32205
/proc/meminfo: memFree=1775736/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=99324 CPUtime=1001.95
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 22864 0 0 0 100097 98 0 0 25 0 1 0 312902960 101707776 19750 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 24831 19750 102 219 0 24608 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 99324

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1774960/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=99620 CPUtime=1061.81
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 22947 0 0 0 106080 101 0 0 25 0 1 0 312902960 102010880 19833 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 24905 19833 102 219 0 24682 0
Current children cumulated CPU time (s) 1061.81
Current children cumulated vsize (KiB) 99620

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1774264/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=100012 CPUtime=1121.8
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 23137 0 0 0 112074 106 0 0 25 0 1 0 312902960 102412288 20023 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 25003 20023 102 219 0 24780 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 100012

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1773560/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=100324 CPUtime=1181.77
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 23301 0 0 0 118068 109 0 0 25 0 1 0 312902960 102731776 20187 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 25081 20187 102 219 0 24858 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 100324

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1773176/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=100656 CPUtime=1241.75
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 23394 0 0 0 124063 112 0 0 25 0 1 0 312902960 103071744 20280 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 25164 20280 102 219 0 24941 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 100656

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1772408/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=101312 CPUtime=1301.73
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 23587 0 0 0 130057 116 0 0 25 0 1 0 312902960 103743488 20473 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550448 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 25328 20473 102 219 0 25105 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 101312

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1771128/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=102584 CPUtime=1361.71
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 23927 0 0 0 136051 120 0 0 25 0 1 0 312902960 105046016 20780 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 25646 20780 102 219 0 25423 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 102584

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1770744/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=102584 CPUtime=1421.69
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 24009 0 0 0 142046 123 0 0 25 0 1 0 312902960 105046016 20862 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 25646 20862 102 219 0 25423 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 102584

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1770424/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=102716 CPUtime=1481.67
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 24101 0 0 0 148040 127 0 0 25 0 1 0 312902960 105181184 20954 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 25679 20954 102 219 0 25456 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 102716

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1769976/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=103224 CPUtime=1541.65
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 24195 0 0 0 154036 129 0 0 25 0 1 0 312902960 105701376 21048 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 25806 21048 102 219 0 25583 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 103224

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1769208/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=103876 CPUtime=1601.63
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 24392 0 0 0 160031 132 0 0 25 0 1 0 312902960 106369024 21212 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 25969 21212 102 219 0 25746 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 103876

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1766904/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=104784 CPUtime=1661.6
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 25110 0 0 0 166024 136 0 0 25 0 1 0 312902960 107298816 21831 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550343 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 26196 21831 102 219 0 25973 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 104784

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1765560/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=105968 CPUtime=1721.59
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 25473 0 0 0 172020 139 0 0 25 0 1 0 312902960 108511232 22128 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 26492 22128 102 219 0 26269 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 105968

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1764472/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=107296 CPUtime=1781.57
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 25868 0 0 0 178015 142 0 0 25 0 1 0 312902960 109871104 22391 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 26824 22391 102 219 0 26601 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 107296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1764408/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=107296 CPUtime=1800.06
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 25907 0 0 0 179863 143 0 0 25 0 1 0 312902960 109871104 22430 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 26824 22430 102 219 0 26601 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 107296

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32403
/proc/meminfo: memFree=1764408/2055920 swapFree=4169188/4192956
[pid=32204] ppid=32202 vsize=107296 CPUtime=1800.06
/proc/32204/stat : 32204 (PBS4_SAT07v2) R 32202 32204 31239 0 -1 4194304 25907 0 0 0 179863 143 0 0 25 0 1 0 312902960 109871104 22430 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32204/statm: 26824 22430 102 219 0 26601 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 107296

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.1
CPU user time (s): 1798.64
CPU system time (s): 1.45478
CPU usage (%): 99.9594
Max. virtual memory (cumulated for all children) (KiB): 107296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.45478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 1742

runsolver used 1.46678 second user time and 4.25735 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Tue May  8 18:44:18 UTC 2007

IDJOB= 459149
IDBENCH= 2920
IDSOLVER= 200
FILE ID= node23/459149-1178649858

PBS_JOBID= 5218339

Free space on /tmp= 66562 MiB

SOLVER NAME= PBS4_v2 2007-03-23
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb
COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node23/convwatcher-459149-1178649858 -o ROOT/results/node23/conversion-459149-1178649858 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-459149-1178649858 -o ROOT/results/node23/solver-459149-1178649858 -C 1800 -W 3600 -M 1800 --output-limit 1,15  PBS4_SAT07v2 /tmp/evaluation/459149-1178649858/instance-459149-1178649858.opb

META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33
MD5SUM BENCH=  0263d0a7c5e3320bd7cce9534c14bf27

RANDOM SEED= 586311853

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.276
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.276
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1855768 kB
Buffers:         23784 kB
Cached:          70164 kB
SwapCached:       2612 kB
Active:          56952 kB
Inactive:        60296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855768 kB
SwapTotal:     4192956 kB
SwapFree:      4169188 kB
Dirty:            2284 kB
Writeback:           0 kB
Mapped:          30912 kB
Slab:            68384 kB
Committed_AS:  5172840 kB
PageTables:       1796 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66562 MiB

End job on node23 on Tue May  8 19:14:21 UTC 2007