Trace number 41553

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.66 1801.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUMa74bcf40291587dc368e3a23fd278be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-7904
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10639
Optimality of the best value was proved NO
Number of variables11247
Total number of constraints9744
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)5755
Number of constraints which are nor clauses,nor cardinality constraints3912
Minimum length of a constraint2
Maximum length of a constraint68
Number of terms in the objective function 773
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 76861
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1999
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 76861
Number of bits of the biggest sum of numbers17
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/node49/41553-1149371407/instance-41553-1149371407.opb ......
7.14	c done parsing opb.
7.14	o 12434
7.37	o 11479
7.68	o 11474
9.40	o 11379
9.50	o 11374
11.12	o 11369
11.80	o 11302
12.12	o 11300
12.17	o 11299
12.22	o 11294
14.50	o 11291
15.32	o 11286
15.44	o 11282
16.31	o 11085
16.33	o 10400
23.26	o 10398
23.76	o 10396
57.18	o 10394
57.52	o 10391
63.69	o 10390
64.78	o 10388
65.98	o 10385
66.16	o 10384
66.27	o 10379
74.25	o 10376
76.72	o 10372
78.55	o 10371
79.43	o 10370
80.80	o 10368
82.44	o 10367
82.81	o 10363
85.57	o 10360
95.36	o 10358
95.47	o 10354
95.63	o 10350
95.73	o 10345
104.47	o 10343
114.55	o 10342
140.49	o 10340
140.89	o 10339
144.12	o 10336
146.32	o 10332
149.16	o 10331
154.18	o 10330
155.53	o 10326
156.40	o 10325
158.67	o 10324
160.62	o 10323
161.93	o 10320
164.50	o 10317
177.62	o 10314
182.36	o 10311
183.72	o 10309
184.57	o 10304
195.29	o 10301
197.41	o 10299
198.21	o 10297
199.85	o 10294
200.78	o 10291
204.62	o 10290
206.77	o 10289
208.70	o 10286
212.55	o 10284
212.90	o 10280
223.57	o 10279
225.38	o 10275
232.48	o 10271
232.91	o 10267
235.45	o 10266
244.99	o 10265
248.98	o 10263
257.23	o 10260
257.83	o 10258
257.89	o 10257
259.42	o 10255
266.34	o 10254
267.22	o 10250
272.00	o 10245
279.75	o 10243
281.04	o 10240
285.86	o 10237
293.39	o 10234
294.30	o 10233
297.55	o 10229
299.35	o 10225
305.14	o 10224
321.75	o 10223
328.08	o 10220
330.37	o 10219
334.35	o 10216
343.91	o 10214
344.16	o 10213
350.04	o 10210
354.25	o 10209
356.14	o 10205
356.92	o 10204
357.51	o 10200
358.97	o 10196
359.04	o 10195
359.75	o 10190
360.95	o 10187
361.57	o 10184
361.70	o 10180
361.87	o 10175
365.54	o 10172
367.93	o 10170
371.38	o 10166
371.96	o 10163
373.39	o 10160
375.16	o 10155
380.36	o 10150
380.82	o 10149
381.76	o 10148
385.55	o 10140
386.65	o 10137
389.41	o 10134
396.22	o 10130
400.29	o 10129
400.39	o 10125
401.97	o 10124
406.39	o 10122
410.85	o 10119
416.75	o 10115
417.95	o 10114
419.27	o 10110
436.56	o 10105
436.68	o 10100
440.81	o 10095
444.13	o 10094
444.89	o 10090
445.27	o 10086
448.99	o 10082
450.48	o 10079
453.55	o 10076
456.20	o 10074
456.66	o 10072
458.36	o 10071
459.51	o 10068
459.71	o 10066
460.65	o 10065
461.14	o 10061
461.45	o 10060
462.25	o 10055
463.04	o 10054
463.41	o 10052
464.07	o 10051
467.79	o 10049
467.98	o 10048
470.50	o 10044
471.29	o 10039
474.90	o 10035
482.12	o 10030
494.64	o 10025
495.39	o 10024
495.83	o 10021
496.35	o 10017
498.57	o 10013
504.17	o 10009
506.09	o 10005
506.47	o 10003
507.52	o 10000
512.85	o 9997
515.07	o 9993
517.04	o 9990
517.51	o 9986
524.84	o 9985
528.45	o 9983
532.38	o 9980
533.38	o 9975
537.86	o 9974
548.55	o 9970
564.03	o 9969
567.43	o 9965
567.76	o 9961
571.90	o 9960
576.73	o 9957
577.04	o 9955
577.07	o 9952
578.81	o 9949
579.46	o 9946
581.88	o 9945
583.22	o 9940
583.56	o 9935
583.68	o 9930
585.21	o 9925
585.29	o 9921
585.32	o 9918
585.35	o 9914
585.37	o 9913
585.39	o 9910
585.41	o 9909
587.07	o 9905
588.85	o 9903
589.86	o 9902
590.52	o 9899
593.09	o 9896
593.55	o 9895
593.92	o 9889
593.95	o 9888
594.20	o 9884
594.26	o 9879
594.29	o 9529
598.46	o 9525
606.89	o 9521
616.43	o 9520
616.51	o 9516
621.28	o 9511
647.03	o 9508
647.40	o 9507
649.83	o 9504
650.79	o 9502
652.83	o 9501
653.27	o 9499
653.58	o 9495
662.89	o 9494
666.78	o 9492
670.33	o 9491
679.25	o 9488
686.57	o 9486
690.57	o 9485
698.12	o 9480
698.76	o 9477
699.32	o 9474
701.17	o 9470
703.15	o 9467
706.25	o 9463
711.88	o 9459
715.46	o 9458
724.98	o 9457
731.59	o 9453
754.80	o 9450
761.34	o 9448
772.04	o 9447
774.25	o 9444
777.25	o 9443
789.55	o 9440
798.74	o 9436
798.85	o 9433
799.36	o 9430
799.82	o 9425
799.93	o 9420
800.01	o 9415
800.41	o 9414
801.10	o 9410
803.38	o 9409
803.63	o 9406
803.69	o 9405
803.71	o 9401
803.74	o 9399
803.76	o 9396
803.78	o 9393
803.80	o 9392
803.83	o 9391
803.85	o 9389
803.87	o 9386
803.89	o 9385
803.91	o 9384
803.94	o 9381
803.97	o 9377
804.00	o 9374
804.02	o 9373
804.04	o 9371
804.06	o 9368
804.09	o 9366
804.11	o 9364
804.13	o 9363
804.15	o 9360
804.17	o 9359
804.20	o 9355
804.22	o 9354
804.24	o 9350
804.26	o 9348
804.29	o 9347
804.31	o 9344
804.33	o 9342
804.35	o 9341
804.38	o 9339
804.40	o 9337
804.42	o 9336
804.44	o 9334
804.46	o 9333
804.49	o 9331
804.51	o 9330
804.53	o 9329
804.55	o 9328
804.58	o 9325
804.60	o 9324
804.62	o 9323
804.64	o 9322
804.67	o 9320
804.69	o 9316
804.71	o 9315
804.73	o 9311
804.75	o 9308
804.78	o 9307
804.80	o 9304
804.82	o 9303
804.84	o 9301
804.87	o 9297
821.41	o 9295
857.27	o 9291
860.31	o 9288
861.46	o 9284
864.78	o 9280
870.07	o 9279
872.48	o 9276
882.94	o 9274
889.34	o 9270
893.99	o 9268
894.04	o 9265
894.06	o 9264
894.24	o 9262
894.28	o 9259
894.84	o 9256
895.15	o 9252
895.36	o 9251
895.79	o 9248
897.46	o 9245
902.94	o 9241
905.52	o 9240
905.56	o 9237
905.58	o 9236
905.61	o 9233
905.63	o 9228
905.65	o 9225
905.68	o 9217
905.70	o 9167
905.72	o 9162
905.75	o 9152
906.01	o 9150
906.44	o 9147
913.00	o 9146
927.85	o 9145
927.89	o 8986
928.11	o 8983
928.15	o 8971
928.17	o 8966
928.20	o 8955
928.22	o 8950
928.24	o 8943
928.27	o 8937
928.29	o 8924
928.31	o 8916
928.34	o 8892
928.36	o 8888
928.38	o 8887
928.41	o 8882
928.43	o 8837
928.45	o 8819
928.48	o 8814
928.50	o 8811
928.52	o 8803
928.55	o 8792
928.57	o 8791
928.59	o 8788
928.62	o 8784
928.64	o 8781
928.66	o 8779
928.69	o 8778
928.78	o 8777
928.82	o 8756
928.84	o 8750
928.86	o 8744
928.89	o 8651
928.91	o 8530
928.93	o 8508
928.96	o 8505
928.98	o 8499
929.00	o 8496
929.03	o 8492
929.05	o 8491
929.07	o 8467
929.10	o 8463
929.12	o 8458
929.14	o 8443
929.17	o 8442
929.19	o 8437
929.21	o 8433
929.24	o 8429
929.26	o 8407
929.28	o 8404
929.31	o 8399
929.33	o 8394
929.35	o 8387
929.38	o 8373
929.40	o 8368
929.42	o 8344
929.45	o 8334
929.47	o 8320
929.49	o 8313
929.52	o 8304
929.54	o 8297
929.56	o 8293
929.59	o 8288
929.61	o 8198
929.63	o 8184
929.66	o 8181
929.68	o 8171
930.30	o 8170
1022.93	o 8165
1028.76	o 8163
1038.17	o 8160
1062.35	o 8155
1068.53	o 8154
1114.75	o 8149
1114.85	o 8144
1115.45	o 8139
1118.92	o 8135
1120.47	o 8133
1189.28	o 8130
1223.16	o 8127
1244.26	o 8125
1256.73	o 8121
1257.88	o 8117
1261.67	o 8115
1520.23	o 8110
1520.42	o 8108
1532.78	o 8107
1535.47	o 8105
1565.23	o 8104
1622.66	o 8101
1622.80	o 8096
1625.41	o 8095
1628.29	o 8091
1638.94	o 8086
1639.34	o 8084
1639.73	o 8079
1639.88	o 8069
1640.73	o 8064
1640.84	o 8059
1640.90	o 8058
1646.85	o 8054
1651.21	o 8049
1651.43	o 8044
1652.79	o 8040
1652.90	o 8035
1654.25	o 8030
1664.64	o 8025
1666.64	o 8020
1671.01	o 8016
1676.21	o 8014
1685.63	o 8013
1708.72	o 8010

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node49/watcher-41553-1149371407 -o ROOT/results/node49/solver-41553-1149371407 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node49/41553-1149371407/instance-41553-1149371407.opb 343407822 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1590424/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=1368 CPUtime=0
/proc/16296/stat : 16296 (PBS4L) D 16294 16296 16250 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 202807823 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16296/statm: 342 95 84 232 0 107 0

[startup+10.004 s]
/proc/loadavg: 0.87 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1579992/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=12844 CPUtime=9.99
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 3005 0 0 0 988 11 0 0 25 0 1 0 202807823 13152256 2705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 3211 2705 108 232 0 2976 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 12844

[startup+20.0095 s]
/proc/loadavg: 0.89 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1578264/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=16164 CPUtime=19.99
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 3592 0 0 0 1979 20 0 0 25 0 1 0 202807823 16551936 3195 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 4041 3195 108 232 0 3806 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 16164

[startup+30.0154 s]
/proc/loadavg: 0.91 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1576984/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=16536 CPUtime=30
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 3912 0 0 0 2971 29 0 0 25 0 1 0 202807823 16932864 3515 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 4134 3515 108 232 0 3899 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 16536

[startup+40.0212 s]
/proc/loadavg: 0.92 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1576280/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=16736 CPUtime=40
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 4108 0 0 0 3963 37 0 0 25 0 1 0 202807823 17137664 3711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551507 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 4184 3711 108 232 0 3949 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 16736

[startup+50.027 s]
/proc/loadavg: 0.93 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1575576/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=17752 CPUtime=50
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 4472 0 0 0 4957 43 0 0 25 0 1 0 202807823 18178048 3882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546600 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 4438 3882 108 232 0 4203 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 17752

[startup+60.0328 s]
/proc/loadavg: 0.94 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1575000/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=18044 CPUtime=60.01
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 4616 0 0 0 5951 50 0 0 25 0 1 0 202807823 18477056 4026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 4511 4026 108 232 0 4276 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 18044

[startup+70.0396 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1574232/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=22292 CPUtime=70.01
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 4805 0 0 0 6944 57 0 0 25 0 1 0 202807823 22827008 4215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134553299 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 5573 4215 108 232 0 5338 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 22292

[startup+80.0455 s]
/proc/loadavg: 0.96 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1573528/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=22476 CPUtime=80.01
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 4982 0 0 0 7938 63 0 0 25 0 1 0 202807823 23015424 4392 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 5619 4392 108 232 0 5384 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 22476

[startup+90.0513 s]
/proc/loadavg: 0.96 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1572504/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=22476 CPUtime=90.02
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 5253 0 0 0 8932 70 0 0 25 0 1 0 202807823 23015424 4663 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 5619 4663 108 232 0 5384 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 22476

[startup+100.057 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1571864/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=22668 CPUtime=100.02
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 5411 0 0 0 9925 77 0 0 25 0 1 0 202807823 23212032 4821 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 5667 4821 108 232 0 5432 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 22668

[startup+110.063 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1571608/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=22952 CPUtime=110.02
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 5474 0 0 0 10920 82 0 0 25 0 1 0 202807823 23502848 4884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 5738 4884 108 232 0 5503 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 22952

[startup+120.069 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1571288/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=23068 CPUtime=120.03
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 5551 0 0 0 11915 88 0 0 25 0 1 0 202807823 23621632 4961 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 5767 4961 108 232 0 5532 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 23068

[startup+130.075 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1570328/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=24716 CPUtime=130.03
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 6169 0 0 0 12908 95 0 0 25 0 1 0 202807823 25309184 5194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 6179 5194 108 232 0 5944 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 24716

[startup+140.079 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1569240/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=24828 CPUtime=140.03
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 6437 0 0 0 13902 101 0 0 25 0 1 0 202807823 25423872 5462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 6207 5462 108 232 0 5972 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 24828

[startup+150.085 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1568408/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=33072 CPUtime=150.04
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 6648 0 0 0 14896 108 0 0 25 0 1 0 202807823 33865728 5673 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551263 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 8268 5673 108 232 0 8033 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 33072

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1567640/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=33364 CPUtime=160.04
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 6837 0 0 0 15890 114 0 0 25 0 1 0 202807823 34164736 5862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546605 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 8341 5862 108 232 0 8106 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 33364

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1566808/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=33416 CPUtime=170.04
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 7047 0 0 0 16885 119 0 0 25 0 1 0 202807823 34217984 6072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 8354 6072 108 232 0 8119 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 33416

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1565976/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=33500 CPUtime=180.05
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 7254 0 0 0 17878 127 0 0 25 0 1 0 202807823 34304000 6279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546605 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 8375 6279 108 232 0 8140 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 33500

[startup+190.108 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1565720/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=33564 CPUtime=190.05
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 7319 0 0 0 18871 134 0 0 25 0 1 0 202807823 34369536 6344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 8391 6344 108 232 0 8156 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 33564

[startup+200.113 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1565528/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=33684 CPUtime=200.05
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 7365 0 0 0 19865 140 0 0 25 0 1 0 202807823 34492416 6390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 8421 6390 108 232 0 8186 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 33684

[startup+210.119 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16296
/proc/meminfo: memFree=1565336/2055920 swapFree=4181408/4192956

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

/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21626 0 0 0 177367 788 0 0 25 0 1 0 202807823 104742912 18345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25572 18345 108 232 0 25337 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 102288

[startup+1783.03 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517336/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102288 CPUtime=1782.55
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21627 0 0 0 177467 788 0 0 25 0 1 0 202807823 104742912 18346 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25572 18346 108 232 0 25337 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 102288

[startup+1784.03 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517336/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102288 CPUtime=1783.56
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21628 0 0 0 177567 789 0 0 25 0 1 0 202807823 104742912 18347 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25572 18347 108 232 0 25337 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 102288

[startup+1785.04 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517336/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102288 CPUtime=1784.56
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21628 0 0 0 177667 789 0 0 25 0 1 0 202807823 104742912 18347 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25572 18347 108 232 0 25337 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 102288

[startup+1786.04 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517272/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102288 CPUtime=1785.56
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21629 0 0 0 177767 789 0 0 25 0 1 0 202807823 104742912 18348 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25572 18348 108 232 0 25337 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 102288

[startup+1787.05 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517272/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102288 CPUtime=1786.57
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21631 0 0 0 177867 790 0 0 25 0 1 0 202807823 104742912 18350 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559028 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25572 18350 108 232 0 25337 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 102288

[startup+1788.05 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517272/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102288 CPUtime=1787.58
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21632 0 0 0 177968 790 0 0 25 0 1 0 202807823 104742912 18351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25572 18351 108 232 0 25337 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 102288

[startup+1789.06 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517272/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102288 CPUtime=1788.58
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21632 0 0 0 178068 790 0 0 25 0 1 0 202807823 104742912 18351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551682 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25572 18351 108 232 0 25337 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 102288

[startup+1790.06 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517272/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102288 CPUtime=1789.58
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21633 0 0 0 178168 790 0 0 25 0 1 0 202807823 104742912 18352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25572 18352 108 232 0 25337 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 102288

[startup+1791.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1790.59
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21676 0 0 0 178268 791 0 0 25 0 1 0 202807823 104808448 18395 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611827 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18395 108 232 0 25353 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 102352

[startup+1792.07 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1791.59
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21678 0 0 0 178368 791 0 0 25 0 1 0 202807823 104808448 18397 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18397 108 232 0 25353 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 102352

[startup+1793.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1792.6
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21679 0 0 0 178469 791 0 0 25 0 1 0 202807823 104808448 18398 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18398 108 232 0 25353 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 102352

[startup+1794.08 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1793.61
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21680 0 0 0 178569 792 0 0 25 0 1 0 202807823 104808448 18399 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18399 108 232 0 25353 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 102352

[startup+1795.09 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1794.61
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21681 0 0 0 178669 792 0 0 25 0 1 0 202807823 104808448 18400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18400 108 232 0 25353 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 102352

[startup+1796.09 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1795.61
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21682 0 0 0 178769 792 0 0 25 0 1 0 202807823 104808448 18401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18401 108 232 0 25353 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 102352

[startup+1797.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1796.62
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21682 0 0 0 178869 793 0 0 25 0 1 0 202807823 104808448 18401 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18401 108 232 0 25353 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 102352

[startup+1798.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1797.62
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21683 0 0 0 178969 793 0 0 25 0 1 0 202807823 104808448 18402 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18402 108 232 0 25353 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 102352

[startup+1799.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1798.63
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21685 0 0 0 179070 793 0 0 25 0 1 0 202807823 104808448 18404 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18404 108 232 0 25353 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 102352

[startup+1800.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1799.63
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21687 0 0 0 179170 793 0 0 25 0 1 0 202807823 104808448 18406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18406 108 232 0 25353 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 102352

[startup+1801.12 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1800.63
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21687 0 0 0 179270 793 0 0 25 0 1 0 202807823 104808448 18406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18406 108 232 0 25353 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 102352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.12 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 16491
/proc/meminfo: memFree=1517080/2055920 swapFree=4181408/4192956
[pid=16296] ppid=16294 vsize=102352 CPUtime=1800.63
/proc/16296/stat : 16296 (PBS4L) R 16294 16296 16250 0 -1 4194304 21687 0 0 0 179270 793 0 0 25 0 1 0 202807823 104808448 18406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16296/statm: 25588 18406 108 232 0 25353 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 102352

Sending SIGTERM to -16296
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.14
CPU time (s): 1800.66
CPU user time (s): 1792.71
CPU system time (s): 7.95279
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (Kb): 102352
The end

Launcher Data (download as text)

Begin job on node49 on Sat Jun  3 21:50:07 UTC 2006


FILE ID= 41553-1149371407

PBS_JOBID= 312212

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node49/41553-1149371407/instance-41553-1149371407.opb 343407822
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node49/watcher-41553-1149371407 -o ROOT/results/node49/solver-41553-1149371407 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node49/41553-1149371407/instance-41553-1149371407.opb 343407822

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  a74bcf40291587dc368e3a23fd278be9

RANDOM SEED= 343407822


/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.216
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.216
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:       1590696 kB
Buffers:         26800 kB
Cached:         379824 kB
SwapCached:       3280 kB
Active:          52440 kB
Inactive:       362936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1590696 kB
SwapTotal:     4192956 kB
SwapFree:      4181408 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14832 kB
Slab:            35916 kB
Committed_AS:   357056 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node49 on Sat Jun  3 22:20:08 UTC 2006