Trace number 50547

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
PBS 4.1L? (TO) 1800.68 1801.24

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 benchmark32
Best CPU time to get the best result obtained on this benchmark1782.73
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

Solver Data (download as text)

0.00	c PBS v4 by Bashar Al-Rawi & Fadi Aloul
0.00	c Solving ROOT/tmp/node35/50547-1154105888/instance-50547-1154105888.opb ......
0.01	c done parsing opb.
0.01	o 1086
0.01	o 944
0.01	o 577
0.09	o 575
0.09	o 572
0.46	o 570
0.54	o 568
1.63	o 567
1.66	o 566
1.96	o 565
2.00	o 564
2.40	o 563
2.51	o 561
2.54	o 560
2.58	o 553
2.68	o 551
2.74	o 550
2.76	o 547
2.78	o 546
2.85	o 545
2.88	o 544
2.94	o 543
2.96	o 542
2.97	o 541
2.99	o 540
3.04	o 527
3.47	o 479
3.98	o 477
4.23	o 475
4.29	o 474
4.38	o 473
4.48	o 472
4.82	o 469
4.83	o 465
4.83	o 463
5.07	o 462
6.09	o 460
6.12	o 459
6.22	o 458
6.37	o 457
6.46	o 456
6.80	o 443
6.85	o 442
6.87	o 441
7.11	o 439
7.88	o 437
7.95	o 436
12.03	o 412
12.81	o 410
13.33	o 408
13.42	o 406
13.45	o 404
17.18	o 402
17.24	o 401
17.42	o 400
17.53	o 399
20.69	o 357
34.83	o 355
35.73	o 354
35.85	o 353
35.95	o 352
39.80	o 350
39.90	o 349
40.79	o 347
40.83	o 340
41.31	o 339
41.47	o 338
46.24	o 315
59.20	o 314
59.33	o 311
59.45	o 310
59.56	o 309
66.87	o 307
67.02	o 306
70.31	o 304
70.39	o 303
70.68	o 302
70.85	o 301
71.61	o 288
71.61	o 280
71.61	o 278
119.43	o 277
119.63	o 276
127.95	o 275
128.13	o 274
233.50	o 273
233.78	o 272
251.65	o 271
252.06	o 270
252.28	o 269
252.46	o 268
258.32	o 266
258.61	o 265
258.73	o 264
258.98	o 263
282.45	o 262
284.43	o 229
286.78	o 227
289.52	o 226
292.84	o 224
293.48	o 223
293.97	o 222
294.56	o 220
294.84	o 219
295.19	o 218
295.57	o 216
295.74	o 215
296.40	o 214
296.54	o 213
302.36	o 211
305.54	o 210
306.23	o 209
338.14	o 208
338.64	o 207
385.05	o 205
486.56	o 204
487.12	o 203
488.22	o 201
489.27	o 200
490.31	o 198
490.45	o 197
491.22	o 196
491.38	o 193
491.46	o 191
777.40	o 189
778.69	o 188
779.12	o 187
779.29	o 186
779.58	o 185
780.14	o 183
780.37	o 182
780.54	o 181
780.78	o 179
781.02	o 178
782.53	o 176
783.44	o 175
784.62	o 174
784.86	o 173
908.69	o 171
909.25	o 168
909.52	o 167
909.80	o 166
910.08	o 165
910.24	o 164
1108.60	o 162
1108.96	o 161
1109.30	o 160
1109.55	o 159
1109.81	o 158
1110.29	o 157
1110.76	o 155
1110.99	o 153
1111.15	o 152
1111.42	o 151
1111.70	o 150
1111.84	o 149
1294.57	o 148
1326.33	o 146
1327.07	o 145
1328.19	o 143

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node35/watcher-50547-1154105888 -o ROOT/results/node35/solver-50547-1154105888 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node35/50547-1154105888/instance-50547-1154105888.opb 333081135 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.96 3/64 29334
/proc/meminfo: memFree=1328408/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=1400 CPUtime=0
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 129 0 0 0 0 0 0 0 18 0 1 0 157448918 1433600 111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598729 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 350 112 90 232 0 115 0

[startup+10.0017 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1315304/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=20240 CPUtime=9.99
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 3559 0 0 0 993 6 0 0 25 0 1 0 157448918 20725760 3390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 5060 3390 108 232 0 4825 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 20240

[startup+20.0079 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1312232/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=21712 CPUtime=19.99
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 4511 0 0 0 1988 11 0 0 25 0 1 0 157448918 22233088 4149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 5428 4149 108 232 0 5193 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 21712

[startup+30.0141 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1311464/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=21996 CPUtime=30
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 4694 0 0 0 2987 13 0 0 25 0 1 0 157448918 22523904 4332 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 5499 4332 108 232 0 5264 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 21996

[startup+40.0203 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1309864/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=22432 CPUtime=40
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 5116 0 0 0 3985 15 0 0 25 0 1 0 157448918 22970368 4754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558877 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 5608 4754 108 232 0 5373 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 22432

[startup+50.0275 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1307560/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=22744 CPUtime=50
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 5691 0 0 0 4984 16 0 0 25 0 1 0 157448918 23289856 5329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 5686 5329 108 232 0 5451 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 22744

[startup+60.0337 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1307048/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=23064 CPUtime=60.01
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 5810 0 0 0 5984 17 0 0 25 0 1 0 157448918 23617536 5448 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 5766 5448 108 232 0 5531 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 23064

[startup+70.0399 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1304936/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=40984 CPUtime=70.01
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 6730 0 0 0 6981 20 0 0 25 0 1 0 157448918 41967616 5983 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10246 5983 108 232 0 10011 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 40984

[startup+80.0461 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1302824/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=41316 CPUtime=80.01
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 7252 0 0 0 7980 21 0 0 25 0 1 0 157448918 42307584 6505 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10329 6505 108 232 0 10094 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 41316

[startup+90.0523 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1300904/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=41976 CPUtime=90.02
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 7727 0 0 0 8980 22 0 0 25 0 1 0 157448918 42983424 6980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10494 6980 108 232 0 10259 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 41976

[startup+100.059 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1299880/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=42320 CPUtime=100.02
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 7978 0 0 0 9979 23 0 0 25 0 1 0 157448918 43335680 7231 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10580 7231 108 232 0 10345 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 42320

[startup+110.066 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1299368/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=42676 CPUtime=110.03
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8106 0 0 0 10979 24 0 0 25 0 1 0 157448918 43700224 7359 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549169 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10669 7359 108 232 0 10434 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 42676

[startup+120.072 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1299112/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=42876 CPUtime=120.03
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8168 0 0 0 11978 25 0 0 25 0 1 0 157448918 43905024 7421 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558875 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10719 7421 108 232 0 10484 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 42876

[startup+130.078 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1298792/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=43208 CPUtime=130.03
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8249 0 0 0 12977 26 0 0 25 0 1 0 157448918 44244992 7502 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10802 7502 108 232 0 10567 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 43208

[startup+140.084 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1298536/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=43388 CPUtime=140.03
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8308 0 0 0 13976 27 0 0 25 0 1 0 157448918 44429312 7561 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10847 7561 108 232 0 10612 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 43388

[startup+150.091 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1297704/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=43388 CPUtime=150.04
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8513 0 0 0 14976 28 0 0 25 0 1 0 157448918 44429312 7766 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10847 7766 108 232 0 10612 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 43388

[startup+160.097 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1296616/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=43572 CPUtime=160.04
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 8796 0 0 0 15974 30 0 0 25 0 1 0 157448918 44617728 8049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10893 8049 108 232 0 10658 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 43572

[startup+170.103 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29334
/proc/meminfo: memFree=1295592/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=43572 CPUtime=170.05
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 9047 0 0 0 16974 31 0 0 25 0 1 0 157448918 44617728 8300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 10893 8300 108 232 0 10658 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 43572

[startup+180.109 s]
/proc/loadavg: 0.99 0.97 0.96 2/70 29408
/proc/meminfo: memFree=1293112/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=44116 CPUtime=180.04
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 9388 0 0 0 17962 42 0 0 25 0 1 0 157448918 45174784 8641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 11029 8641 108 232 0 10794 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 44116

[startup+190.115 s]
/proc/loadavg: 0.99 0.97 0.96 2/70 29468
/proc/meminfo: memFree=1291704/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=44464 CPUtime=190.01
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 9721 0 0 0 18958 43 0 0 25 0 1 0 157448918 45531136 8974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558847 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 11116 8974 108 232 0 10881 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 44464

[startup+200.123 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1291040/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=45232 CPUtime=199.99
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 10115 0 0 0 19954 45 0 0 25 0 1 0 157448918 46317568 9368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 0 0 0
/proc/29334/statm: 11308 9368 108 232 0 11073 0
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 45232

[startup+210.129 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532

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

/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25843 0 0 0 178012 144 0 0 25 0 1 0 157448918 109789184 22394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26804 22394 108 232 0 26569 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (Kb) 107216

[startup+1783.12 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1239016/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107216 CPUtime=1782.56
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25846 0 0 0 178112 144 0 0 25 0 1 0 157448918 109789184 22397 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26804 22397 108 232 0 26569 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 107216

[startup+1784.13 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1783.57
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25880 0 0 0 178213 144 0 0 25 0 1 0 157448918 109920256 22398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22398 108 232 0 26601 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 107344

[startup+1785.13 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1784.57
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25882 0 0 0 178313 144 0 0 25 0 1 0 157448918 109920256 22400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22400 108 232 0 26601 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (Kb) 107344

[startup+1786.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1785.57
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25882 0 0 0 178413 144 0 0 25 0 1 0 157448918 109920256 22400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22400 108 232 0 26601 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 107344

[startup+1787.14 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1786.58
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25883 0 0 0 178514 144 0 0 25 0 1 0 157448918 109920256 22401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22401 108 232 0 26601 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 107344

[startup+1788.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1787.58
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25884 0 0 0 178614 144 0 0 25 0 1 0 157448918 109920256 22402 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22402 108 232 0 26601 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 107344

[startup+1789.15 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1788.59
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25890 0 0 0 178715 144 0 0 25 0 1 0 157448918 109920256 22408 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22408 108 232 0 26601 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 107344

[startup+1790.16 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1789.59
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25891 0 0 0 178815 144 0 0 25 0 1 0 157448918 109920256 22409 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558859 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22409 108 232 0 26601 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 107344

[startup+1791.16 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1790.6
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25892 0 0 0 178916 144 0 0 25 0 1 0 157448918 109920256 22410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22410 108 232 0 26601 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 107344

[startup+1792.17 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1791.6
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25893 0 0 0 179016 144 0 0 25 0 1 0 157448918 109920256 22411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22411 108 232 0 26601 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 107344

[startup+1793.17 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1792.61
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25894 0 0 0 179117 144 0 0 25 0 1 0 157448918 109920256 22412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558835 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22412 108 232 0 26601 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 107344

[startup+1794.18 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1793.61
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25898 0 0 0 179217 144 0 0 25 0 1 0 157448918 109920256 22416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22416 108 232 0 26601 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 107344

[startup+1795.18 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1794.62
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25899 0 0 0 179318 144 0 0 25 0 1 0 157448918 109920256 22417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22417 108 232 0 26601 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 107344

[startup+1796.19 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1795.63
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25899 0 0 0 179418 145 0 0 25 0 1 0 157448918 109920256 22417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22417 108 232 0 26601 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 107344

[startup+1797.19 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1796.63
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25900 0 0 0 179518 145 0 0 25 0 1 0 157448918 109920256 22418 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22418 108 232 0 26601 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 107344

[startup+1798.2 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1797.64
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25901 0 0 0 179619 145 0 0 25 0 1 0 157448918 109920256 22419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22419 108 232 0 26601 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 107344

[startup+1799.2 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1798.64
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25915 0 0 0 179719 145 0 0 25 0 1 0 157448918 109920256 22433 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22433 108 232 0 26601 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 107344

[startup+1800.21 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1799.65
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25916 0 0 0 179820 145 0 0 25 0 1 0 157448918 109920256 22434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22434 108 232 0 26601 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 107344

[startup+1801.21 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1800.65
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25918 0 0 0 179920 145 0 0 25 0 1 0 157448918 109920256 22436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22436 108 232 0 26601 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 107344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.22 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 29532
/proc/meminfo: memFree=1238888/2055920 swapFree=4182936/4192956
[pid=29334] ppid=29332 vsize=107344 CPUtime=1800.65
/proc/29334/stat : 29334 (PBS4L) R 29332 29334 29285 0 -1 4194304 25918 0 0 0 179920 145 0 0 25 0 1 0 157448918 109920256 22436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/29334/statm: 26836 22436 108 232 0 26601 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 107344

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.24
CPU time (s): 1800.68
CPU user time (s): 1799.21
CPU system time (s): 1.47078
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (Kb): 107344
The end

Launcher Data (download as text)

Begin job on node35 on Fri Jul 28 16:58:08 UTC 2006


FILE ID= 50547-1154105888

PBS_JOBID= 886281

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= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node35/50547-1154105888/instance-50547-1154105888.opb 333081135
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-50547-1154105888 -o ROOT/results/node35/solver-50547-1154105888 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node35/50547-1154105888/instance-50547-1154105888.opb 333081135

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  0263d0a7c5e3320bd7cce9534c14bf27

RANDOM SEED= 333081135

TIMEOUT= 1800 seconds


/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.232
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.232
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:       1328680 kB
Buffers:         43476 kB
Cached:         606516 kB
SwapCached:       4372 kB
Active:         218964 kB
Inactive:       440216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1328680 kB
SwapTotal:     4192956 kB
SwapFree:      4182936 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            54104 kB
Committed_AS:   624576 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node35 on Fri Jul 28 17:28:10 UTC 2006