Trace number 50559

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.74 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_3.opb
MD5SUM474916db0f2f0be5831d97827cee8e55
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
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 16
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 constraint75
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 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6214
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/node48/50559-1154109821/instance-50559-1154109821.opb ......
0.00	c done parsing opb.
0.00	o 497
0.01	o 495
0.01	o 493
0.03	o 491
0.03	o 489
0.04	o 487
0.04	o 485
0.05	o 483
0.05	o 479
0.06	o 477
0.07	o 475
0.07	o 473
0.08	o 471
0.09	o 467
0.09	o 465
0.19	o 463
0.21	o 461
0.21	o 459
0.23	o 457
0.26	o 455
0.27	o 453
0.28	o 451
0.34	o 449
0.34	o 447
0.39	o 445
0.39	o 443
0.40	o 441
0.41	o 439
0.42	o 437
0.43	o 435
0.46	o 433
0.53	o 431
0.64	o 430
0.65	o 428
0.67	o 426
0.68	o 424
0.70	o 422
0.72	o 420
0.77	o 419
0.84	o 417
0.85	o 415
0.89	o 414
0.92	o 412
0.93	o 408
0.94	o 404
0.96	o 402
1.19	o 329
1.27	o 328
1.34	o 327
1.40	o 325
1.45	o 323
1.50	o 311
1.50	o 309
1.51	o 279
1.54	o 277
1.57	o 275
1.58	o 273
1.59	o 271
1.61	o 269
1.64	o 267
1.65	o 265
1.75	o 263
1.91	o 249
1.93	o 247
1.95	o 245
1.97	o 243
1.99	o 241
2.05	o 240
2.07	o 238
2.45	o 236
2.48	o 234
2.69	o 206
7.81	o 205
7.84	o 204
7.90	o 199
9.21	o 198
9.26	o 196
16.80	o 194
16.87	o 192
19.92	o 191
20.00	o 189
20.18	o 187
20.24	o 185
20.34	o 183
20.38	o 181
20.40	o 179
20.42	o 177
20.45	o 175
52.53	o 174
52.80	o 172
52.89	o 170
53.16	o 168
53.27	o 166
53.31	o 164
53.38	o 162
53.45	o 160
53.50	o 158
53.54	o 156
53.74	o 154
54.05	o 153
54.21	o 151
54.30	o 149
54.38	o 147
54.50	o 145
54.56	o 143
62.43	o 142
62.54	o 140
73.19	o 139
73.35	o 137
105.64	o 135
105.77	o 133
125.15	o 132
125.36	o 130
125.46	o 128
125.54	o 126
125.71	o 124
135.63	o 123
248.47	o 118
303.70	o 110
304.98	o 108
305.14	o 106
318.04	o 105
318.20	o 103
318.46	o 101
318.67	o 99
318.87	o 97
319.05	o 95
319.18	o 93
319.59	o 91
319.74	o 89
319.85	o 87
319.95	o 85
320.08	o 83
392.78	o 81
393.25	o 79
393.44	o 77

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/node48/watcher-50559-1154109821 -o ROOT/results/node48/solver-50559-1154109821 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node48/50559-1154109821/instance-50559-1154109821.opb 184763254 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.99 3/64 28066
/proc/meminfo: memFree=801520/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=1400 CPUtime=0
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 146 0 0 0 0 0 0 0 18 0 1 0 157852921 1433600 128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 350 128 99 232 0 115 0

[startup+10.003 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=793136/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=11680 CPUtime=10
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 2369 0 0 0 994 6 0 0 25 0 1 0 157852921 11960320 2202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 2920 2202 108 232 0 2685 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 11680

[startup+20.0089 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=790256/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=20716 CPUtime=19.99
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 3113 0 0 0 1991 8 0 0 25 0 1 0 157852921 21213184 2946 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 5179 2946 108 232 0 4944 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 20716

[startup+30.0148 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=788336/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=21752 CPUtime=30
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 3779 0 0 0 2989 11 0 0 25 0 1 0 157852921 22274048 3419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 5438 3419 108 232 0 5203 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 21752

[startup+40.0208 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=785456/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=22376 CPUtime=40
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 4502 0 0 0 3987 13 0 0 25 0 1 0 157852921 22913024 4142 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 5594 4142 108 232 0 5359 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 22376

[startup+50.0267 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=783088/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=22888 CPUtime=50
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 5086 0 0 0 4985 15 0 0 25 0 1 0 157852921 23437312 4726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 5722 4726 108 232 0 5487 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 22888

[startup+60.0326 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=781040/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=23400 CPUtime=60.01
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 5609 0 0 0 5984 17 0 0 25 0 1 0 157852921 23961600 5249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 5850 5249 108 232 0 5615 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 23400

[startup+70.0395 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=780592/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=23880 CPUtime=70.01
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 5718 0 0 0 6983 18 0 0 25 0 1 0 157852921 24453120 5358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 5970 5358 108 232 0 5735 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 23880

[startup+80.0454 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=779632/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=25576 CPUtime=80.01
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 6351 0 0 0 7981 20 0 0 25 0 1 0 157852921 26189824 5606 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 6394 5606 108 232 0 6159 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 25576

[startup+90.0514 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=778480/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=42136 CPUtime=90.01
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 6635 0 0 0 8979 22 0 0 25 0 1 0 157852921 43147264 5890 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 10534 5890 108 232 0 10299 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 42136

[startup+100.057 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=776560/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=42776 CPUtime=100.02
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7106 0 0 0 9978 24 0 0 25 0 1 0 157852921 43802624 6361 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 10694 6361 108 232 0 10459 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 42776

[startup+110.063 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=775856/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=43148 CPUtime=110.02
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7289 0 0 0 10977 25 0 0 25 0 1 0 157852921 44183552 6544 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 10787 6544 108 232 0 10552 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 43148

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=775408/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=43452 CPUtime=120.02
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7398 0 0 0 11976 26 0 0 25 0 1 0 157852921 44494848 6653 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 10863 6653 108 232 0 10628 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 43452

[startup+130.075 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=774768/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=44112 CPUtime=130.03
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7553 0 0 0 12975 28 0 0 25 0 1 0 157852921 45170688 6808 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 11028 6808 108 232 0 10793 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 44112

[startup+140.081 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=774640/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=44256 CPUtime=140.03
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7590 0 0 0 13974 29 0 0 25 0 1 0 157852921 45318144 6845 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 11064 6845 108 232 0 10829 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 44256

[startup+150.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=774448/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=44408 CPUtime=150.03
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7632 0 0 0 14974 29 0 0 25 0 1 0 157852921 45473792 6887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 11102 6887 108 232 0 10867 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 44408

[startup+160.093 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=774384/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=44408 CPUtime=160.04
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7655 0 0 0 15974 30 0 0 25 0 1 0 157852921 45473792 6910 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 11102 6910 108 232 0 10867 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 44408

[startup+170.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=773872/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=44408 CPUtime=170.04
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 7771 0 0 0 16973 31 0 0 25 0 1 0 157852921 45473792 7026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 11102 7026 108 232 0 10867 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 44408

[startup+180.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=772720/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=44540 CPUtime=180.05
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 8058 0 0 0 17972 33 0 0 25 0 1 0 157852921 45608960 7313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558803 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 11135 7313 108 232 0 10900 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 44540

[startup+190.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=771504/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=44732 CPUtime=190.05
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 8371 0 0 0 18971 34 0 0 25 0 1 0 157852921 45805568 7626 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 11183 7626 108 232 0 10948 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 44732

[startup+200.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=770032/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=44864 CPUtime=200.05
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 8740 0 0 0 19970 35 0 0 25 0 1 0 157852921 45940736 7995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 11216 7995 108 232 0 10981 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 44864

[startup+210.123 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066

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

/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27660 0 0 0 178040 121 0 0 25 0 1 0 157852921 106094592 23949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 25902 23949 108 232 0 25667 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (Kb) 103608

[startup+1783.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705904/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=103608 CPUtime=1782.63
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27674 0 0 0 178141 122 0 0 25 0 1 0 157852921 106094592 23963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 25902 23963 108 232 0 25667 0
Current children cumulated CPU time (s) 1782.63
Current children cumulated vsize (Kb) 103608

[startup+1784.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705904/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=103608 CPUtime=1783.63
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27683 0 0 0 178241 122 0 0 25 0 1 0 157852921 106094592 23972 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 25902 23972 108 232 0 25667 0
Current children cumulated CPU time (s) 1783.63
Current children cumulated vsize (Kb) 103608

[startup+1785.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705840/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=103608 CPUtime=1784.64
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27695 0 0 0 178342 122 0 0 25 0 1 0 157852921 106094592 23984 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 25902 23984 108 232 0 25667 0
Current children cumulated CPU time (s) 1784.64
Current children cumulated vsize (Kb) 103608

[startup+1786.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705840/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=103608 CPUtime=1785.64
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27703 0 0 0 178442 122 0 0 25 0 1 0 157852921 106094592 23992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 25902 23992 108 232 0 25667 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (Kb) 103608

[startup+1787.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705776/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=103608 CPUtime=1786.65
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27713 0 0 0 178543 122 0 0 25 0 1 0 157852921 106094592 24002 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 25902 24002 108 232 0 25667 0
Current children cumulated CPU time (s) 1786.65
Current children cumulated vsize (Kb) 103608

[startup+1788.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705712/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=103608 CPUtime=1787.65
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27725 0 0 0 178643 122 0 0 25 0 1 0 157852921 106094592 24014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 25902 24014 108 232 0 25667 0
Current children cumulated CPU time (s) 1787.65
Current children cumulated vsize (Kb) 103608

[startup+1789.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705584/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1788.65
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27754 0 0 0 178743 122 0 0 25 0 1 0 157852921 173203456 24043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24043 108 232 0 42051 0
Current children cumulated CPU time (s) 1788.65
Current children cumulated vsize (Kb) 169144

[startup+1790.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1789.66
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27771 0 0 0 178844 122 0 0 25 0 1 0 157852921 173203456 24060 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24060 108 232 0 42051 0
Current children cumulated CPU time (s) 1789.66
Current children cumulated vsize (Kb) 169144

[startup+1791.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1790.66
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27776 0 0 0 178944 122 0 0 25 0 1 0 157852921 173203456 24065 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24065 108 232 0 42051 0
Current children cumulated CPU time (s) 1790.66
Current children cumulated vsize (Kb) 169144

[startup+1792.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1791.67
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27777 0 0 0 179045 122 0 0 25 0 1 0 157852921 173203456 24066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24066 108 232 0 42051 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (Kb) 169144

[startup+1793.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1792.67
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27777 0 0 0 179145 122 0 0 25 0 1 0 157852921 173203456 24066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24066 108 232 0 42051 0
Current children cumulated CPU time (s) 1792.67
Current children cumulated vsize (Kb) 169144

[startup+1794.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1793.67
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27778 0 0 0 179245 122 0 0 25 0 1 0 157852921 173203456 24067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24067 108 232 0 42051 0
Current children cumulated CPU time (s) 1793.67
Current children cumulated vsize (Kb) 169144

[startup+1795.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1794.68
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27779 0 0 0 179346 122 0 0 25 0 1 0 157852921 173203456 24068 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24068 108 232 0 42051 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (Kb) 169144

[startup+1796.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1795.68
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27780 0 0 0 179446 122 0 0 25 0 1 0 157852921 173203456 24069 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24069 108 232 0 42051 0
Current children cumulated CPU time (s) 1795.68
Current children cumulated vsize (Kb) 169144

[startup+1797.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1796.69
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27781 0 0 0 179547 122 0 0 25 0 1 0 157852921 173203456 24070 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24070 108 232 0 42051 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (Kb) 169144

[startup+1798.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705520/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1797.69
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27782 0 0 0 179647 122 0 0 25 0 1 0 157852921 173203456 24071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24071 108 232 0 42051 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (Kb) 169144

[startup+1799.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705456/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1798.7
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27789 0 0 0 179748 122 0 0 25 0 1 0 157852921 173203456 24078 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24078 108 232 0 42051 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (Kb) 169144

[startup+1800.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705392/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1799.7
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27807 0 0 0 179848 122 0 0 25 0 1 0 157852921 173203456 24096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24096 108 232 0 42051 0
Current children cumulated CPU time (s) 1799.7
Current children cumulated vsize (Kb) 169144

[startup+1801.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705264/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1800.71
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27833 0 0 0 179949 122 0 0 25 0 1 0 157852921 173203456 24122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24122 108 232 0 42051 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 169144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 28066
/proc/meminfo: memFree=705264/2055920 swapFree=4182820/4192956
[pid=28066] ppid=28064 vsize=169144 CPUtime=1800.71
/proc/28066/stat : 28066 (PBS4L) R 28064 28066 28017 0 -1 4194304 27833 0 0 0 179949 122 0 0 25 0 1 0 157852921 173203456 24122 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/28066/statm: 42286 24122 108 232 0 42051 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (Kb) 169144

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.74
CPU user time (s): 1799.5
CPU system time (s): 1.24581
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (Kb): 169144
The end

Launcher Data (download as text)

Begin job on node48 on Fri Jul 28 18:03:41 UTC 2006


FILE ID= 50559-1154109821

PBS_JOBID= 886437

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

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  474916db0f2f0be5831d97827cee8e55

RANDOM SEED= 184763254

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:        801728 kB
Buffers:         39624 kB
Cached:        1154744 kB
SwapCached:       4676 kB
Active:         397024 kB
Inactive:       806900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        801728 kB
SwapTotal:     4192956 kB
SwapFree:      4182820 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14444 kB
Slab:            36276 kB
Committed_AS:   647580 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node48 on Fri Jul 28 18:33:43 UTC 2006