Trace number 50551

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.6 1801.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
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 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
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/node24/50551-1154107060/instance-50551-1154107060.opb ......
0.00	c done parsing opb.
0.00	o 729
0.00	o 647
0.00	o 605
0.01	o 603
0.01	o 601
0.03	o 599
0.03	o 597
0.04	o 595
0.05	o 593
0.06	o 591
0.07	o 589
0.08	o 587
0.08	o 585
0.09	o 583
0.09	o 579
0.10	o 577
0.11	o 575
0.12	o 573
0.13	o 571
0.14	o 569
0.15	o 568
0.16	o 566
0.16	o 564
0.16	o 562
0.17	o 560
0.17	o 558
0.18	o 556
0.18	o 554
0.18	o 550
0.19	o 548
0.20	o 546
0.20	o 544
0.21	o 542
0.21	o 538
0.21	o 536
0.22	o 530
0.22	o 528
0.23	o 526
0.23	o 522
0.23	o 520
0.24	o 506
0.24	o 504
0.25	o 502
0.25	o 500
0.27	o 498
0.27	o 496
0.28	o 494
0.30	o 492
0.33	o 490
0.36	o 488
0.40	o 486
0.40	o 484
0.40	o 482
0.41	o 480
0.41	o 478
0.42	o 472
0.42	o 470
0.42	o 466
0.42	o 464
0.43	o 462
0.43	o 460
0.44	o 459
0.45	o 457
0.46	o 455
0.49	o 454
0.50	o 452
0.51	o 451
0.51	o 449
0.54	o 447
0.54	o 443
0.55	o 441
0.58	o 440
0.59	o 438
0.59	o 434
0.61	o 433
0.62	o 427
0.64	o 425
0.65	o 423
0.70	o 422
0.71	o 420
0.73	o 419
0.76	o 417
0.84	o 415
0.85	o 413
0.88	o 411
0.90	o 405
0.91	o 401
1.09	o 399
1.13	o 397
1.42	o 391
1.44	o 389
1.85	o 381
1.95	o 380
2.04	o 357
2.10	o 356
2.35	o 355
2.39	o 354
2.40	o 352
2.42	o 350
2.47	o 298
2.61	o 295
2.78	o 294
2.80	o 292
2.82	o 290
2.85	o 288
2.88	o 286
2.91	o 284
2.92	o 282
3.16	o 280
3.21	o 278
3.84	o 276
3.88	o 274
3.96	o 272
3.98	o 270
4.70	o 268
4.73	o 254
4.87	o 252
4.93	o 250
4.98	o 248
5.08	o 246
5.09	o 244
5.14	o 242
5.17	o 240
5.18	o 238
5.19	o 236
5.29	o 223
5.52	o 217
5.55	o 213
5.55	o 211
5.55	o 209
6.35	o 208
6.44	o 206
6.49	o 204
6.78	o 202
7.11	o 200
12.65	o 199
22.36	o 198
23.29	o 196
23.48	o 194
23.53	o 192
23.65	o 180
23.68	o 178
23.98	o 176
24.12	o 174
24.26	o 172
24.31	o 170
36.18	o 162
36.39	o 160
36.51	o 158
40.95	o 156
41.11	o 154
41.18	o 152
41.25	o 150
41.33	o 148
41.37	o 146
41.54	o 144
41.67	o 142
41.76	o 140
41.82	o 138
41.90	o 136
41.95	o 134
41.99	o 132
42.05	o 130
42.12	o 128
42.18	o 126
64.30	o 125
64.41	o 123
64.57	o 121
64.60	o 119
64.62	o 117
79.67	o 115
79.87	o 113
80.09	o 111
80.14	o 109
80.15	o 107
80.32	o 105
80.40	o 103
80.46	o 101
80.53	o 99
80.63	o 97
80.74	o 95
80.81	o 93
80.89	o 91
80.94	o 89
81.00	o 87
81.08	o 85
91.02	o 83
92.29	o 82
243.19	o 80
243.42	o 78
352.74	o 77
352.96	o 75
353.06	o 73

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/node24/watcher-50551-1154107060 -o ROOT/results/node24/solver-50551-1154107060 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node24/50551-1154107060/instance-50551-1154107060.opb 163565828 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.99 3/64 5505
/proc/meminfo: memFree=1514552/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=1400 CPUtime=0
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 149 0 0 0 0 0 0 0 18 0 1 0 157566723 1433600 131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135137821 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 350 131 99 232 0 115 0

[startup+10.0024 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1505992/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=11696 CPUtime=10
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 2408 0 0 0 993 7 0 0 25 0 1 0 157566723 11976704 2241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550077 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 2924 2241 108 232 0 2689 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 11696

[startup+20.0083 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1503432/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=13148 CPUtime=20
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 3241 0 0 0 1989 11 0 0 25 0 1 0 157566723 13463552 2881 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 3287 2881 108 232 0 3052 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 13148

[startup+30.0142 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1500104/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=22068 CPUtime=30
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 4075 0 0 0 2986 14 0 0 25 0 1 0 157566723 22597632 3715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 5517 3715 108 232 0 5282 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 22068

[startup+40.0201 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1497672/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=22612 CPUtime=40
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 4676 0 0 0 3985 15 0 0 25 0 1 0 157566723 23154688 4316 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 5653 4316 108 232 0 5418 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 22612

[startup+50.026 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1495176/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=23416 CPUtime=50
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 5309 0 0 0 4982 18 0 0 25 0 1 0 157566723 23977984 4949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 5854 4949 108 232 0 5619 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 23416

[startup+60.0319 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1494984/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=23416 CPUtime=60
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 5351 0 0 0 5981 19 0 0 25 0 1 0 157566723 23977984 4991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 5854 4991 108 232 0 5619 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 23416

[startup+70.0378 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1494600/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=25272 CPUtime=70.01
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 5822 0 0 0 6979 22 0 0 25 0 1 0 157566723 25878528 5077 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558838 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 6318 5077 108 232 0 6083 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 25272

[startup+80.0437 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1493384/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=25644 CPUtime=80
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 6138 0 0 0 7977 23 0 0 25 0 1 0 157566723 26259456 5393 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 6411 5393 108 232 0 6176 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 25644

[startup+90.0496 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1491464/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=25836 CPUtime=90.01
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 6614 0 0 0 8976 25 0 0 25 0 1 0 157566723 26456064 5869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550000 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 6459 5869 108 232 0 6224 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 25836

[startup+100.055 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1489608/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=42928 CPUtime=100.01
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 7072 0 0 0 9975 26 0 0 25 0 1 0 157566723 43958272 6327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 10732 6327 108 232 0 10497 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 42928

[startup+110.061 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1487944/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=43192 CPUtime=110.02
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 7480 0 0 0 10974 28 0 0 25 0 1 0 157566723 44228608 6735 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 10798 6735 108 232 0 10563 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 43192

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1486664/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=43576 CPUtime=120.02
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 7808 0 0 0 11973 29 0 0 25 0 1 0 157566723 44621824 7063 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 10894 7063 108 232 0 10659 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 43576

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1485000/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=43960 CPUtime=130.02
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 8231 0 0 0 12973 29 0 0 25 0 1 0 157566723 45015040 7486 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 10990 7486 108 232 0 10755 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 43960

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1484168/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=44332 CPUtime=140.02
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 8433 0 0 0 13972 30 0 0 25 0 1 0 157566723 45395968 7688 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 11083 7688 108 232 0 10848 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 44332

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1483528/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=44524 CPUtime=150.02
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 8595 0 0 0 14971 31 0 0 25 0 1 0 157566723 45592576 7850 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 11131 7850 108 232 0 10896 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 44524

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1482312/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=44848 CPUtime=160.03
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 8903 0 0 0 15971 32 0 0 25 0 1 0 157566723 45924352 8158 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 11212 8158 108 232 0 10977 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 44848

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1481544/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=44980 CPUtime=170.03
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 9090 0 0 0 16970 33 0 0 25 0 1 0 157566723 46059520 8345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558793 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 11245 8345 108 232 0 11010 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 44980

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1480520/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=45364 CPUtime=180.03
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 9351 0 0 0 17969 34 0 0 25 0 1 0 157566723 46452736 8606 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 11341 8606 108 232 0 11106 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 45364

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1478984/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=45364 CPUtime=190.04
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 9731 0 0 0 18969 35 0 0 25 0 1 0 157566723 46452736 8986 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558838 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 11341 8986 108 232 0 11106 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 45364

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505
/proc/meminfo: memFree=1477000/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=46092 CPUtime=200.04
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 10218 0 0 0 19968 36 0 0 25 0 1 0 157566723 47198208 9473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 11523 9473 108 232 0 11288 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 46092

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5505

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

/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29519 0 0 0 178025 123 0 0 25 0 1 0 157566723 175509504 25412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25412 108 232 0 42614 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 171396

[startup+1783.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1413000/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1782.49
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29533 0 0 0 178126 123 0 0 25 0 1 0 157566723 175509504 25426 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25426 108 232 0 42614 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 171396

[startup+1784.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1413000/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1783.49
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29538 0 0 0 178226 123 0 0 25 0 1 0 157566723 175509504 25431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25431 108 232 0 42614 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (Kb) 171396

[startup+1785.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412936/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1784.5
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29546 0 0 0 178327 123 0 0 25 0 1 0 157566723 175509504 25439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25439 108 232 0 42614 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 171396

[startup+1786.12 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412936/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1785.5
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29553 0 0 0 178427 123 0 0 25 0 1 0 157566723 175509504 25446 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25446 108 232 0 42614 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (Kb) 171396

[startup+1787.12 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412872/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1786.51
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29562 0 0 0 178528 123 0 0 25 0 1 0 157566723 175509504 25455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25455 108 232 0 42614 0
Current children cumulated CPU time (s) 1786.51
Current children cumulated vsize (Kb) 171396

[startup+1788.13 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412808/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1787.51
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29574 0 0 0 178628 123 0 0 25 0 1 0 157566723 175509504 25467 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25467 108 232 0 42614 0
Current children cumulated CPU time (s) 1787.51
Current children cumulated vsize (Kb) 171396

[startup+1789.13 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412808/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1788.52
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29586 0 0 0 178729 123 0 0 25 0 1 0 157566723 175509504 25479 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25479 108 232 0 42614 0
Current children cumulated CPU time (s) 1788.52
Current children cumulated vsize (Kb) 171396

[startup+1790.14 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412744/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1789.52
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29599 0 0 0 178829 123 0 0 25 0 1 0 157566723 175509504 25492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25492 108 232 0 42614 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (Kb) 171396

[startup+1791.14 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412680/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1790.52
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29608 0 0 0 178929 123 0 0 25 0 1 0 157566723 175509504 25501 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25501 108 232 0 42614 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (Kb) 171396

[startup+1792.15 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412680/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1791.52
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29621 0 0 0 179029 123 0 0 25 0 1 0 157566723 175509504 25514 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25514 108 232 0 42614 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (Kb) 171396

[startup+1793.15 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412552/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1792.53
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29646 0 0 0 179130 123 0 0 25 0 1 0 157566723 175509504 25539 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25539 108 232 0 42614 0
Current children cumulated CPU time (s) 1792.53
Current children cumulated vsize (Kb) 171396

[startup+1794.16 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412488/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1793.53
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29656 0 0 0 179230 123 0 0 25 0 1 0 157566723 175509504 25549 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25549 108 232 0 42614 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (Kb) 171396

[startup+1795.16 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412488/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1794.54
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29669 0 0 0 179331 123 0 0 25 0 1 0 157566723 175509504 25562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25562 108 232 0 42614 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (Kb) 171396

[startup+1796.17 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412360/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1795.54
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29687 0 0 0 179431 123 0 0 25 0 1 0 157566723 175509504 25580 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558832 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25580 108 232 0 42614 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (Kb) 171396

[startup+1797.17 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412296/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1796.54
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29706 0 0 0 179531 123 0 0 25 0 1 0 157566723 175509504 25599 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25599 108 232 0 42614 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 171396

[startup+1798.18 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412232/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1797.55
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29718 0 0 0 179632 123 0 0 25 0 1 0 157566723 175509504 25611 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25611 108 232 0 42614 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (Kb) 171396

[startup+1799.18 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412232/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1798.55
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29733 0 0 0 179732 123 0 0 25 0 1 0 157566723 175509504 25626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25626 108 232 0 42614 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 171396

[startup+1800.19 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412104/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1799.56
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29756 0 0 0 179833 123 0 0 25 0 1 0 157566723 175509504 25649 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558821 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25649 108 232 0 42614 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (Kb) 171396

[startup+1801.19 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412040/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1800.57
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29772 0 0 0 179933 124 0 0 25 0 1 0 157566723 175509504 25665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25665 108 232 0 42614 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 171396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 5507
/proc/meminfo: memFree=1412040/2055920 swapFree=4183196/4192956
[pid=5505] ppid=5503 vsize=171396 CPUtime=1800.57
/proc/5505/stat : 5505 (PBS4L) R 5503 5505 5456 0 -1 4194304 29772 0 0 0 179933 124 0 0 25 0 1 0 157566723 175509504 25665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559364 0 0 4096 0 0 0 0 17 1 0 0
/proc/5505/statm: 42849 25665 108 232 0 42614 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 171396

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.22
CPU time (s): 1800.6
CPU user time (s): 1799.34
CPU system time (s): 1.26081
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (Kb): 171396
The end

Launcher Data (download as text)

Begin job on node24 on Fri Jul 28 17:17:40 UTC 2006


FILE ID= 50551-1154107060

PBS_JOBID= 886333

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  a70b0edfadf87ffd0bc1b32400cae43b

RANDOM SEED= 163565828

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.266
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.266
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:       1514760 kB
Buffers:         36520 kB
Cached:         445600 kB
SwapCached:       3672 kB
Active:          53588 kB
Inactive:       437244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1514760 kB
SwapTotal:     4192956 kB
SwapFree:      4183196 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            36264 kB
Committed_AS:   618940 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node24 on Fri Jul 28 17:47:42 UTC 2006