Trace number 50522

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.73 1801.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_2.opb
MD5SUM1d334f36842eecbe8db395477b7c6bcb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark38
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
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 1943
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6340
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/node42/50522-1154097176/instance-50522-1154097176.opb ......
0.01	c done parsing opb.
0.01	o 948
0.01	o 830
0.01	o 700
0.01	o 698
0.15	o 696
0.18	o 695
0.21	o 694
0.22	o 693
0.24	o 692
0.25	o 691
0.27	o 690
0.28	o 689
0.30	o 688
0.35	o 687
0.36	o 686
0.37	o 684
0.41	o 683
0.42	o 682
0.43	o 681
0.50	o 680
0.54	o 679
0.60	o 678
0.61	o 677
0.70	o 676
0.73	o 675
0.83	o 674
0.94	o 672
0.99	o 670
1.07	o 669
1.10	o 668
1.12	o 667
1.14	o 666
1.15	o 665
1.17	o 663
1.22	o 662
1.24	o 661
1.26	o 660
1.27	o 659
1.28	o 657
1.30	o 656
1.32	o 653
1.40	o 651
1.45	o 650
1.53	o 646
1.53	o 642
1.53	o 630
1.56	o 617
1.62	o 616
1.65	o 615
1.71	o 614
1.74	o 613
1.77	o 612
1.80	o 611
1.84	o 610
1.86	o 609
1.89	o 608
1.99	o 597
2.64	o 595
2.72	o 594
4.10	o 593
4.15	o 592
4.16	o 591
4.26	o 590
4.29	o 589
4.30	o 545
4.30	o 543
4.38	o 541
4.42	o 540
4.45	o 539
4.47	o 538
4.51	o 537
4.61	o 523
4.95	o 520
5.01	o 515
5.09	o 514
5.23	o 406
9.08	o 405
9.15	o 404
9.29	o 402
12.69	o 396
13.06	o 394
13.30	o 393
13.38	o 392
13.42	o 391
13.52	o 390
13.57	o 388
13.67	o 386
38.31	o 384
38.40	o 383
38.76	o 374
38.89	o 373
39.04	o 372
39.13	o 371
39.22	o 370
39.33	o 369
39.57	o 367
39.77	o 365
39.87	o 364
39.96	o 363
40.21	o 362
40.48	o 360
41.01	o 359
50.03	o 357
50.15	o 356
51.53	o 350
51.73	o 349
51.94	o 348
53.25	o 347
53.37	o 346
53.79	o 337
53.89	o 335
60.26	o 326
60.41	o 325
60.48	o 324
60.57	o 322
60.77	o 321
60.80	o 320
60.81	o 318
60.81	o 316
63.30	o 315
63.59	o 314
63.79	o 313
63.90	o 312
73.60	o 310
73.73	o 307
103.47	o 306
103.61	o 305
103.77	o 304
104.07	o 303
104.17	o 302
104.26	o 301
104.71	o 299
104.78	o 298
105.63	o 297
105.80	o 296
160.80	o 257
161.37	o 253
161.92	o 252
162.06	o 251
352.92	o 250
353.30	o 249
356.31	o 231
690.83	o 230
691.16	o 229
1078.08	o 227
1078.74	o 226
1079.23	o 225
1080.81	o 223
1081.58	o 222
1081.89	o 221
1082.60	o 219
1082.78	o 218
1082.98	o 217
1083.65	o 216
1083.95	o 215
1084.89	o 213
1085.12	o 212
1085.29	o 211
1085.54	o 210
1085.72	o 209
1086.80	o 207
1088.70	o 206
1089.71	o 205
1091.12	o 203
1091.46	o 202
1091.66	o 200
1092.03	o 199
1092.46	o 198
1092.77	o 197
1093.25	o 196
1093.70	o 195
1094.13	o 194
1094.71	o 193
1094.92	o 192
1095.08	o 191
1095.45	o 189
1096.19	o 188
1096.55	o 187
1096.88	o 186
1097.28	o 185
1099.18	o 183
1099.40	o 182
1099.73	o 181
1100.89	o 179
1101.12	o 178
1107.20	o 177
1107.48	o 176
1145.11	o 174
1145.47	o 173
1254.22	o 172
1256.08	o 171
1260.35	o 169
1260.66	o 168
1261.17	o 167
1263.57	o 165
1263.89	o 164
1264.25	o 162
1264.79	o 161
1265.08	o 160
1266.17	o 159
1692.88	o 157
1693.55	o 156

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/node42/watcher-50522-1154097176 -o ROOT/results/node42/solver-50522-1154097176 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/50522-1154097176/instance-50522-1154097176.opb 976883787 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1326432/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=1400 CPUtime=0
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 145 0 0 0 0 0 0 0 19 0 1 0 156588553 1433600 127 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 350 127 99 232 0 115 0

[startup+10.0028 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1316840/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=11700 CPUtime=9.99
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 2665 0 0 0 993 6 0 0 25 0 1 0 156588553 11980800 2497 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 2925 2497 108 232 0 2690 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 11700

[startup+20.0099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1313704/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=21352 CPUtime=20
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 3683 0 0 0 1990 10 0 0 25 0 1 0 156588553 21864448 3322 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 5338 3322 108 232 0 5103 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 21352

[startup+30.016 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1309928/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=21940 CPUtime=29.99
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 4609 0 0 0 2987 12 0 0 25 0 1 0 156588553 22466560 4248 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558828 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 5485 4248 108 232 0 5250 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 21940

[startup+40.0221 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1308264/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=22528 CPUtime=40
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 5044 0 0 0 3986 14 0 0 25 0 1 0 156588553 23068672 4683 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 5632 4683 108 232 0 5397 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 22528

[startup+50.0283 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1305448/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=22672 CPUtime=50
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 5751 0 0 0 4983 17 0 0 25 0 1 0 156588553 23216128 5390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 5668 5390 108 232 0 5433 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 22672

[startup+60.0344 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1303464/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=39668 CPUtime=60
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 6263 0 0 0 5981 19 0 0 25 0 1 0 156588553 40620032 5902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 9917 5902 108 232 0 9682 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 39668

[startup+70.0405 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1301288/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=41372 CPUtime=70.01
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 7180 0 0 0 6980 21 0 0 25 0 1 0 156588553 42364928 6434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 10343 6434 108 232 0 10108 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 41372

[startup+80.0476 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1298728/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=41668 CPUtime=80.02
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 7820 0 0 0 7979 23 0 0 25 0 1 0 156588553 42668032 7074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 10417 7074 108 232 0 10182 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 41668

[startup+90.0527 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1296744/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=42148 CPUtime=90.01
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 8313 0 0 0 8977 24 0 0 25 0 1 0 156588553 43159552 7567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 10537 7567 108 232 0 10302 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 42148

[startup+100.059 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1295144/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=42640 CPUtime=100.02
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 8710 0 0 0 9976 26 0 0 25 0 1 0 156588553 43663360 7964 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 10660 7964 108 232 0 10425 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 42640

[startup+110.065 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1293672/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=43132 CPUtime=110.02
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 9089 0 0 0 10975 27 0 0 25 0 1 0 156588553 44167168 8343 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558878 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 10783 8343 108 232 0 10548 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 43132

[startup+120.071 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1292008/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=43828 CPUtime=120.03
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 9492 0 0 0 11974 29 0 0 25 0 1 0 156588553 44879872 8746 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 10957 8746 108 232 0 10722 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 43828

[startup+130.077 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1291624/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=44212 CPUtime=130.04
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 9590 0 0 0 12974 30 0 0 25 0 1 0 156588553 45273088 8844 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 11053 8844 108 232 0 10818 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 44212

[startup+140.083 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1290600/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=44404 CPUtime=140.04
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 9841 0 0 0 13973 31 0 0 25 0 1 0 156588553 45469696 9095 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 11101 9095 108 232 0 10866 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 44404

[startup+150.089 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1289448/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=44728 CPUtime=150.04
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 10134 0 0 0 14972 32 0 0 25 0 1 0 156588553 45801472 9388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 11182 9388 108 232 0 10947 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 44728

[startup+160.095 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1287848/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=44728 CPUtime=160.04
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 10528 0 0 0 15971 33 0 0 25 0 1 0 156588553 45801472 9782 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 11182 9782 108 232 0 10947 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 44728

[startup+170.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1286888/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=44728 CPUtime=170.05
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 10778 0 0 0 16971 34 0 0 25 0 1 0 156588553 45801472 10032 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 11182 10032 108 232 0 10947 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 44728

[startup+180.108 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1285416/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=44728 CPUtime=180.05
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 11139 0 0 0 17970 35 0 0 25 0 1 0 156588553 45801472 10393 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558872 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 11182 10393 108 232 0 10947 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 44728

[startup+190.115 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1283496/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=45496 CPUtime=190.06
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 11621 0 0 0 18970 36 0 0 25 0 1 0 156588553 46587904 10875 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 11374 10875 108 232 0 11139 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 45496

[startup+200.121 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318
/proc/meminfo: memFree=1282408/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=78456 CPUtime=200.06
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 11890 0 0 0 19969 37 0 0 25 0 1 0 156588553 80338944 11144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 19614 11144 108 232 0 19379 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 78456

[startup+210.127 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18318

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

/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29055 0 0 0 178039 122 0 0 25 0 1 0 156588553 174657536 25442 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550001 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25442 108 232 0 42406 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (Kb) 170564

[startup+1783.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1782.61
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29055 0 0 0 178139 122 0 0 25 0 1 0 156588553 174657536 25442 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558856 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25442 108 232 0 42406 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (Kb) 170564

[startup+1784.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1783.62
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29057 0 0 0 178240 122 0 0 25 0 1 0 156588553 174657536 25444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25444 108 232 0 42406 0
Current children cumulated CPU time (s) 1783.62
Current children cumulated vsize (Kb) 170564

[startup+1785.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1784.62
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29058 0 0 0 178340 122 0 0 25 0 1 0 156588553 174657536 25445 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25445 108 232 0 42406 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (Kb) 170564

[startup+1786.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1785.63
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29059 0 0 0 178441 122 0 0 25 0 1 0 156588553 174657536 25446 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550067 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25446 108 232 0 42406 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (Kb) 170564

[startup+1787.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1786.63
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29060 0 0 0 178541 122 0 0 25 0 1 0 156588553 174657536 25447 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25447 108 232 0 42406 0
Current children cumulated CPU time (s) 1786.63
Current children cumulated vsize (Kb) 170564

[startup+1788.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1787.63
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29060 0 0 0 178641 122 0 0 25 0 1 0 156588553 174657536 25447 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25447 108 232 0 42406 0
Current children cumulated CPU time (s) 1787.63
Current children cumulated vsize (Kb) 170564

[startup+1789.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1788.64
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29061 0 0 0 178742 122 0 0 25 0 1 0 156588553 174657536 25448 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25448 108 232 0 42406 0
Current children cumulated CPU time (s) 1788.64
Current children cumulated vsize (Kb) 170564

[startup+1790.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1789.64
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29062 0 0 0 178842 122 0 0 25 0 1 0 156588553 174657536 25449 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25449 108 232 0 42406 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (Kb) 170564

[startup+1791.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1790.65
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29063 0 0 0 178943 122 0 0 25 0 1 0 156588553 174657536 25450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25450 108 232 0 42406 0
Current children cumulated CPU time (s) 1790.65
Current children cumulated vsize (Kb) 170564

[startup+1792.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1791.65
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29066 0 0 0 179043 122 0 0 25 0 1 0 156588553 174657536 25453 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550056 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25453 108 232 0 42406 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 170564

[startup+1793.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1792.65
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29066 0 0 0 179143 122 0 0 25 0 1 0 156588553 174657536 25453 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25453 108 232 0 42406 0
Current children cumulated CPU time (s) 1792.65
Current children cumulated vsize (Kb) 170564

[startup+1794.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1793.66
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29068 0 0 0 179244 122 0 0 25 0 1 0 156588553 174657536 25455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25455 108 232 0 42406 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 170564

[startup+1795.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1794.66
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29068 0 0 0 179344 122 0 0 25 0 1 0 156588553 174657536 25455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25455 108 232 0 42406 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (Kb) 170564

[startup+1796.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1795.67
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29069 0 0 0 179445 122 0 0 25 0 1 0 156588553 174657536 25456 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25456 108 232 0 42406 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (Kb) 170564

[startup+1797.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1796.67
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29070 0 0 0 179545 122 0 0 25 0 1 0 156588553 174657536 25457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558847 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25457 108 232 0 42406 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 170564

[startup+1798.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1797.68
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29071 0 0 0 179646 122 0 0 25 0 1 0 156588553 174657536 25458 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25458 108 232 0 42406 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (Kb) 170564

[startup+1799.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1798.68
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29077 0 0 0 179746 122 0 0 25 0 1 0 156588553 174657536 25464 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25464 108 232 0 42406 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (Kb) 170564

[startup+1800.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1799.69
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29078 0 0 0 179847 122 0 0 25 0 1 0 156588553 174657536 25465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25465 108 232 0 42406 0
Current children cumulated CPU time (s) 1799.69
Current children cumulated vsize (Kb) 170564

[startup+1801.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1800.69
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29081 0 0 0 179947 122 0 0 25 0 1 0 156588553 174657536 25468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25468 108 232 0 42406 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 170564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 18518
/proc/meminfo: memFree=1224488/2055920 swapFree=4182724/4192956
[pid=18318] ppid=18316 vsize=170564 CPUtime=1800.7
/proc/18318/stat : 18318 (PBS4L) R 18316 18318 18269 0 -1 4194304 29081 0 0 0 179948 122 0 0 25 0 1 0 156588553 174657536 25468 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/18318/statm: 42641 25468 108 232 0 42406 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (Kb) 170564

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.29
CPU time (s): 1800.73
CPU user time (s): 1799.48
CPU system time (s): 1.24881
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (Kb): 170564
The end

Launcher Data (download as text)

Begin job on node42 on Fri Jul 28 14:32:56 UTC 2006


FILE ID= 50522-1154097176

PBS_JOBID= 885956

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/50522-1154097176/instance-50522-1154097176.opb 976883787
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-50522-1154097176 -o ROOT/results/node42/solver-50522-1154097176 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node42/50522-1154097176/instance-50522-1154097176.opb 976883787

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  1d334f36842eecbe8db395477b7c6bcb

RANDOM SEED= 976883787

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.238
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.238
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:       1326640 kB
Buffers:         25596 kB
Cached:         644968 kB
SwapCached:       3928 kB
Active:          28604 kB
Inactive:       650824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1326640 kB
SwapTotal:     4192956 kB
SwapFree:      4182724 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14496 kB
Slab:            35808 kB
Committed_AS:   694368 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node42 on Fri Jul 28 15:02:57 UTC 2006