Trace number 41279

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.45 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-glass4.opb
MD5SUMbde08d14cdb5e6beb81499ee17ba1695
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1291
Best CPU time to get the best result obtained on this benchmark1801.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1211
Optimality of the best value was proved NO
Number of variables780
Total number of constraints405
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints369
Minimum length of a constraint6
Maximum length of a constraint101
Number of terms in the objective function 478
Biggest coefficient in the objective function 262140
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524739
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262140
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524739
Number of bits of the biggest sum of numbers20
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/node67/41279-1149260600/instance-41279-1149260600.opb ......
0.19	c done parsing opb.
0.19	o 524430
8.08	o 524429
18.45	o 524333
19.96	o 524332
19.97	o 262423
19.98	o 262407
20.00	o 262322
20.01	o 262300
21.03	o 262299
21.04	o 261711
21.05	o 261704
21.10	o 261703
21.11	o 261679
21.20	o 261678
21.41	o 259920
26.95	o 258010
32.08	o 257972
32.22	o 252208
32.23	o 252170
32.24	o 252169
32.25	o 252168
32.29	o 252167
32.30	o 43234
32.31	o 43233
32.32	o 43232
32.33	o 43231
32.35	o 43230
32.36	o 43095
32.37	o 34903
32.38	o 34899
32.39	o 34898
32.41	o 34897
33.53	o 30927
33.54	o 30925
33.58	o 30924
34.13	o 30699
34.35	o 30698
35.12	o 23185
35.13	o 22907
35.15	o 20625
35.16	o 20492
35.17	o 20134
35.20	o 20048
42.08	o 12938
59.02	o 11872
59.03	o 3655
59.04	o 3652
59.05	o 3651
59.06	o 3648
59.06	o 3647
59.07	o 3646
59.08	o 3645
59.09	o 3644
59.10	o 3643
59.11	o 3642
59.12	o 3641
59.12	o 3640
59.13	o 3639
59.14	o 3638
59.15	o 3637
59.16	o 3636
59.17	o 3635
59.17	o 3634
59.18	o 3633
59.19	o 3632
59.20	o 3631
59.21	o 3630
59.22	o 3629
59.23	o 3628
59.24	o 3627
59.25	o 3626
59.28	o 3625
59.30	o 3547
59.35	o 3546
62.17	o 2855
78.95	o 2854
80.49	o 2571
80.51	o 2201
80.52	o 2200
80.54	o 2196
97.26	o 2136
98.19	o 2117
106.99	o 2111
117.81	o 2058
124.58	o 1672
130.56	o 1671
133.16	o 1639
137.89	o 1615
145.76	o 1614
155.49	o 1613
178.93	o 1603
254.53	o 1570
463.81	o 1178

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/node67/watcher-41279-1149260600 -o ROOT/results/node67/solver-41279-1149260600 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41279-1149260600/instance-41279-1149260600.opb 98878060 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.94 3/64 16548
/proc/meminfo: memFree=1573608/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=1368 CPUtime=0
/proc/16548/stat : 16548 (PBS4L) D 16546 16548 16502 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 191729453 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/16548/statm: 342 95 84 232 0 107 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1569088/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=6732 CPUtime=9.92
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 1309 0 0 0 991 1 0 0 25 0 1 0 191729453 6893568 1280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 1683 1280 108 232 0 1448 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 6732

[startup+20.0082 s]
/proc/loadavg: 0.94 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1566400/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=11220 CPUtime=19.91
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 1999 0 0 0 1988 3 0 0 25 0 1 0 191729453 11489280 1970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 2805 1970 108 232 0 2570 0
Current children cumulated CPU time (s) 19.91
Current children cumulated vsize (Kb) 11220

[startup+30.014 s]
/proc/loadavg: 0.95 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1564416/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=11792 CPUtime=29.92
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 2544 0 0 0 2987 5 0 0 25 0 1 0 191729453 12075008 2466 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 2948 2466 108 232 0 2713 0
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 11792

[startup+40.0199 s]
/proc/loadavg: 0.96 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1562752/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=12192 CPUtime=39.92
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 2955 0 0 0 3985 7 0 0 25 0 1 0 191729453 12484608 2877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551282 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3048 2877 108 232 0 2813 0
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 12192

[startup+50.0258 s]
/proc/loadavg: 0.96 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1562496/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=12312 CPUtime=49.92
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3021 0 0 0 4984 8 0 0 25 0 1 0 191729453 12607488 2943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549193 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3078 2943 108 232 0 2843 0
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (Kb) 12312

[startup+60.0316 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1562304/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=12816 CPUtime=59.93
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3144 0 0 0 5983 10 0 0 25 0 1 0 191729453 13123584 2969 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3204 2969 108 232 0 2969 0
Current children cumulated CPU time (s) 59.93
Current children cumulated vsize (Kb) 12816

[startup+70.0375 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1562112/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=12956 CPUtime=69.93
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3211 0 0 0 6982 11 0 0 25 0 1 0 191729453 13266944 3036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3239 3036 108 232 0 3004 0
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (Kb) 12956

[startup+80.0434 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1561920/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=13088 CPUtime=79.93
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3251 0 0 0 7981 12 0 0 25 0 1 0 191729453 13402112 3076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3272 3076 108 232 0 3037 0
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (Kb) 13088

[startup+90.0492 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1561408/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=13480 CPUtime=89.93
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3373 0 0 0 8980 13 0 0 25 0 1 0 191729453 13803520 3198 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551363 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3370 3198 108 232 0 3135 0
Current children cumulated CPU time (s) 89.93
Current children cumulated vsize (Kb) 13480

[startup+100.055 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1561088/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=14376 CPUtime=99.94
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3620 0 0 0 9979 15 0 0 25 0 1 0 191729453 14721024 3252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551326 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3594 3252 108 232 0 3359 0
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (Kb) 14376

[startup+110.061 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1560960/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=14508 CPUtime=109.94
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3682 0 0 0 10978 16 0 0 25 0 1 0 191729453 14856192 3314 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551260 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3627 3314 108 232 0 3392 0
Current children cumulated CPU time (s) 109.94
Current children cumulated vsize (Kb) 14508

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1560704/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=14660 CPUtime=119.93
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3745 0 0 0 11976 17 0 0 25 0 1 0 191729453 15011840 3377 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551347 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3665 3377 108 232 0 3430 0
Current children cumulated CPU time (s) 119.93
Current children cumulated vsize (Kb) 14660

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1560448/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=14816 CPUtime=129.94
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3805 0 0 0 12976 18 0 0 25 0 1 0 191729453 15171584 3437 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3704 3437 108 232 0 3469 0
Current children cumulated CPU time (s) 129.94
Current children cumulated vsize (Kb) 14816

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1560064/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=15240 CPUtime=139.94
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3903 0 0 0 13974 20 0 0 25 0 1 0 191729453 15605760 3535 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3810 3535 108 232 0 3575 0
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 15240

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1559936/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=15240 CPUtime=149.94
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3932 0 0 0 14973 21 0 0 25 0 1 0 191729453 15605760 3564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3810 3564 108 232 0 3575 0
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 15240

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1559744/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=15240 CPUtime=159.95
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3968 0 0 0 15973 22 0 0 25 0 1 0 191729453 15605760 3600 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551282 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3810 3600 108 232 0 3575 0
Current children cumulated CPU time (s) 159.95
Current children cumulated vsize (Kb) 15240

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1559680/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=15428 CPUtime=169.95
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3987 0 0 0 16973 22 0 0 25 0 1 0 191729453 15798272 3619 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3857 3619 108 232 0 3622 0
Current children cumulated CPU time (s) 169.95
Current children cumulated vsize (Kb) 15428

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1559488/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=15428 CPUtime=179.95
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 4037 0 0 0 17971 24 0 0 25 0 1 0 191729453 15798272 3669 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3857 3669 108 232 0 3622 0
Current children cumulated CPU time (s) 179.95
Current children cumulated vsize (Kb) 15428

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1559424/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=15600 CPUtime=189.95
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 4066 0 0 0 18971 24 0 0 25 0 1 0 191729453 15974400 3698 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3900 3698 108 232 0 3665 0
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 15600

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1559296/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=15600 CPUtime=199.96
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 4101 0 0 0 19971 25 0 0 25 0 1 0 191729453 15974400 3733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 3900 3733 108 232 0 3665 0
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 15600

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 16548
/proc/meminfo: memFree=1559040/2055920 swapFree=4181736/4192956

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

/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16788 0 0 0 177941 193 0 0 25 0 1 0 191729453 64012288 13729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13729 108 232 0 15393 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (Kb) 62512

[startup+1783.08 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518848/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1782.35
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16788 0 0 0 178042 193 0 0 25 0 1 0 191729453 64012288 13729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564186 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13729 108 232 0 15393 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (Kb) 62512

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1783.35
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16794 0 0 0 178142 193 0 0 25 0 1 0 191729453 64012288 13735 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13735 108 232 0 15393 0
Current children cumulated CPU time (s) 1783.35
Current children cumulated vsize (Kb) 62512

[startup+1785.09 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1784.35
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16795 0 0 0 178242 193 0 0 25 0 1 0 191729453 64012288 13736 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13736 108 232 0 15393 0
Current children cumulated CPU time (s) 1784.35
Current children cumulated vsize (Kb) 62512

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1785.36
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16796 0 0 0 178342 194 0 0 25 0 1 0 191729453 64012288 13737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13737 108 232 0 15393 0
Current children cumulated CPU time (s) 1785.36
Current children cumulated vsize (Kb) 62512

[startup+1787.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1786.36
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16800 0 0 0 178442 194 0 0 25 0 1 0 191729453 64012288 13741 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13741 108 232 0 15393 0
Current children cumulated CPU time (s) 1786.36
Current children cumulated vsize (Kb) 62512

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1787.37
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16801 0 0 0 178543 194 0 0 25 0 1 0 191729453 64012288 13742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13742 108 232 0 15393 0
Current children cumulated CPU time (s) 1787.37
Current children cumulated vsize (Kb) 62512

[startup+1789.11 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1788.37
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16801 0 0 0 178643 194 0 0 25 0 1 0 191729453 64012288 13742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551347 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13742 108 232 0 15393 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (Kb) 62512

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518720/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1789.38
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16808 0 0 0 178744 194 0 0 25 0 1 0 191729453 64012288 13749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13749 108 232 0 15393 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (Kb) 62512

[startup+1791.12 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518720/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1790.38
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16814 0 0 0 178844 194 0 0 25 0 1 0 191729453 64012288 13755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13755 108 232 0 15393 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (Kb) 62512

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518720/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1791.38
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16814 0 0 0 178944 194 0 0 25 0 1 0 191729453 64012288 13755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13755 108 232 0 15393 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (Kb) 62512

[startup+1793.13 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518720/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1792.39
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16815 0 0 0 179045 194 0 0 25 0 1 0 191729453 64012288 13756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13756 108 232 0 15393 0
Current children cumulated CPU time (s) 1792.39
Current children cumulated vsize (Kb) 62512

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518720/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1793.39
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16815 0 0 0 179145 194 0 0 25 0 1 0 191729453 64012288 13756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13756 108 232 0 15393 0
Current children cumulated CPU time (s) 1793.39
Current children cumulated vsize (Kb) 62512

[startup+1795.14 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518656/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1794.39
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16819 0 0 0 179245 194 0 0 25 0 1 0 191729453 64012288 13760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611568 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13760 108 232 0 15393 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (Kb) 62512

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518656/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1795.4
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16822 0 0 0 179346 194 0 0 25 0 1 0 191729453 64012288 13763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13763 108 232 0 15393 0
Current children cumulated CPU time (s) 1795.4
Current children cumulated vsize (Kb) 62512

[startup+1797.15 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518656/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1796.4
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16828 0 0 0 179446 194 0 0 25 0 1 0 191729453 64012288 13769 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13769 108 232 0 15393 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (Kb) 62512

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518656/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=62512 CPUtime=1797.41
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16829 0 0 0 179547 194 0 0 25 0 1 0 191729453 64012288 13770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15628 13770 108 232 0 15393 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (Kb) 62512

[startup+1799.16 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518592/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=63000 CPUtime=1798.42
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16843 0 0 0 179647 195 0 0 25 0 1 0 191729453 64512000 13784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15750 13784 108 232 0 15515 0
Current children cumulated CPU time (s) 1798.42
Current children cumulated vsize (Kb) 63000

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518592/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=63000 CPUtime=1799.42
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16844 0 0 0 179747 195 0 0 25 0 1 0 191729453 64512000 13785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15750 13785 108 232 0 15515 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (Kb) 63000

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518592/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=63000 CPUtime=1800.43
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16845 0 0 0 179848 195 0 0 25 0 1 0 191729453 64512000 13786 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15750 13786 108 232 0 15515 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (Kb) 63000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 16548
/proc/meminfo: memFree=1518592/2055920 swapFree=4181736/4192956
[pid=16548] ppid=16546 vsize=63000 CPUtime=1800.43
/proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16845 0 0 0 179848 195 0 0 25 0 1 0 191729453 64512000 13786 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0
/proc/16548/statm: 15750 13786 108 232 0 15515 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (Kb) 63000

Sending SIGTERM to -16548
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.45
CPU user time (s): 1798.49
CPU system time (s): 1.9617
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (Kb): 63000
The end

Launcher Data (download as text)

Begin job on node67 on Fri Jun  2 15:03:20 UTC 2006


FILE ID= 41279-1149260600

PBS_JOBID= 298644

BENCH NAME= ROOT/tmp/node67/41279-1149260600/instance-41279-1149260600.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41279-1149260600/instance-41279-1149260600.opb 98878060
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-41279-1149260600 -o ROOT/results/node67/solver-41279-1149260600 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41279-1149260600/instance-41279-1149260600.opb 98878060

MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332
MD5SUM BENCH=  bde08d14cdb5e6beb81499ee17ba1695

RANDOM SEED= 98878060


/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.264
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	: 5931.00
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.264
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:       1574008 kB
Buffers:         28784 kB
Cached:         380728 kB
SwapCached:       2840 kB
Active:          49460 kB
Inactive:       368648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1574008 kB
SwapTotal:     4192956 kB
SwapFree:      4181736 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14700 kB
Slab:            49832 kB
Committed_AS:   268248 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 node67 on Fri Jun  2 15:33:22 UTC 2006